Abstract FR:

Une des conditions pour que l'ingénierie des modèles tienne ses promesses en terme de productivité et de qualité, est d'assurer, (1) la correction des modèles, et (2) la correction des transformations utilisées. La contribution de cette thèse s'articule autour de ces deux axes. Pour améliorer la qualité des modèles, nous proposons l'utilisation d'un coeur sémantique unique pour la spécification de langages de modélisation. Au coeur de la plateforme d'ingénierie des modèles développée par l'équipe Triskell, le langage Kermeta a été validé dans des contextes variés tels que la transformation de modèles, la modélisation orientée-aspects et la définition de langages dédiés. Pour améliorer la qualité des transformations, nous proposons une technique pour la sélection et la génération de modèles de test. Cette technique tire avantage du fait qu'une transformation manipule des données décrites par un méta-modèle. Ces travaux constituent un premier pas vers une ingénierie des modèles fiable.