Spécification Maude De Ramme Global D'interaction : Une Approche Automatique Basée Sur La Transformation De Graphe
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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
