Quick fixing ATL model transformations

Biblos-e Archivo/Manakin Repository

Show simple item record

dc.contributor.author Sánchez Cuadrado, Jesús
dc.contributor.author Guerra, Esther
dc.contributor.author Lara, Juan de
dc.contributor.other UAM. Departamento de Ingeniería Informática es_ES
dc.date.accessioned 2016-11-18T16:18:02Z
dc.date.available 2016-11-18T16:18:02Z
dc.date.issued 2015-11-25
dc.identifier.citation 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. 146-155 en_US
dc.identifier.isbn 978-1-4673-6908-4
dc.identifier.uri http://hdl.handle.net/10486/675244
dc.description 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 en_US
dc.description.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. en_US
dc.description.sponsorship 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). en_US
dc.format.extent 11 pag. es_ES
dc.format.mimetype application/pdf en
dc.language.iso eng en
dc.publisher Institute of Electrical and Electronics Engineers Inc. en_US
dc.rights © 2015 IEEE en_US
dc.subject.other ATL en_US
dc.subject.other Model Transformation en_US
dc.subject.other Quick fixes en_US
dc.subject.other Transformation Static Analysis en_US
dc.subject.other Verification and Testing en_US
dc.title Quick fixing ATL model transformations en_US
dc.type conferenceObject en
dc.subject.eciencia Informática es_ES
dc.relation.publisherversion http://dx.doi.org/10.1109/MODELS.2015.7338245
dc.identifier.doi 10.1109/MODELS.2015.7338245
dc.identifier.publicationfirstpage 146
dc.identifier.publicationlastpage 155
dc.relation.eventdate September 30 - October 2, 2015 en_US
dc.relation.eventnumber 18
dc.relation.eventplace Ottawa (Canada) en_US
dc.relation.eventtitle 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 en_US
dc.relation.projectID Gobierno de España. TIN2011-24139 es_ES
dc.relation.projectID Gobierno de España. TIN2014-52129-R es_ES
dc.relation.projectID Comunidad de Madrid. S2013/ICE-3006/SICOMORO es_ES
dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/611125 en
dc.type.version info:eu-repo/semantics/acceptedVersion en
dc.contributor.group Modelado e Ingeniería del Software (ING EPS-013) es_ES
dc.rights.accessRights openAccess en
dc.authorUAM Lara Jaramillo, Juan De (259157)
dc.authorUAM Sánchez Cuadrado, Jesús (262432)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record