Verification of ATL Transformations Using Transformation Models and Model Finders

Abstract : In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced by a transformation from valid input models are valid, too, where validity refers to the metamodel constraints, often written in OCL. Transformation models are a way to describe this Hoare-style notion of partial correctness of model transformations using only metamodels and constraints. In this paper, we provide an automatic translation of declarative, rule-based ATL transformations into such transformation models, providing an intuitive and versatile encoding of ATL into OCL that can be used for the analysis of various properties of transformations. We furthermore show how existing model verifiers (satisfiability checkers) for OCL-annotated metamodels can be applied for the verification of the translated ATL transformations, providing evidence for the effectiveness of our approach in practice.
Type de document :
Communication dans un congrès
ICFEM 2012: 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00723984
Contributeur : Fabian Buettner <>
Soumis le : vendredi 17 août 2012 - 10:57:15
Dernière modification le : mercredi 11 avril 2018 - 01:50:58
Document(s) archivé(s) le : dimanche 18 novembre 2012 - 02:20:49

Fichier

ICFEM2012_camera-ready.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00723984, version 1

Citation

Fabian Buettner, Marina Egea, Jordi Cabot, Martin Gogolla. Verification of ATL Transformations Using Transformation Models and Model Finders. ICFEM 2012: 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. 2012. 〈hal-00723984〉

Partager

Métriques

Consultations de la notice

621

Téléchargements de fichiers

495