Quick fixing ATL model transformations
| العنوان: | Quick fixing ATL model transformations |
|---|---|
| المؤلفون: | Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado |
| المساهمون: | UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013) |
| المصدر: | Biblos-e Archivo. Repositorio Institucional de la UAM instname MoDELS |
| بيانات النشر: | Institute of Electrical and Electronics Engineers Inc., 2015. |
| سنة النشر: | 2015 |
| مصطلحات موضوعية: | Informática, 050208 finance, Correctness, Computer science, Model Transformation, Model transformation, 05 social sciences, Analyser, 020207 software engineering, Context (language use), Quick fixes, 02 engineering and technology, Petri net, Transformation (function), Program analysis, Computer engineering, ATL, Transformation Static Analysis, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), computer, Algorithm, computer.programming_language, Verification and Testing |
| الوصف: | Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. J. Sánchez Cuadrado, E. Guerra and J. de Lara, "Quick fixing ATL model transformations," Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, Ottawa, ON, 2015, pp. 146-155. doi: 10.1109/MODELS.2015.7338245 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. Work supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125). |
| وصف الملف: | application/pdf |
| اللغة: | English |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b7b6ca843673f56b5bf55ddf33463c6 https://doi.org/10.1109/models.2015.7338245 |
| حقوق: | OPEN |
| رقم الأكسشن: | edsair.doi.dedup.....0b7b6ca843673f56b5bf55ddf33463c6 |
| قاعدة البيانات: | OpenAIRE |
| الوصف غير متاح. |