The Community for Technology Leaders
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015)
Ottawa, ON, Canada
Sept. 30, 2015 to Oct. 2, 2015
ISBN: 978-1-4673-6907-7
pp: 146-155
Jesus Sanchez Cuadrado , Universidad Autónoma de Madrid, Spain
Esther Guerra , Universidad Autónoma de Madrid, Spain
Juan de Lara , Universidad Autónoma de Madrid, Spain
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.
INDEX TERMS
Object oriented modeling, Analytical models, Computational modeling, Context, Testing, Maintenance engineering, Petri nets,Verification and Testing, Model Transformation, Transformation Static Analysis, ATL, Quick fixes
CITATION
Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara, "Quick fixing ATL model transformations", 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), vol. 00, no. , pp. 146-155, 2015, doi:10.1109/MODELS.2015.7338245
95 ms
(Ver 3.3 (11022016))