A visual specification language for model-to-model transformations

Biblos-e Archivo/Manakin Repository

Show simple item record

dc.contributor.author Guerra, Esther
dc.contributor.author Lara, Juan de
dc.contributor.author Kolovos, Dimitrios S.
dc.contributor.author Paige, Richard F.
dc.contributor.other UAM. Departamento de Ingeniería Informática es_ES
dc.date.accessioned 2015-03-13T13:50:25Z
dc.date.available 2015-03-13T13:50:25Z
dc.date.issued 2010
dc.identifier.citation 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), IEEE, 2010. 119-126 en_US
dc.identifier.isbn 978-1-4244-8485-0
dc.identifier.issn 1943-6092
dc.identifier.uri http://hdl.handle.net/10486/664560
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. E. Guerra, J. de Lara, D. S. Kolovos, and R. F. Paige, "A Visual Specification Language for Model-to-Model Transformations", 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Leganes (Spain), 2010, pp- 119 - 126 en_US
dc.description.abstract Model Driven Engineering promotes models as the core assets of projects and hence model transformations become first-class citizens in this approach. Likewise, the development of large scale transformations necessitates a systematic engineering process and supporting modelling notations. However, although many languages have been proposed to implement transformations, few allow their specification at a higher level of abstraction. In this paper we present a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties. The language supports the two main approaches to model-to-model transformation -- trace-based and traceless -- with a unified formal semantics. Moreover, we provide a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards. en_US
dc.description.sponsorship Work funded by the Spanish Ministry of Science and Innovation through project TIN2008-02081 and mobility grants JC2009-00015 and PR2009-0019; and by the R&D programme of the Madrid Community, project S2009/TIC-1650. en_US
dc.format.extent 9 pág. es_ES
dc.format.mimetype application/pdf en
dc.language.iso eng en
dc.publisher Institute of Electrical and Electronics Engineers en_US
dc.relation.ispartof IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC en_US
dc.rights © 2010 IEEE en_US
dc.subject.other Model-driven engineering en_US
dc.subject.other Model-to-model transformation en_US
dc.subject.other Specification languages en_US
dc.subject.other Transformation testing en_US
dc.title A visual specification language for model-to-model transformations en_US
dc.type conferenceObject en
dc.type bookPart en
dc.subject.eciencia Informática es_ES
dc.relation.publisherversion http://dx.doi.org/10.1109/VLHCC.2010.25
dc.identifier.doi 10.1109/VLHCC.2010.25
dc.identifier.publicationfirstpage 119
dc.identifier.publicationlastpage 126
dc.relation.eventdate September 21-25, 2010 en_US
dc.relation.eventplace Leganes (Spain) en_US
dc.relation.eventtitle IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 en_US
dc.relation.projectID Comunidad de Madrid. S2009/TIC-1650/E-MADRID es_ES
dc.type.version info:eu-repo/semantics/acceptedVersion en
dc.contributor.group Herramientas Interactivas Avanzadas (ING EPS-003) 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