Current State

PhD student in the Faculty of Economics Sciences and Management of Sfax, Tunisia.

2013: IEEE member (Computer Society): Member of the Institute of Electric and Electronic Engineering (IEEE).

Education

Gratuated in computer science from the Faculty of Economics Sciences and Management of Sfax-Tunisia in 2007.

Master degree in Computer Science from the Faculty of Economics Sciences and Management of Sfax-Tunisia in 2010.

Research activities

Research Topics

My research activities focus on:

  • Service Oriented Architectures
  • SOA Design Patterns
  • Software Modeling
  • Formal Design
  • Component-based Architectures
  • Software Architectures Adaptation
  • Eclipse for Modeling

Thesis

Title: A Refinement-Based Approach for Building Correct-by-Design SOA Design Pattern
Abstract: Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex software systems. Nevertheless, presented in an informal way, software design patterns may give rise to ambiguity and may lead to their incorrect usage. We focus here on SOA design patterns and propose alternatives to their description in informal visual notations. Describing SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endowing design methods with reuse and refinement approaches for mastering software system architectures complexity. In this thesis, we propose ReMo-SDP, a Refinement-based approach for describing SOA Design Patterns. ReMo-SDP applies particularly to describing message-oriented SOA design patterns in conformance with the SoaML standard language. We define how to develop design pattern models in a stepwise manner associated to an automated translation into Event-B formal specifications. This step allows designers to check design correctness using the platform Rodin. These two steps, when performed before undertaking the effective coding of a design pattern, help providing correct-by-design software systems. To help non-specialists understanding the proposed approach, we illustrate it in details through different pattern examples.
Supervisors: Dr. Mohamed Hadj Kacem, Prof. Ahmed Hadj Kacem and Prof. Khalil Drira.

Supervision of research

Co-supervision of several masters degrees in Computer Science:

Hayfa Ben Abdallah, Design and implementation of an Eclipse plug-in for modeling SOA design patterns, defended on December 15, 2012, at Faculty of Economics Sciences and Management of Sfax

Zied Hrichi, Transforming message-oriented SOA design patterns to Event-B specifications, defended on September, 2013, at Higher Institute of Computer Science and Multimedia of Sfax

Publications

Papers in International Scientific Journals

[J1]

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)

Papers in International Conferences

[C7]

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).

[C6]

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]

[C5]

Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem and Khalil Drira. Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. In : Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS’2013), pp. 294-301. Angers, France (2013). [BibteX | DOI]

[C4]

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]

[C3]

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]

[C2]

Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed Jmaiel. Making Sound Policies for Self-healing Systems. In : Proceedings of the 9th annual international conference on New Technologies of Distributed Systems (NOTERE’2009), pp. 178-185, Montreal, Canada (2009). [BibteX | PDF]

[C1]

Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed Jmaiel. A formal architecture-centric approach for safe self-repair. In : Proceedings of the 2nd International Conference on Web and Information Technologies (ICWIT’2009), Sfax, Tunisia (2009). [BibteX | PDF]

Poster Papers

[P2]

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]

[P1]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Khalil Drira. Poster: An Approach for Modeling and Refinement of SOA Design Patterns with Event-B Method, The 9th workshop on Methods for the Adaptive Distributed Software (METHODICA-II'2012), Hammamet, Tunisia, December 22-24 2012.

Tools & Results

MeidyaCOM-Policy

Abstract: MeidyaCoM-Policy is an extension of MeidyaCoM project. MeidyaCoM project supports the modeling of correct by design Publish/Subscribe architectural style and the basic reconfiguration operations for the adaptation of software architecture. MeidyaCoM-Policy is an approach which proposes a way of applying these operations with respect to architectural style by the means of repair policies.

For more details, you can visit the MeidyaCom-Policy Web Site.

Contributors: Msc. Imen Tounsi, Dr. Mohamed Hadj Kacem, Dr. Imen Loulou, Prof. Ahmed Hadj Kacem

ReMo-SDP Tool

Abstract: ReMo-SDP tool is a graphical modeling tool that implements our approach, it ensures an easy and efficient modeling way for users. It provides the following functionalities:
1. Modeling SOA design patterns with the SoaML language.
2. Transforming SOA design pattern models to Event-B specifications.
For more details, you can visit the ReMo-SDP Tool Web Site.

Contributors: Msc. Imen Tounsi, Mr. Zied Hrichi, Dr. Mohamed Hadj Kacem

Organisation Commitee participation

  • METHODICA-I'2013: The 10th workshop on Methods for the Adaptive Distributed Software, Sfax, Tunisia, December 23-25 2013.
  • METHODICA-II'2012: The 9th workshop on Methods for the Adaptive Distributed Software, Hammamet, Tunisia, December 22-24 2012.

Teaching

  • Object Oriented Modeling (UML)
  • Database
  • Object Oriented Programing (JAVA)
  • Microsoft Office Access
  • C2I
 
<