On Model Subtyping

Clément Guy 1 Benoit Combemale 1 Steven Derrien 2 James Steel 3 Jean-Marc Jézéquel 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
2 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : Various approaches have recently been proposed to ease the manipulation of models for specific purposes (e.g., automatic model adaptation or reuse of model transformations). Such approaches raise the need for a unified theory that would ease their combination, but would also outline the scope of what can be expected in terms of engineering to put model manipulation into action. In this work, we address this problem from the model substitutability point of view, through model typing. We introduce four mechanisms to achieve model substitutability, each formally defined by a subtyping relation. We then discuss how to declare and check these subtyping relations. This work provides a formal reference specification establishing a family of model-oriented type systems. These type systems enable many facilities that are well known at the programming language level. Such facilities range from abstraction, reuse and safety to impact analyses and auto-completion.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00695034
Contributor : Clément Guy <>
Submitted on : Monday, May 7, 2012 - 2:00:32 PM
Last modification on : Thursday, November 15, 2018 - 11:57:40 AM
Long-term archiving on : Friday, November 30, 2012 - 11:20:49 AM

File

ECMFA2012-OnModelSubtyping.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00695034, version 1

Citation

Clément Guy, Benoit Combemale, Steven Derrien, James Steel, Jean-Marc Jézéquel. On Model Subtyping. ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark. ⟨hal-00695034⟩

Share

Metrics

Record views

814

Files downloads

452