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.
Type de document :
Communication dans un congrès
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. IEEE, 2012
Liste complète des métadonnées


https://hal.inria.fr/hal-00684717
Contributeur : Benoit Combemale <>
Soumis le : mardi 3 avril 2012 - 07:51:17
Dernière modification le : vendredi 13 janvier 2017 - 14:21:37
Document(s) archivé(s) le : mercredi 4 juillet 2012 - 02:22:20

Fichier

IEEEFinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00684717, version 1

Collections

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. IEEE, 2012. <hal-00684717>

Partager

Métriques

Consultations de
la notice

386

Téléchargements du document

379