Skip to Main content Skip to Navigation
New interface
Theses

Model Typing

James Richard Heron 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 :
Theses
Complete list of metadata

Cited literature [98 references]  Display  Hide  Download

https://theses.hal.science/tel-00538274
Contributor : Loïc Lesage Connect in order to contact the contributor
Submitted on : Monday, November 22, 2010 - 11:45:27 AM
Last modification on : Friday, February 4, 2022 - 3:22:06 AM
Long-term archiving on: : Wednesday, February 23, 2011 - 3:03:39 AM

Identifiers

  • HAL Id : tel-00538274, version 1

Citation

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

Share

Metrics

Record views

151

Files downloads

589