A Tridimensional Approach for Studying the Formal Verification of Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00684717 , version 1

Cite

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 View
484 Download

Share

Gmail Facebook X LinkedIn More