Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 : Monday, February 14, 2022 - 11:32:03 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⟩



Record views


Files downloads