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

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 par...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Jouault Frédéric (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Organisme de soutenance)
Autres auteurs : Bézivin Jean (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Contribution à l'étude des langages de transformation de modèles / Frédéric Jouault; Jean Bézivin, directeur de thèse
Publié : [S.l.] : [s.n.] , 2006
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse doctorat : Informatique : Nantes : 2006
Sujets :
Documents associés : Reproduction de: Contribution à l'étude des langages de transformation de modèles
Description
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.
Bibliographie : 110 références bibliographiques