Current State
Computer Science Associate Professor at the Higher Institut of Computer Science and Multimedia of Sfax. University of Sfax, Tunisia.
ACM member: Member of Association for Computing Machinery since 2008.
IEEE member (Computer Society): Member of Institute of Electric and Electronic Engineering (IEEE) since 2008.
Education
Ph.D. degree in Computer Science from the Paul Sabatier University of Toulouse-France and from the Faculty of Economics Sciences and Management of Sfax-Tunisia.
Master degree (DEA) in Computer Science from the Faculty of Economics Sciences and Management of Sfax-Tunisia.
University Degree in Computer Science from the Faculty of Economics Sciences and Management of Sfax-Tunisia.
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.
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, first registered in 2008, 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
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
Publications
| [1] |
Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. An uml-based approach for validation of software architecture descriptions. In Dirk Draheim and Gerald Weber, editors, Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers, volume 4473 of Lecture Notes in Computer Science, pages 158-171. Springer, 2007. [BibteX | DOI] |
|
[2] |
Mohamed Hadj Kacem, Mohamed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, and khalil Drira. Towards a UML profile for the description of dynamic software architectures. In COEA’05: Proceedings of the International Conference on Component-Oriented Enterprise Applications, volume 70 of Lecture Notes in Informatics, pages 25–39, Erfurt, Germany, 2005. LNI. [BibteX | DOI] |
| [3] |
Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed Jmaiel. Making sound policies for self-healing systems. In 9th annual international conference on New Technologies of Distributed Systems (NOTERE’09) Montréal - Canada, July 2009. [BibteX | PDF] |
| [4] |
Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed Jmaiel. A formal architecture-centric approach for safe self-repair. In Second International Conference on Web and Information Technologies (ICWIT’09), Kerkennah Island, Sfax, Tunisia, June 2009. [BibteX | PDF] |
| [5] |
Mohamed Nadhmi Miledi, Mohamed Hadj Kacem, Achraf Boukhriss, Mohamed Jmaiel, and K. Drira. A UML rule-based approach for describing and checking dynamic software architectures. In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008. [BibteX | DOI] |
| [6] |
Mohamed Nadhmi Miledi, Mohamed Jmaiel, and Mohamed Hadj Kacem. A UML Profile and a FUJABA PlugIn for modelling dynamic software architectures. In Proceedings of the Workshop on Model-Driven Software Evolution MoDSE2007, number 4. European Conference on Software Maintenance and Reengineering, CSMR2007, IEEE, March 2007. [BibteX | DOI] |
| [7] |
Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. Describing dynamic software architecture using an extended UML model. In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Model Transformation, Applied Computing, pages 1245-1249, Dijon, France, April 2006. ACM SIGAPP, ACM. [BibteX | DOI] |
| [8] |
Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, and Khalil Drira. Evaluation and comparison of ADL based approaches for the description of dynamic software architectures. In Proceedings of the Seventh International Conference on Enterprise Information Systems ICEIS'05, pages 189-195, Miami, USA, MAy 2005. [BibteX | PDF] |
| [9] |
Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, and Khalil Drira. Using UML2.0 and graph grammars for describing the dynamic software architectures. In Proceedings of the IEEE International Conference on Information Technology and Applications ICITA'05, pages 46-51, Sydney, Australia, July 2005. [BibteX | DOI] |
| [10] |
Mohamed Hadj Kacem, Modeling of distributed applications in dynamic architecture: Design and Validation, November 2008, University of Paul Sabatier Toulouse-France. [BibteX | PDF] |
Tools & Results
Meidya: Modeling and Enforcing Invariants of Dynamic Software Architecture
Abstract: Meidya is based on three principal steps allowing the control of the software architecture evolution of component-based applications. This approach supports the modeling of the dynamic architecture, formal verification and enforcement of the architectural invariants. For more details, you can visit the Meidya Web site.
Contributors: Mohamed Hadj Kacem, Slim Kallel
Teaching
Web servers: Administration and creation (IIS, Apache)
Websites: Design and administration (WAE)
Static Web development (HTML, CSS)
Internet tools
Languages of presentation and media manipulation (HTML, CSS, XML, XSLT)
Databases systems management (SGBD)
Files and databases
Program management (Visual Basic)
Operating system
