Current State
PhD student in the Faculty of Economics Sciences and Management of Sfax, Tunisia.
Education
Gratuated in computer science from the Higher Institute of Technological Studies of Sfax-Tunisia in 2011.
Master degree in Computer Science from the Higher Institute of Computer Science and Multimedia of Sfax-Tunisia in 2013.
Research activities
My research activities focus on:
- Cloud Computing
- Cloud Design Patterns
- Software Modeling
- Formal Design
- Component-based Architectures
- Eclipse for Modeling
Title: An Approach to Modeling and Formal specification of cloud design patterns
Supervisors: Dr. Mohamed Hadj Kacem and Prof. Ahmed Hadj Kacem.
Publications
[C1] |
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). |
[C2] |
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] |
Tools & Results
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