Adel Khalfallah

• PhD
• Professor (Assistant) at Institut Supérieur Informatique

Design patterns codify standard solutions to common problems in software design and architecture. Given their importance in improving software quality and facilitating code reuse, many types of research are proposed on their automatic detection. In this paper, we focus on singleton pattern recovery by proposing a method that can identify orthodox i...

In software engineering (SE), improving the quality of code and design by relying on pre-established restructuring (refactoring), such as detection and injection of a design pattern are still challenging problems. In this article, we focus on the Singleton design pattern, in which we indicate its variants implementation and define 33 features that...

The prevalence of mobile computing platforms and the Internet of Things applications has triggered a quest to evolve energy-efficient software systems. Thus, addressing energy efficiency at the architectural level is a booming topic of interest. By this paper, we aim to propose an energy-driven architecture that encloses the most relevant artifacts...

Software architecture's interoperability faces many problems when it comes to integrating different components or formalisms in describing the architecture. Even within the same modeling language such as UML, the diversity of notations and the lack of semantic information make the interoperability between models difficult. In this paper, we propose...

Design patterns recognition and injection constitute challenging tasks in software engineering, since they are generally conducted in a non-formal way. In this paper, we will present an approach for decomposing and formalizing design patterns using graph transformation systems. We will propose a combined graph-based description for design patterns...

The definition of the semantics of visual languages, in particular Unified Modeling Language (UML) diagrams, using graph formalism has known a wide success, since graphs fit the multi-dimensional nature of this kind of language. However, constraints written in Object Constraint Language (OCL) and defined on these models are still not well integrate...

Arch MDE for "Architecture-centric Model Driven Engineering" is an approach that addresses the development and the formal verification of real time software architecture. It borrows concepts from Model Driven Engineering (MDE)and software architecture for the automatic generation of a network of timed automata, in accordance with blackboard archite...

ArchMDE is a formal software architecture-based approach for the development and the verification of software architecture of real time systems. It provides a way to obtain the structure and the behavior of software architecture with hard real-time constraints and in accordance with blackboard style. This paper presents an overview of this approach...

The development of Embedded Real Time Systems (ERTS) is generally a complex task that requires high costs and long delays. New development tools should be elaborated in order to improve ERTS developers productivity. Model Driven Engineering (MDE) is an emerging paradigm that advances the idea to use models and models transformations to make the dev...

The development of software architecture is complex due to the absence of a standard way that would lead the generation of software architecture artifacts. This paper proposes a method that would allow to derive the software architecture of any system based on its analysis model. For that purpose, we introduce a new layer to the model driven archit...

The Model Driven Approach (MDA)as supported by the Object Management Group (OMG) seems to be one of the most promising approaches for designing and developing software applications. MDA describes the structural requirements of an engineering discipline where models, instead of source code, comprise the primary artifact. Model Driven Engineering (MD...

Model-driven engineering (MDE) is a software development approach that mainly focus on models design and transformation. Models are basically built to represent different software system views and could be refined and evolved into lowered abstract level. This paper is a first investigation of the model-driven paradigm enactment using established ar...

Dans ce papier on s'intéresse au développement orienté objet des systèmes tolérants aux fautes. Les blocs de recouvrement, qui établissent une stratégie de tolérance aux fautes, sont très utilisés dans les systèmes temps réel tolérants aux fautes. Les développeurs de tels systèmes s’intéressent de plus en plus à l’approche orientée objet, mais les...

Summary form only given. The existing development methods do not always provide users with efficient guidelines for their work, and do not enable them to share and to reuse their experiences. An environment for building new methods by reuse and assemblage of the existing methods components will be very helpful. This assembling process will be refer...

The validation and method integration process at different stages of the life cycle of an industrial production system are discussed. Method evaluation is emphasized as a preliminary step in project development. An approach for method scope assessment is proposed. The approach is based upon a model for describing the method's structure and artifact...