Un framework de traçabilité pour des transformations à caractère impératif
Abstract
Cet article s'inscrit dans le cadre de l'ingénierie dirigée par les modèles et apporte une contribution au problème de la traçabilité des artefacts de modélisation durant une chaîne de transformations écrites dans un langage impératif. L'approche que nous proposons nécessite peu d'interventions de l'utilisateur. Nous introduisons un métamodèle générique des traces qui permet entre autres d'apporter une dimension multi-échelles aux traces grâce à l'application du patron de conception composite. Le principe de notre approche est de surveiller certaines catégories d'opérations intéressantes pour la génération de traces pertinentes. Ces catégories sont définies à l'aide du type des objets manipulés par les opérations. Une fois les catégories définies, la trace est générée par du code dédié qui est injecté automatiquement dans la transformation, autour des opérations caractérisées par les catégories définies. Un prototype a été réalisé pour les transformations de modèles écrites en Java, sur le framework EMF. L'injection du code dédié à la traçabilité est réalisée à l'aide de la programmation par aspects.