Vérification d’une approche basée transformation de graphes en IDM

Abstract

L’ingénierie dirigée par les modèles a permis plusieurs améliorations significatives dans le développement de systèmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique. Il s’agit d’une forme d’ingénierie générative dans laquelle tout ou partie d’une application est engendrée à partir de modèles. L’IDM se focalise sur l’exploitation de modèles, méta-modèles, et la transformation de modèle qui définit l’automatisation qui peut être utilisé dans le processus de développement de logiciels. Afin d’assurer la qualité du produit final, Il est donc nécessaire d’augmenter la vérification d’une telle transformation de modèles. L’objectif principal de notre travail est de définir un modèle de transformation, afin de vérifier la consistance de la transformation entre les diagrammes de communications orienté objet et les diagrammes de communications orienté aspect en utilisant l’outil USE et le langage OCL.