Contribution à l'étude des langages de transformation de modèles

• Auteur / Autrice : Frédéric Jouault
• Direction : Jean Bézivin
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2006
• Etablissement(s) : Nantes
• Ecole(s) doctorale(s) : École doctorale sciences et technologies de l'information et des matériaux (Nantes)

Mots clés

Mots clés contrôlés

Logiciels -- Réingénierie

Génie logiciel

Résumé

Les techniques classiques de développement logiciel consistent généralement en l'écriture du code source d'un système par des programmeurs à partir d'une spécification comportant des modèles. Ces derniers sont souvent des dessins qui ne peuvent pas être traités automatiquement. On parle donc de modèles contemplatifs. L'ingénierie des modèles, dont le MDA (Model Driven Architecture) est une variante, est un nouveau paradigme de l'ingénierie du logiciel qui considère les modèles comme entités de première classe. Les modèles ne sont donc plus limités à la documentation d'un système mais peuvent faire partie de sa définition, au même titre que le code source. Ainsi, 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.