Résumé:
Dans notre mémoire, nous proposons une approche de transformation des diagrammes globaux d'interaction vers Maude. Ce travail est inscrit dans le contexte de I'IDM (Ingénierie dirigée par modéles) ou on utilise et exploite la transformation de modéles. Plus précisément, la
transformation de graphe dont elle facilite la modélisation des modéles qui sont décrits comme
des graphes, les transformations entre modéles sont effectuées par réécriture des graphes e!
peuvent étre décrites aussi comme des graphes sous forme de grammaire de graphes. Chaque
transformation prend. des modéle en etrée et produit des modéles en sortie. Alors I'approche
que nous définissons vise d, proposer :
{ Un outil de modélisations des diagrammes global d'interaction.
{ une grammaire de graphe pour appliquer la transformation des diagrammes global
d'interaction vers -Maude.
Pour cela, nous utilisons ATOM3 (A Tool for Multli formalism and Meta-Modelling) qui
permet de réaliser ces concepts.
Organisation du mémoire
Nous avons organiser notre mémoire en quatre chapitre:
Le premier chapitre : Transformation de modéle et ATOM 3
Consacré.la présentation de I'approche IDM et la transformation de modéles'
Le deuxiéme chapitre : Diagramme global d'interaction
Nous définissons briévement les diagrammes globaux d'interacion d'UMI, 2 avec diagramme
de communication.
Le troisiéme chapitre : Logique de réécriture et Maude
Nous présenterons la logique de réécriture qui est un élément de base de notre travail ainsi
que ses notions élémentaires . ,Puis -nous aborderons de langage Maude qui se base sur cette logique avec ses diff6rents concepts.
Le quatriéme chapitre : {une Approche de transformation de IOD vers Maude
Nous détaillons dans le dernier chapitre, notre Approche de transformation qui est basée sur
la transformation des graphes en utilisant l'outil ATOM3.
Enfin , nous terminons notre ire travail par conclusion général dans laquelle nous résumons
Ies points essentiels de ce travail et des perspectives pour des éventuelles améliorations dans dans
le futur.
