Model Typing

James Steel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Model-Driven Engineering is a discipline for the construction of systems based on the use of models. Although research is active into the use of MDE and its core technologies such as languages for storing, transforming and manipulating models, less attention has been paid to techniques for ensuring the safe reuse and composition of the elements which manipulate models. This thesis presents an approach based on ideas and formalisms from the domain of type systems for defining clear notions of models and model types, as well as a relation for model type substitutability. These model typing principles are demonstrated through their implementation in the Kermeta modelling and metamodelling language. Additionally, a presentation is made of the expression problem as it pertains to model-driven engineering, and of how the use of model types can help to address the issues it represents.
keyword : typage MDE TRISKELL
Document type :
Complete list of metadatas

Cited literature [98 references]  Display  Hide  Download
Contributor : Loïc Lesage <>
Submitted on : Monday, November 22, 2010 - 11:45:27 AM
Last modification on : Friday, November 16, 2018 - 1:21:47 AM
Long-term archiving on: Wednesday, February 23, 2011 - 3:03:39 AM


  • HAL Id : tel-00538274, version 1


James Steel. Model Typing. Software Engineering [cs.SE]. Université Rennes 1, 2007. English. ⟨tel-00538274⟩



Record views


Files downloads