A visual specification language for model-to-model transformations
Biblos-e Archivo/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
A visual specification language for model-to-model transformations
Title:
A visual specification language for model-to-model transformations
Author:
Guerra, Esther; Lara, Juan de; Kolovos, Dimitrios S.; Paige, Richard F.
Entity:
UAM. Departamento de Ingeniería Informática
UAM Author:
Lara Jaramillo, Juan De
Publisher:
Institute of Electrical and Electronics Engineers
Date:
2010
Citation:
2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), IEEE, 2010. 119-126
ISSN:
1943-6092
ISBN:
978-1-4244-8485-0
DOI:
10.1109/VLHCC.2010.25
Funded by:
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.
Project:
Comunidad de Madrid. S2009/TIC-1650/E-MADRID
Editor's Version:
http://dx.doi.org/10.1109/VLHCC.2010.25
Subjects:
Model-driven engineering; Model-to-model transformation; Specification languages; Transformation testing; Informática
Note:
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
Rights:
© 2010 IEEE
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.
Files in this item
Save this on Delicious
G
o
o
g
l
e
™ Scholar:
Guerra, Esther
-
Lara, Juan de
-
Kolovos, Dimitrios S.
-
Paige, Richard F.