A Tridimensional Approach for Studying the Formal Verification of Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Levi Lucio
  • Fonction : Auteur
  • PersonId : 923299
Gehan Selim
  • Fonction : Auteur
  • PersonId : 923300
Jürgen Dingel
  • Fonction : Auteur
  • PersonId : 923301
James R. Cordy
  • Fonction : Auteur
  • PersonId : 923303

Résumé

In Model Driven Engineering (MDE), models are first-class citizens, and model transformation is MDE's "heart and soul". Since model transformations are executed for a family of conforming models, their validity becomes a crucial issue. This paper proposes to explore the question of the formal verification of model transformation properties through a tri-dimensional approach: the transformation involved, the properties of interest addressed, and the formal verification techniques used to establish the properties. This work allows a better understanding of the expected properties for a particular transformation, and facilitates the identification of the suitable tools and techniques for enabling their verification.
Fichier principal
Vignette du fichier
IEEEFinal.pdf (205.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00684717 , version 1 (03-04-2012)

Identifiants

  • HAL Id : hal-00684717 , version 1

Citer

Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, et al.. A Tridimensional Approach for Studying the Formal Verification of Model Transformations. Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. ⟨hal-00684717⟩
259 Consultations
501 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More