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
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
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.
Object oriented modeling, Analytical models, Computational modeling, Context, Testing, Maintenance engineering, Petri nets
J. Sanchez Cuadrado, E. Guerra and J. de Lara, "Quick fixing ATL model transformations," 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, ON, Canada, 2015, pp. 146-155.