Research activities
My research interests focus on :- Model Driven Architecture
- Component-based Architectures
- Architecture-based Software Evolution
- Formal Design of Software Architectures
- Eclipse for Modeling
Title: Modeling of distributed applications in dynamic architecture: Design and Validation
Abstract: 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 propose to support the architectural reconfiguration-based adaptation and we propose a UML-based approach for describing, validating and checking dynamic software architectures. We elaborate a new UML profile associated with three meta-models that we define in order to describe (i) different architectural styles, (ii) their dynamic instances together with the associated reconfiguration operations, and (iii) their reconfiguration protocol. Our approach supports describing the architectural constraints that should be preserved during architecture evolving. The proposed approach supports automatic validation through a set of rules we define and implement for ensuring the correctness of the models w.r.t. the meta-models. These models are automatically transformed into Z specifications. This allows designers to prove, by elaborating Z theorems, the consistency of the defined architectural styles and the conformity of the associated instances and their transformation rules. We define a Design Process, called X, allowing guiding and assisting the architects to model the dynamic software architectures. The X Design Process is partially based on the MDA approach and 2TUP Process. Our design process is based on PIM and PSM parts. The proposed design process uses an iterative and incremental development approach and it is architecture-centric.
A software environment supporting the different features of this approach has been developed and integrated as a plug-in in the open-source FUJABA tool. The plug-in is available at URL: http://www.laas.fr/~khalil/TOOLS/X.zip.
Supervisors: Prof Mohamed Jmaiel
and Prof Khalil Drira.
Emna Siala, Reconfiguration protocol for organizing the execution of reconfiguration operations, first registered in 2010, Faculty of Economics Sciences and Management of Sfax
Mohamed Khalil Abbes, Modeling and validation of ubiquitous applications, first registered in 2010, Faculty of Economics Sciences and Management of Sfax
Fatma Zouari, Generating code from extended UML model using an MDA approach, first registered in 2009, Faculty of Economics Sciences and Management of Sfax
Imen Tounsi, Specifying adaptation policies according to an architectural style, defended on May 15, 2010 at Faculty of Economics Sciences and Management of Sfax
Achraf Boukhriss, Formal validation of the design of dynamic software architectures based on UML2.0, defended on December 04, 2006 at Faculty of Economics Sciences and Management of Sfax
Mohammed Nadhmi Miladi, UML Profile for modeling component-based software architectures, defended on July 11, 2005 at National School of Engineers of Sfax
OPODIS'2010: December 14 – 17, 2010
Organization Committee Member of the 14th International Conference On Principles Of Distributed Systems,
OPODIS'2010. Tozeur, Tunisia, December 14 – 17, 2010
NOTERE'2010: May 31 – June 02, 2010
Organization Committee Member of the 10th annual international conference on New Technologies of Distributed Systems,
NOTERE'2010. Tozeur, Tunisia, May 31 – June 02, 2010
METHODICA'II-2009: December 21 – 24, 2009
Organization Committee Chair of the 5th workshop on Methods for the Adaptive Distributed Software,
METHODICA'II-2009, Douz, Tunisia, December 21 – 24, 2009
METHODICA: Tunisia
Organization Committee Member of the first, second, third and fourth workshops on Methods for the Adaptive Distributed
Software, METHODICA, Tunisia
CRiSIS'08: October 27 – 30, 2008
Organization Committee Member of the third International Conference on Risks and Security of Internet and Systems CRiSIS'2008,
Tozeur, Tunisia, October 27 - 30, 2008
GEI : March 2003, 2004, 2005, 2006, 2007, 2008 (Tunisia)
Organization committee member of the third, fourth, fifth, sixth, seventh and eighth Young Scientific Researcher days in
Electrical and Computer Engineering (GEI), Tunisia
