Contracts for Model Execution Verification - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Contracts for Model Execution Verification

Résumé

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.
Fichier principal
Vignette du fichier
cariou-ecmfa11.pdf (168.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00637763 , version 1 (02-11-2011)

Identifiants

Citer

Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Contracts for Model Execution Verification. ECMFA'11, Jun 2011, Birmingham, United Kingdom. ⟨10.1007/978-3-642-21470-7_2⟩. ⟨inria-00637763⟩
110 Consultations
300 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More