Spécification formelle des modèles orientés aspect, une approche basée sur la transformation de graphes et le langage Maude

Abstract

La modélisation en informatique est l'étape la plus importante dans le développement d'un logiciel. Elle facilite la compréhension du fonctionnement d'un système avant sa réalisation en produisant un modèle. Ils existent plusieurs méthodes de modélisation comme la Modélisation Orientée Aspect(MOA) et la Modélisation Orientée Objet(MOO). Avec l'utilisation de toute la puissance des langages orientés objet, l'approche orientée objet montré ces importances et efficacités depuis ces apparition dans les systèmes complexes. Mais avec 'évolution de l'informatique, les problèmes deviennent plus complexes, de nombreuses limites de cette approche ont été trouvées. Par ailleurs, la modélisation orientée aspect a montrée son utilité dans la onception et le développement des systèmes complexes, pour cela il existe plusieurs modèles qui sont orientés aspects, mais les diagrammes UML2.0 Orientés Aspects ne possède pas de sémantique. En plus, il n’existe pas des outils qui permettent de vérifier et valider ces modèles. Donc, nous avons proposé une approche de ransformation des modèles orientés aspect vers des modèles formels. Dans ce mémoire, nous avons proposé une transformation des diagrammes de classes, état-transition et communication orientés aspect vers le langage Maude en se basant sur le paradigme de la transformation de graphe. Notre approche consiste à proposer des méta modèles (les modèles orientés aspect et Maude), une grammaire de graphe et des règles pour la transformation entre deux formalismes différents. Finalement on va argumenter notre proposition avec des études de cas bien illustrées.