Le Développement d’un Outil de Transformation des Modèles Orientés Aspect vers les Réseaux de Pétri, Basé sur la Transformation De Graphes

Abstract

La Mod´elisation Orient´ee Aspect (MOA) est un nouveau paradigme d´evelopp´epar des scientifiques pour am´eliorer et r´esoudre les limites de l’orient´e objet. Il existe plusieurs diagrammes UML2.0 qui sont orient´es aspect, mais leprobl`eme de ces dernier est l’absence d’une s´emantique formelle. Pour cela, nous avons propos´e une approche de transformation des diagrammes UML 2.0 orient´es aspect vers des m´ethodes formelles.Dans ce m´emoire, nous avons pr´esent´e une transformation de Diagramme de Classes Orient´e Aspect (DCOA )vers les r´eseaux de p´etri (RdP) nous nous basant sur la transformation de graphes. Notre approche consiste `a proposer une grammaire de graphes qui contient un ensemble de r`egles pour la transformation entre deux formalismes diff´erents. Nous avons r´ealis´e ce travail `a l’aide de l’outil AToM, par la d´efinition de les deux m´etas mod`eles (l’un pour le diagramme de classes orient´e aspect et l’autre pour les r´eseaux de p´etri) et la grammaire de graphes. Finalement nous terminons notre contribution par une ´etude de cas bien illustr´ee, et nous repr´esentons les r´esultats qui agr´ementent notre approche.