Two Basic Correctness Properties for ATL Transformations: Executability and Coverage

Abstract : Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), where models are transformed from higher to lower levels of abstraction. Unfortunately, a quick and easy way to check the correctness of model transformations is still missing, which compromises their quality (and in turn, the quality of the target models generated from them). In this paper we propose a lightweight and efficient method that performs a static analysis of the ATL rules with respect to two correctness properties we define: (1) weak executability, which determines if there is some scenario in which an ATL rule can be safely applied without breaking the target metamodel integrity constraints; and (2) coverage, which ensures a set of ATL rules allow addressing all elements of the source and target metamodels. In both cases, our method returns meaningful feedback that helps repairing the possible detected inconsistencies.
Type de document :
Communication dans un congrès
3rd International Workshop on Model Transformation with ATL, Jul 2011, Zurich, Switzerland. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00610205
Contributeur : Elena Planas <>
Soumis le : jeudi 21 juillet 2011 - 12:37:47
Dernière modification le : vendredi 22 juin 2018 - 09:29:08

Identifiants

  • HAL Id : inria-00610205, version 1

Citation

Elena Planas, Jordi Cabot, Cristina Gómez. Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. 3rd International Workshop on Model Transformation with ATL, Jul 2011, Zurich, Switzerland. 2011. 〈inria-00610205〉

Partager

Métriques

Consultations de la notice

331