Mohamed Hadj Kacem

Mohamed Hadj Kacem
Institut Supérieur d'Informatique et de Multimédia de Sfax | ISIM Sfax · Informatique

Dr.

About

49
Publications
5,984
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
228
Citations

Publications

Publications (49)
Conference Paper
Full-text available
Statistics say that there will be 25 billion devices interconnected to the Internet by the end of 2021. This explosive growth of connected objects has led us to the advent of a promising technology that can satisfy this need known as the Internet of Things (IoT). IoT enables digitalization around the world, but it also increases the challenges for...
Chapter
The coronavirus known as COVID-19 is the topic of the hour all over the world. This virus has invaded the world with its invariants, which are characterized by their rapid spread. COVID-19 has impacted the health of people and the economy of countries. For that, laboratories, researchers, and doctors are in a race against time to find a cure for th...
Chapter
Formal method techniques are used to model complex systems as mathematical entities. By building mathematical rigorous models of IoT design patterns, it is possible to verify their properties in a thorough fashion. In this paper, we propose a refinement-based approach for modeling IoT design patterns. It allows the modeling of correct by constructi...
Article
Full-text available
Abstract The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added. However, the main difficulty of self‐adaptation emerges while considering the soundne...
Article
Modeling and specifying correct software systems is a challenging task that can be supported by providing appropriate modeling abstractions. This article proposes an approach for graphical multiscale modeling of such systems using model transformation techniques. The approach is founded on a guided rule-based iterative modeling process ensuring con...
Chapter
This paper presents a model-based graphical tool for supporting multiscale modeling of software architectures. The implemented solution is based on a rule-oriented iterative modeling process ensuring transition from a coarse-grained description to a fine-grained description. The rules manage the refinement between scales and are applied with respec...
Chapter
Full-text available
The architectures of software systems are becoming more complex, large, and dynamic. The design of these architectures allows architects to master building complex software systems. But, their informal description, may give rise to ambiguity, their understanding becomes more and more difficult and leads to the incorrect implementation of these soft...
Conference Paper
Full-text available
Specifying correct software-intensive Systems of Systems architectures is a challenging research direction requiring new modeling abstractions and techniques. For this purpose, we provide a refinement-based approach for multi-scale description of software architectures. We define an incremental process starting from a coarse-grained description, an...
Chapter
Full-text available
In Service Oriented Architecture (SOA), many feature modeling approaches of Service Provider (SP) have been proposed, notably: the two widely used service contracts WSDL and WADL. By studying these approaches, we found that they suffer from several problems, notably: they only work for specific communication technologies (e.g., SOAP or REST) and th...
Article
Full-text available
Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex software systems. In real applications, problems are complex and their solutions can be represented by compound patterns that require the combination and reuse of two or more design patterns. In this paper, we propose a...
Article
Full-text available
We propose a multi-scale methodology for complex software systems using the model transformation techniques. The methodol- ogy provides a correct by design approach for the description of multi-scale architectures. It is founded on a rule-oriented iterative modeling process ensuring transition from a coarse-grained description to a fine-grained des...
Article
Full-text available
Modeling correct software-intensive Systems of Systems architectures is a challenging research direction that can be mastered by providing appropriate modeling abstractions. For this purpose, we provide an iterative modeling solution for a multi-scale description of software architectures. We provide a visual notation extending the graphical UML no...
Conference Paper
Full-text available
Modeling correct software-intensive Systems of Systems architectures is a challenging research direction that can be mastered by providing modeling abstractions. For this purpose, we provide an iterative modeling solution for a multi-scale description of software architectures. We provide a visual notation extending the graphical UML notations to r...
Conference Paper
Full-text available
In Service Oriented Architecture (SOA), service contracts are widely used for designing and developing the features (e.g., services and capabilities) of Service Providers (SPs). Two of the most widely used traditional service contracts in SOA are: WSDL and WADL. We identify that these service contracts suffer from several problems, like: they only...
Conference Paper
Full-text available
Modeling correct complex systems architecture is a challenging research direction that can be mastered by providing modeling abstractions. For this purpose, we provide an iterative modeling solution for a multi-scale description of software architectures. We define a step-wise iterative process starting from a coarse-grained description, and leadin...
Conference Paper
In this paper, we propose a multi-scale modeling approach for SoS architecture description. This study aims at mastering the complexity of such systems both at the human and automated processing levels by considering increasingly detailed modeling scales. Some high level properties can be expressed on informal descriptions with a high level of abst...
Conference Paper
Full-text available
In this paper, we propose a multi-scale modeling approach for software architecture oriented to facilitate adaptability management. The proposed design approach is founded on UML notations and uses component diagrams. The diagrams are submitted to vertical and horizontal transformations for refinement; this is done to reach a fine-grain description...
Article
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 compound design patterns. In this regard, we have used the paradigm of Software Product Line (SPL). The SPL development is realized through several tasks. In this work, the elaboration of the vari...
Article
Full-text available
Although design patterns have become increasingly popular, most of them are proposed in an informal way, which can give rise to ambiguity and may lead to their incorrect usage. Patterns proposed by the SOA design pattern community are described with informal visual notations. Modeling SOA design patterns with a standard formal notation contributes...
Article
Multi-level software architecture design is an important issue in software engineering. Several research studies have been done on the modeling of multi-level architectures based on UML. However, they neither included the refinement between the levels nor clarified the relationships between them. In this paper, we propose a multiscale modeling appr...
Article
Full-text available
Software architectures for System of Systems (SoS) is an important research area. The design of an SoS can be organized around a set of architectural transformation models. In this paper, we propose a multi-scale modeling approach for SoS architecture description mastering the description details complexity. The proposed design approach is founded...
Article
Full-text available
Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids mis...
Conference Paper
Full-text available
Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods with refinement approaches for mastering system architectures complexity. In this paper, we propose a formal architecture-centric approach that aims to model message-oriented SOA design patterns with the SoaML s...
Article
Full-text available
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 to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design pa...
Conference Paper
Full-text available
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 to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design patt...
Article
Service-oriented architectures are emerging as a major technology for modeling complex interactions and integrations between distributed and heterogeneous applications. Nevertheless, these architectures are subject to some quality attribute failures (e.g. reliability, availability, and performance problems). Design patterns, as tested solutions to...
Article
Full-text available
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 to their incorrect usage. Patterns proposed by the SOA design pattern community are described with informal visual notations. Modelling SOA design patterns with a standard formal notation contribute...
Article
In this paper, we propose an “end-to-end” approach that supports dynamic reconfiguration of software architectures taking advantage of graphical modeling, formal methods and aspect-oriented programming. There are three ingredients of the proposal. The specification end of the solution is covered by a new UML profile enabling to specify the desired...
Article
Full-text available
The Adaptability of networked service-oriented systems is necessary to guarantee the continuity of services under changing infrastructure constraints and evolving user requirements. The architectural and the behavioural dynamic reconfigurations constitute the two acting categories allowing adaptability of such software systems to be managed. We pro...
Conference Paper
In this paper we propose a UML based approach for describing and checking dynamic software architectures. In fact, the UML profile enables us to model dynamic software architectures by three aspects: the first one defines the architectural style of an application, the second describes a set of reconfiguration operations and the last one specifies t...
Article
Full-text available
In this paper we propose an UML profile and a FUJABA Tool Suite PlugIn for modelling components based on dy-namic software architecture. This former called "Architec-tural PlugIn" implementing a new UML Profile [10] and allowing the mapping built models to XML language after validating the obtained generated files with respect to its schemas. In fa...
Conference Paper
UML became a standard for modeling distributed architectures. The development process produces models representing architecture according to different views and different abstraction levels. These models must be valid and coherent together, so the architecture description and its evolutions have to be logical and interpretable. This paper, proposes...
Conference Paper
In this paper, we propose a new UML2.0 profile to describe the change of software architectures. The profile introduces a set of stereotypes for modeling the structural and the dynamic aspect as well as architectural constraints. We adapt the component diagrams metamodel on specific purposes by extending existing metaclasses. The adaptations are de...
Conference Paper
In this paper, we propose a unified approach based on graphic representation to describe the dynamic component-based architectures. It allows to describe the static and the dynamic aspects as well as the architectural constraints to be respected during the system evolution. We specify with UML2.0 the static aspect of a software system in accordance...
Conference Paper
In this paper, we propose a unified approach based on visual notations for describing dynamic component-based software architectures. Our approach allows describing the static, the dynamic and the behavioral aspect as well as the architectural constraints to be respected during the architecture evolution. We specify, using UML2.0, the static aspect...
Article
Full-text available
Today, more and more software-based systems need to be adaptive in response to unexpected failures which violate system constraints. One of the key issues in making this adaptation successful is that of ensuring the re-establishment of violated constraints and the safety of the adaptation. In this paper, we propose a formal architecture-centric ap-...
Article
Full-text available
système dans un état sain vis-à-vis de ses proprié-tés. Les politiques et les théorèmes de preuve sont formellement définis en notation Z, et les spécifications sont implémentées sous l'outil de preuve Z/Eves. Nous définissons également un profile UML qui vise de décrire la structure d'une politique de réparation conformément à notre approche. Nous...
Article
Full-text available
Nos travaux de recherche consistent à apporter des solutions de modélisation conformément à l'approche MDA. Nos recherches consistent à fournir des solutions permettant de guider et d'assister les activités de modélisation des architectures logicielles. Il s'agit principalement de proposer une démarche de conception orientée modèle permettant de dé...

Network

Cited By