Skip to Main content Skip to Navigation
Conference papers

Une approche de vérification d'exécution de modèles par contrats

Eric Cariou 1, * Cyril Ballagny 1 Alexandre Feugas 2 Franck Barbier 1
* Corresponding author
2 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : One of the main goal 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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Alexandre Feugas Connect in order to contact the contributor
Submitted on : Wednesday, November 2, 2011 - 6:07:31 PM
Last modification on : Friday, January 15, 2021 - 9:23:04 AM
Long-term archiving on: : Friday, February 3, 2012 - 2:36:07 AM


Files produced by the author(s)


  • HAL Id : inria-00637747, version 1



Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Une approche de vérification d'exécution de modèles par contrats. IDM'11, Jun 2011, Lille, France. ⟨inria-00637747⟩



Les métriques sont temporairement indisponibles