Un framework de traçabilité pour des transformations à caractère impératif

Cet article s’inscrit dans le cadre de l’ingenierie dirigee par les mo- deles et apporte une contribution au probleme de la tracabilite des artefacts de modelisation durant une chaine de transformations ecrites dans un langage impe- ratif. L’approche que nous proposons necessite peu d’interventions de l’utilisa- teur. Nous introduisons un metamodele generique des traces qui permet entre autres d’apporter une dimension multi-echelles aux traces grâce a l’applica- tion du patron de conception composite. Le principe de notre approche est de surveiller certaines categories d’operations interessantes pour la generation de traces pertinentes. Ces categories sont definies a l’aide du type des objets mani- pules par les operations. Une fois les categories definies, la trace est generee par du code dedie qui est injecte automatiquement dans la transformation, autour des operations caracterisees par les categories definies. Un prototype a ete rea- lise pour les transformations de modeles ecrites en Java, sur le framework EMF. L’injection du code dedie a la tracabilite est realisee a l’aide de la programmation par aspects.