Mohamed Hadj Kacem

ORCID: 0000-0003-3407-2144
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Advanced Software Engineering Methodologies
  • Service-Oriented Architecture and Web Services
  • Software System Performance and Reliability
  • Model-Driven Software Engineering Techniques
  • Business Process Modeling and Analysis
  • Advanced Database Systems and Queries
  • Software Engineering Research
  • Systems Engineering Methodologies and Applications
  • IoT and Edge/Fog Computing
  • Essential Oils and Antimicrobial Activity
  • Formal Methods in Verification
  • Context-Aware Activity Recognition Systems
  • Plant chemical constituents analysis
  • Software Engineering Techniques and Practices
  • COVID-19 diagnosis using AI
  • Aquaculture Nutrition and Growth
  • Software Engineering and Design Patterns
  • Diabetes and associated disorders
  • Pancreatic function and diabetes
  • Bioactive Compounds and Antitumor Agents
  • Protein Hydrolysis and Bioactive Peptides
  • Internet of Things and AI
  • Phytochemical compounds biological activities
  • Software Reliability and Analysis Research
  • French Urban and Social Studies

University of Sfax
2013-2023

Centre of Biotechnology of Sfax
2021

National Engineering School of Tunis
2017-2019

Laboratoire d'Analyse et d'Architecture des Systèmes
2007-2008

Roche (France)
2007

Centre National de la Recherche Scientifique
2007

Seasonal variations of the proximate composition and fatty acid profiles in viscera from Sardinella aurita, Sarpa salpa, Sepia officinalis were studied. Significant seasonal observed amounts moisture, lipid, protein, ash between species. Viscera protein content undergoes large fluctuations. This tendency is different results for edible parts or whole body many marine Ash also showed significant differences. Lipid contents varied with seasons, a proportionally inverse manner to water...

10.1080/10498850.2011.560365 article EN Journal of Aquatic Food Product Technology 2011-04-14

In this paper, we propose a new UML2.0 profile to describe the change of software architectures. The introduces set stereotypes for modeling structural and dynamic aspect as well architectural constraints. We adapt component diagrams metamodel on specific purposes by extending existing metaclasses. adaptations are defined using which grouped in profile. offers architects an intuitive complete way specify architecture based visual notations.

10.1145/1141277.1141569 article EN 2006-04-23

Although design patterns have become increasingly popular, most of them are presented in an informal way, which can give rise to ambiguity and may lead their incorrect usage. Patterns proposed by the SOA pattern community described with visual notations. Modelling a standard formal notation contributes avoid misunderstanding software architects helps endowing methods refinement approaches for mastering system architectures complexity. In this paper, we present refinement-based approach that...

10.1504/ijcc.2015.067705 article EN International Journal of Cloud Computing 2015-01-01

Sepsis, a systemic inflammatory disease developed after an infectious insult and remains the major cause of death in intensive care units. The aim this study was to examine protective effect ethanolic extract Ruta chalepensis L. (ERC) against oxidative stress liver-kidney functions cecal ligation puncture (CLP) rats. In vitro, results showed that ERC rich phenolic compounds possessed important antioxidant activity. vivo, CLP-induced evidenced by increase TBARS decrease enzymatic antioxidants...

10.24297/jac.v10i1.987 article EN cc-by JOURNAL OF ADVANCES IN CHEMISTRY 2014-04-05

Software architectures for System of Systems (SoS) is an important research area. The design SoS can be organized around a set architectural transformation models. In this paper, we propose multi-scale modeling approach architecture description mastering the details complexity. proposed founded on SysML (System language) notations and uses block diagrams. diagrams are subject to vertical horizontal transformations refinement, since reaching fine-grain representing necessary details....

10.1145/2642803.2642833 preprint EN 2014-08-21

Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex systems. In real applications, problems are their solutions can be represented by compound patterns that require the combination reuse of two or more design patterns. this paper, we propose a transformation approach SOA based on types transformations. The first type, is an M2M (Model Model) transformation. It allows transform modeled semi-formal SoaML language...

10.1016/j.procs.2017.05.410 article EN Procedia Computer Science 2017-01-01

This paper introduces a formal architecture-centric approach, which allows first to model message-oriented SOA design patterns with the SoaML standard language, and second formally specify these at high level of abstraction using Event-B method. These two steps are performed before undertaking effective coding pattern providing correct by construction pattern-based software architectures. We implement our approach under Rodin platform we use prove consistency.

10.1145/2480362.2480721 preprint EN 2013-03-18

Software design patterns provide architects and developers with reusable software elements helping them to master building complex systems. Nevertheless, presented in an informal way, may give rise ambiguity lead their incorrect usage as well compositions. We focus here on SOA composition we propose a precise definition of the process semi-formal SoaML standard language. In this paper, present approach for composing patterns. The notion is defined based two operators. application rules...

10.1109/soca.2015.43 article EN 2015-10-01

In this paper, we propose a new approach for modeling compound SOA design patterns. The goal is to easily building and allowing the mass customization of regard, have used paradigm Software Product Line (SPL). SPL development realized through several tasks. work, elaboration variability model, in particular cardinality-based feature has been considered. We compose model with three related layers. Thus, it will be easy interpret understand. first layer expresses existing dependencies...

10.1109/aiccsa.2014.7073224 article EN 2014-11-01

In this paper, we present a formal architecture-centric approach that aims, first, to model message-oriented SOA design patterns with the SoaML standard language, and second formally specify these at high level of abstraction using Event-B method. These two steps are performed before undertaking effective coding pattern providing correct by construction pattern-based software architectures. Our is experimented through an example in paper. We implemented our under Rodin platform, which use...

10.1109/wetice.2013.26 preprint EN 2013-06-01

We propose a multi-scale modeling approach for complex software system architecture description. The description may help to obtain meaningful granularities of these systems and understand master their complexity. This vision enables an architect designer express constraints concerning different levels, oriented facilitate adaptability management. define correct-by-design that allows given abstract architectural be refined into models. follow progressive refinement process based on model...

10.1109/sera.2016.7516155 article EN 2016-06-01

Combining the Service Oriented Architecture (SOA) and Software Product Line (SPL) paradigms is an emerging research area that has gained a considerable interest in recent years. We observe approaches proposed literature address mostly variability modeling of Providers (SPs) (e.g., developing composing SPs). However, handling Consumers (SCs) how to interrelate SCs SPs have not been studied. In this paper, our objective carry out in-depth rigorous study addresses these issues. propose new...

10.1109/wetice.2016.21 article EN 2016-06-01

Multi-level software architecture design is an important issue in engineering. Several research studies have been done on the modeling of multi-level architectures based UML. However, they neither included the refinement between levels nor clarified relationships them. In this paper, we propose a multiscale modeling approach for oriented to facilitate adaptability management. The proposed founded UML notations and uses component diagrams. The diagrams are submitted vertical...

10.5220/0005380403740381 article EN 2015-01-01

In this paper, we propose a unified approach based on graphic representation to describe the dynamic component-based architectures. It allows static and aspects as well architectural constraints be respected during system evolution. We specify with UML2.0 aspect of software in accordance an style architecture terms graph grammars rewriting rules. These specifications are defined according proposed notation integrating UML2.0, OCL language Delta notation. This integration offers architects...

10.1109/icita.2005.304 article EN 2005-08-03
Coming Soon ...