Title :
Quick fixing ATL model transformations
Author :
Jesús Sánchez Cuadrado;Esther Guerra;Juan de Lara
Author_Institution :
Universidad Autó
Abstract :
The correctness of model transformations is key to obtain reliable MDE solutions. However, current transformation tools provide limited support to statically detect and correct errors. This way, the identification of errors and their correction are mostly manual activities. Our aim is to improve this situation. Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors. The analyser is based on a combination of program analysis and constraint solving, and our quick fix generation technique makes use of the analyser features to provide a range of fixes, notably some nontrivial, transformation-specific ones. Our approach integrates seamlessly with the ATL editor. We provide an evaluation based on an existing faulty transformation, and automatically generated transformation mutants, showing overall good results.
Keywords :
"Object oriented modeling","Analytical models","Computational modeling","Context","Testing","Maintenance engineering","Petri nets"
Conference_Titel :
Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on
DOI :
10.1109/MODELS.2015.7338245