Spécification Maude de ramme Global d'Interaction : Une Approche Automatique Basée sur la Transformation de Graphe

Abstract

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.