Une approche hybride GPL-DSL pour transformer des modèles

Version définitiveNational audienceModel Driven Engineering (MDE) advocates the use of model transformations in order to automate software development and its verification. Between operational and relational approaches, based on general purpose or domain specific languages, many models transformations tools have been developed. To ease and to speed up software development based on models transformations, we propose a method, an associated language and dedicated tooling. Our approach aims to bridge the gap between general purpose languages and domain specific ones in order to take benefit from both of the two worlds, increasing software quality. Our approach uses the Tom language which is a shallow extension of general purpose languages. Our proposal allows to write modular transformations whose code is reusable, and which are traceable.L'ingénierie des modèles (IDM) plaide en faveur des transformations de modèles afin d'automatiser au maximum le développement logiciel et sa vérification. Entre approches opérationnelles et relationnelles, à base de langages dédiés ou généralistes, de nombreux outils de transformation de modèles existent dans le domaine. Pour faciliter et accélérer le développement logiciel basé sur les transformations de modèles, tout en assurant la qualité du logiciel, nous proposons une méthode ainsi qu'un langage associé et de l'outillage dédié. Notre approche se situe à la frontière des langages généralistes et des langages dédiés afin de pouvoir bénéficier du meilleur des deux mondes pour une qualité logicielle accrue. Elle s'appuie sur l'usage du langage Tom, qui est une extension de langages généralistes. Notre proposition permet d'écrire des transformations modulaires, dont le code est réutilisable, et qui sont traçables