Backwards reasoning for model transformations: Method and applications

Biblos-e Archivo/Manakin Repository

Show simple item record Clariso, Robert Cabot, Jordi Guerra, Esther Lara, Juan de
dc.contributor.other UAM. Departamento de Ingeniería Informática es_ES 2016-10-14T14:01:28Z 2016-10-14T14:01:28Z 2016-06-01
dc.identifier.citation Journal of Systems and Software 116 (2016): 113-132 en_US
dc.identifier.issn 0164-1212
dc.description This is the author’s version of a work that was accepted for publication in Journal of Systems and Software. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Systems and Software, VOL 116, (2016) DOI 10.1016/j.jss.2015.08.017 en_US
dc.description.abstract Model transformations are key elements of Model Driven Engineering. Current challenges for transformation languages include improving usability (i.e., succinct means to express the transformation intent) and devising powerful analysis methods. In this paper, we show how backwards reasoning helps in both respects. The reasoning is based on a method that, given an OCL expression and a transformation rule, calculates a constraint that is satisfiable before the rule application if and only if the original OCL expression is satisfiable afterwards. With this method we can improve the usability of the rule execution process by automatically deriving suitable application conditions for a rule (or rule sequence) to guarantee that applying that rule does not break any integrity constraint (e.g. meta-model constraints). When combined with model finders, this method facilitates the validation, verification, testing and diagnosis of transformations, and we show several applications for both inplace and exogenous transformations. en_US
dc.description.sponsorship Work partially funded by the Spanish Ministry of Economy and Competitiveness (projects TIN2008-00444, TIN2011-24139 and TIN2014-52129-R), the Community of Madrid with project SICOMORO (S2013/ICE-3006), the EU Commission with project MONDO (FP7-ICT-2013-10, #611125) and a research grant from UOC-IN3 (Internet Interdisciplinary Institute). We would like to thank Hamza Ed-Douibi for his work on the tool implementation part, and the reviewers for their useful comments. en_US
dc.format.extent 57 pag. es_ES
dc.format.mimetype application/pdf en
dc.language.iso eng en
dc.publisher Elsevier Inc. en_US
dc.relation.ispartof Journal of Systems and Software en_US
dc.rights © 2016 Elsevier B.V. All rights reserved en_US
dc.subject.other Model Transformation en_US
dc.subject.other Backwards reasoning en_US
dc.subject.other OCL en_US
dc.subject.other Weakest Pre-condition en_US
dc.subject.other Graph Transformation en_US
dc.subject.other Validation en_US
dc.subject.other Verification en_US
dc.title Backwards reasoning for model transformations: Method and applications en_US
dc.type article en_US
dc.subject.eciencia Informática es_ES 2018-06-01
dc.identifier.doi 10.1016/j.jss.2015.08.017
dc.identifier.publicationfirstpage 113
dc.identifier.publicationlastpage 132
dc.identifier.publicationvolume 116
dc.relation.projectID Gobierno de España. TIN2008-00444 es_ES
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 Modelado e Ingeniería del Software (ING EPS-013) es_ES Reconocimiento – NoComercial – SinObraDerivada es_ES
dc.rights.accessRights openAccess en
dc.authorUAM Lara Jaramillo, Juan De (259157)

Files in this item


This item appears in the following Collection(s)

Show simple item record