Une approche de vérification d'exécution de modèles par contrats - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

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

(1) , (1) , (2) , (1)
1
2

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.
Un des buts fondateurs de l'ingénierie des modèles est la manipulation des modèles en tant qu'éléments logiciels productifs. L'exécution de modèles est notamment un moyen de remplacer l'écriture du code. Nous nous intéressons dans cet article à la vérification d'exécution de modèles. Nous utilisons pour cela une approche par contrat pour spécifier une sémantique d'exécution pour un méta-modèle donné. Nous montrons qu'une sémantique d'exécution est un prolongement naturel d'un méta-modèle rigoureusement défini et est formée de niveaux complémentaires, de la définition d'éléments statiques et dynamiques ainsi que de spécifications d'exécution de ces éléments. Nous utilisons des contrats de transformation de modèles pour vérifier la cohérence de l'évolution dynamique d'un modèle pendant son exécution.
Fichier principal
Vignette du fichier
idm11-exec-contrats.pdf (114.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00637747 , version 1

Cite

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⟩
128 View
134 Download

Share

Gmail Facebook Twitter LinkedIn More