PFE

Sujet 1

Titre

Conception et implémentation d’un Plug-in Eclipse pour la modélisation de la dynamique des architectures logicielles

Encadreur

Mohamed HADJ KACEM

Description du sujet

Le projet consiste à implémenter un Plug-in Eclipse permettant de modéliser un profil UML pour la conception de la dynamique des architectures logicielles. Le plug-in est développé en utilisant les plug-ins EMF, GEF et GMF de Eclipse. Le projet est composé de trois parties :

Partie conception : Cette partie consiste à implémenter, en utilisant les plug-ins EMF, GEF et GMF de Eclipse, deux interfaces graphiques :
- Une première pour la modélisation UML du style architectural
- Une deuxième pour la modélisation UML des opérations de reconfigurations

Partie mapping : Une fois les deux interfaces graphiques sont implémentées, il faut implémenter le mapping : passage des modèles UML générés vers le langage formel Z.

Partie Aspect : La troisième partie consiste à implémenter le mapping entre les spécifications Z générées, des opérations de reconfiguration, et les aspects selon le langage AspectJ.

Mots clés

Plug-in, Eclipse, EMF, GEF, GMF, UML2.0, langage Z, AspectJ

Remarque

Ce sujet de PFE pourra faire l'objet d'un Master de Recherche.

Contact

Pour plus d'informations, vous pouvez contacter Mohamed Hadj Kacem : mohamed.hadjkacem@gmail.com