Skip to Main content Skip to Navigation
Conference papers

Using Model Types to Support Contract-Aware Model Substitutability

Sun Wuliang 1 Benoit Combemale 2 Steven Derrien 3 Robert France 4
1 Computer Science Department
CSU - Colorado State University [Fort Collins]
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : Model typing brings the benefit associated with well-defined type systems to model-driven development (MDD) through the assignment of specific types to models. In particular, model type systems enable reuse of model manipulation operations (e.g., model transformations), where manipulations defined for models of a supertype can be used to manipulate models of subtypes. Existing model typing approaches are limited to structural typing defined in terms of object-oriented metamodels (e.g., MOF) in which the only structural (well-formedness) constraints are those that can be expressed directly in metamodeling notations (e.g., multiplicity and element containment constraints). In this paper we describe an extension to model typing that takes into consideration structural invariants, other than those that can be expressed directly in metamodeling notation, and specifications of behaviors associated with model types. The approach supports contract-aware substitutability, where contracts are defined in terms of invariants and pre-/postconditions expressed using OCL. Support for behavioral typing paves the way for behavioral substitutability. We also describe a technique to rigorously reason about model type substitutability as supported by contracts and apply the technique in use cases from the optimizing compiler community.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Benoit Combemale <>
Submitted on : Thursday, August 8, 2013 - 2:37:47 PM
Last modification on : Tuesday, September 8, 2020 - 10:38:04 AM
Long-term archiving on: : Monday, April 3, 2017 - 1:30:39 AM


Files produced by the author(s)



Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France. Using Model Types to Support Contract-Aware Model Substitutability. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. pp.118-133, ⟨10.1007/978-3-642-39013-5_9⟩. ⟨hal-00808770⟩



Record views


Files downloads