DraK's Klog

Cette thèse sur les transformations modèles à modèles, la méta modélisation et l'ingénierie logicielle guidée par les modèles en général est vraiment passionante.

Des techniques de transformations de modèles peuvent être mises en œuvre afin de générer automatiquement des parties du système à partir de modèles. Cette thèse contribue à faire avancer les connaissances sur l'ingénierie des modèles et en particulier sur la transformation de modèles. Trois langages sont proposés : un langage de métamodélisation appelé KM3 (Kernel MetaMetaModel), un langage de transformation de programmes en modèles et modèles en programmes appelé TCS (Textual Concrete Syntax) et un langage de transformation de modèles appelé ATL (ATLAS Transformation Language). Une plateforme de modélisation appelée AMMA (ATLAS Model Management Architecture) basée sur ces trois langages est définie. Un ensemble de cas d'études implémentés avec AMMA et couvrant différents domaines sont décrits.