Current State
Master student in the Faculty of Economics Sciences and Management of Sfax, Tunisia.
Education
Gratuated in computer science from the Faculty of Economics Sciences and Management of Sfax-Tunisia in 2007.
Research activities
In my research, we focus in software adaptation. This adaptation is triggered in response to unexpected failures that violate system constraints. So in my master work, we propose a formal architecture-centric approach for the specification of correct repair policies. These adaptation policies are based on the architectural style Publish / Subscribe. We have formally described how to verify that the execution of an adaptation policy generates a correct configuration w.r.t. the structural properties of the architectural style. This approach was validated through two case studies.
In order to describe the structure of a repair policy with a visual and graphical notation, we propose a UML profile for modeling these policies. Also, we extend the Eclipse tool by implementing a plug-in that supports our approach.
Publications
| [1] |
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] |
| [2] |
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] |
