La génération d'un outil de transformation des modèles orientés aspect vers des modèles formèls.basée sur la transformation de graphes

Abstract

Dans le monde de génie logiciel, UML est le langage de modélisation orientée objet le plus utilisé. Il offre au développeur un ensemble de diagrammes qui donne les différentes vues d’un système à réaliser. Mais avec l’évolution de l’informatique, les problèmes deviennent plus complexes, pour cela l’orienté objet a montré ses limites pour les qu’elles ce paradigme n’a donné aucune solution à ce type de problème. Donc, La odélisation orientée aspect est un nouveau paradigme qui apparut pour améliorer et résoudre les limites de la odélisation orientée objet. Les diagrammes UML2.0 orientés aspects ne possèdent pas de sémantique. Malgré son succès, ce langage souffre du manque de capacités de vérification, validation et d’analyse. L’objectif visé dans ce mémoire est de proposer une approche totalement automatique qui permet de transformer les diagrammes UML 2.0 (états transitions) orientés aspect vers les réseaux de pétri. Cette approche est basée sur la ransformation de graphes et réalisée à l’aide de l’outil AToM³. On va proposer des méta-modèles et une rammaire de graphes pour effectuer la transformation. Finalement on va argumenter notre proposition avec des études de cas bien illustrées