A Tridimensional Approach for Studying the Formal Verification of Model Transformations

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [56 references]  Display  Hide  Download

https://hal.inria.fr/hal-00684717
Contributor : Benoit Combemale <>
Submitted on : Tuesday, April 3, 2012 - 7:51:17 AM
Last modification on : Thursday, February 7, 2019 - 2:21:03 PM
Long-term archiving on : Wednesday, July 4, 2012 - 2:22:20 AM

File

IEEEFinal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00684717, version 1

Citation

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⟩

Share

Metrics

Record views

530

Files downloads

568