Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata

Cited literature [56 references]  Display  Hide  Download
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Tuesday, April 3, 2012 - 7:51:17 AM
Last modification on : Friday, February 25, 2022 - 10:12:40 AM
Long-term archiving on: : Wednesday, July 4, 2012 - 2:22:20 AM


Files produced by the author(s)


  • HAL Id : hal-00684717, version 1


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⟩



Record views


Files downloads