@inproceedings{631eb1e8eb5d4a4089791110c9c5f9ec,
title = "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.",
keywords = "Classification, Formal Techniques, Model Transformations, Properties, Verification",
author = "Moussa Amrani and Levi L{\'u}cio and Gehan Selim and Beno{\^i}t Combemale and J{\"u}rgen Dingel and Hans Vangheluwe and {Le Traon}, Yves and Cordy, {James R.}",
year = "2012",
doi = "10.1109/ICST.2012.197",
language = "English",
isbn = "9780769546704",
series = "Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012",
pages = "921--928",
booktitle = "Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012",
note = "5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012 ; Conference date: 17-04-2012 Through 21-04-2012",
}