Contracts for Model Execution Verification

Abstract : One of the main goals of model-driven engineering is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. We focus in this paper on verifying model executions. We use a contract-based approach to specify an execution semantics for a meta-model. We show that an execution semantics is a seamless extension of a rigorous meta-model specification and is composed of complementary levels, from static element definition to dynamic elements, execution specifications as well. We use model transformation contracts for controlling the dynamic consistent evolution of a model during its execution. As an illustration, we apply our approach to UML state machines using OCL as the contract expression language.
Type de document :
Communication dans un congrès
France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard. ECMFA'11, Jun 2011, Birmingham, United Kingdom. Springer Berlin / Heidelberg, 6698, 2011, 〈10.1007/978-3-642-21470-7_2〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00637763
Contributeur : Alexandre Feugas <>
Soumis le : mercredi 2 novembre 2011 - 18:30:04
Dernière modification le : jeudi 11 janvier 2018 - 01:49:31
Document(s) archivé(s) le : vendredi 3 février 2012 - 02:36:31

Fichiers

cariou-ecmfa11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Contracts for Model Execution Verification. France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard. ECMFA'11, Jun 2011, Birmingham, United Kingdom. Springer Berlin / Heidelberg, 6698, 2011, 〈10.1007/978-3-642-21470-7_2〉. 〈inria-00637763〉

Partager

Métriques

Consultations de la notice

196

Téléchargements de fichiers

309