On validation of ATL transformation rules by transformation models

Fabian Buettner 1 Jordi Cabot 1 Martin Gogolla 2
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Model-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature transformation language which has been successfully applied in several areas. However, the executable nature of ATL is a barrier for the validation of transformations. In contrast, transformation models provide an integrated structural description of the source and target metamodels and the transformation between them. While not being executable, transformation models are well-suited for analysis and verification of transformation properties. In this paper, we discuss (a) how ATL transformations can be translated into equivalent transformation models and (b) illustrate how these surrogates can be employed to validate properties of the original transformation.
Type de document :
Communication dans un congrès
MoDeVVa Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, Oct 2011, Wellington, New Zealand. 2011
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00691062
Contributeur : Fabian Buettner <>
Soumis le : mercredi 25 avril 2012 - 11:22:28
Dernière modification le : mercredi 11 avril 2018 - 02:01:32
Document(s) archivé(s) le : jeudi 26 juillet 2012 - 02:22:58

Fichier

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

Identifiants

  • HAL Id : hal-00691062, version 1

Collections

Citation

Fabian Buettner, Jordi Cabot, Martin Gogolla. On validation of ATL transformation rules by transformation models. MoDeVVa Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, Oct 2011, Wellington, New Zealand. 2011. 〈hal-00691062〉

Partager

Métriques

Consultations de la notice

543

Téléchargements de fichiers

209