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 metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00637747
Contributor : Alexandre Feugas <>
Submitted on : Wednesday, November 2, 2011 - 6:07:31 PM
Last modification on : Friday, April 26, 2019 - 6:36:01 AM
Long-term archiving on : Friday, February 3, 2012 - 2:36:07 AM

File

idm11-exec-contrats.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00637747, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

243

Files downloads

257