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.
Type de document :
Communication dans un congrès
Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS. 〈http://dx.doi.org/10.1007/978-3-642-39013-5_9〉. 〈10.1007/978-3-642-39013-5_9〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00808770
Contributeur : Benoit Combemale <>
Soumis le : jeudi 8 août 2013 - 14:37:47
Dernière modification le : mercredi 2 août 2017 - 10:09:09
Document(s) archivé(s) le : lundi 3 avril 2017 - 01:30:39

Fichier

ecmfa13-contractmatching.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France. Using Model Types to Support Contract-Aware Model Substitutability. Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS. 〈http://dx.doi.org/10.1007/978-3-642-39013-5_9〉. 〈10.1007/978-3-642-39013-5_9〉. 〈hal-00808770〉

Partager

Métriques

Consultations de
la notice

665

Téléchargements du document

203