[J2]

Imen Tounsi, Mohamed Hadj Kacem , Ahmed Hadj Kacem, and Khalil Drira: A Refinement-Based Approach for Building Valid SOA Design Patterns. In: International Journal of Cloud Computing, (IJCC) 2014. (To appear)

[J1]

Slim Kallel, Mohamed hadj Kacem, and Mohamed Jmaiel. Modeling and enforcing invariants of dynamic software architectures, Software and System Modeling (SoSyM), 11(1), 127-149, 2012 Springer. [BibteX | DOI]

[C16]

Imen Tounsi, Mohamed Hadj Kacem, Zied Hrichi, Ahmed Hadj Kacem and Khalil Drira. ReMo-SDP Tool cookbook, The 2nd International Collaborative Tutorial of Multimedia Ontology-driven Learning Collaborative Architecture, (MOLCA’2014), Toulouse, France (2014).

[C15]

Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem and Khalil Drira. Using SoaML models and Event-B spécifications for modeling SOA design Patterns. In Proceeding of the 15th International Conference on Enterprise Information Systems (ICEIS’13), pages 294-301, Anger - France, July 2013 [BibteX | DOI]

[C14]

Imen Tounsi, Mohamed Hadj Kacem and Ahmed Hadj Kacem. Building Correct by Construction SOA Design Patterns: Modeling and Refinement. In : Proceedings of the 7th European Conference on Software Architecture, (ECSA’2013), Lecture Notes in Computer Science, vol. 7957, pp. 33-44. Springer Berlin Heidelberg, Monpellier, France (2013). [BibteX | DOI]

[C13]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem. An Approach for Modeling and Formalizing SOA Design Patterns. In : Proceedings of the IEEE 22nd International WETICE Conference (WETICE’2013), pp. 330-335. IEEE Computer Society, Hammamet, Tunisia (2013). [BibteX | DOI]

[C12]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira and Emna Mezghani. Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B. In : Proceedings of the 28th Annual ACM Symposium on Applied Computing, (SAC’2013), pp. 1937-1938. ACM, Coimbra, Portugal (2013). [BibteX | DOI]

[C11]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Khalil Drira. The Sender Released Pattern : An SOA design pattern for inter-service message exchange. In : Proceedings of the IEEE 21st International WETICE Conference (WETICE’2012), pp. 405-410. IEEE Computer Society, Toulouse, France (2012). [BibteX | DOI]

[C10]

Ilhem Khlif, Mohamed Hadj Kacem and Khalil Drira. An approach to multiscale and multi points of view description for dynamic software architectures. In 6ème Conférence francophone sur les architectures logicielles (CAL’12), Montpellier - France, May 2012. [BibteX | PDF]

[C9]

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]

[C8]

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]

[C7]

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]

[C6]

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]

[C5]

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]

[C4]

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]

[C3]

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]

[C2]

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]

[C1]

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]

Mohamed Hadj Kacem, Modeling of distributed applications in dynamic architecture: Design and Validation, November 2008, University of Paul Sabatier Toulouse-France. [BibteX | PDF]

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.

Keywords: Architectural adaptation, Dynamic architecture, UML Profile, Validation, Formal verification, Design process