La transformation automatique des diagrammes d’activité vers les réseaux de Petri

Abstract

L'ingénierie basée sur les modèles joue un rôle très important dans le développement logiciel, où la transformation de modèle consiste à transformer le modèle source en un modèle cible basé sur les méta-modèles source et cible en résolvant divers problèmes (réutilisation, interopérabilité, migration de modèle). L'idée principale de notre travail est de créer un pont technologique entre l'atelier IDM et l'atelier Graph Grammar et d'effectuer une transformation bidirectionnelle à l'aide de l'outil d'interprétation TGG. Notre travail consiste à transformation du diagramme d’activité vers les réseaux de Petri (RDP) basée sur la transformation des graphes. Notre approche consiste à proposer une grammaire de graphes contenant un ensemble de règles de transformation entre deux formalismes différents. Nous avons réalisé ce travail avec l'outil Eclipse en définissant deux métamodèles (un pour le diagramme d’activité et un pour le réseau de Petri) et une grammaire des graphes. Enfin, nous concluons notre contribution par une étude de cas bien illustrée et présentons les résultats qui complètent notre approche. Model-driven engineering plays a crucial role in software development, where model transformation involves converting a source model into a target model based on source and target metamodels, addressing various issues such as reuse, interoperability, and model migration. The main idea of our work is to create a technological bridge between the modeldriven engineering workshop and the Graph Grammar workshop, enabling bidirectional transformation using the TGG interpretation tool. Our thesis presents the transformation from activity diagrams to Petri nets based on graph transformation. Our approach involves proposing a graph grammar that encompasses a set of transformation rules between two different formalisms. We implemented this work using the Eclipse tool, defining two metamodels (one for activity diagrams and one for Petri nets) and a graph grammar. Finally, we conclude our contribution with a well-illustrated case study and present the results that validate our approach