Skip to Main content Skip to Navigation

Langage et méthode pour une ingénierie des modèles fiable

Franck Fleurey 1, 2
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : One of the conditions for model-driven developement to deliver its promises in terms of quality and productivity is to ensure, (1) the quality of the models and (2) the correctness of model tansformations that are used. The contribution of this work follows both directions. To improve the quality of models, we propose an original language called Kermeta for the specification of modeling languages. Kermeta is the core of the model-oriented platform developped in the Triskell team. It has been validated with a wide range of applications including model transformation, model conposition and weaving and the specification of dedicated modeling languages. To improve the quality of model transformations, we propose a technique for the generation and the selection of test models. This technique takes advantage of the fact that models processed by a model transformation are described by meta-models. Overall, this work is a first step towards reliability of model-driven developement.
keyword : MDE TRISKELL IDM langage
Document type :
Complete list of metadatas

Cited literature [116 references]  Display  Hide  Download
Contributor : Loïc Lesage <>
Submitted on : Monday, November 22, 2010 - 11:52:43 AM
Last modification on : Thursday, December 3, 2020 - 9:24:12 AM
Long-term archiving on: : Wednesday, February 23, 2011 - 3:05:51 AM


  • HAL Id : tel-00538288, version 1


Franck Fleurey. Langage et méthode pour une ingénierie des modèles fiable. Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨tel-00538288⟩



Record views


Files downloads