UAM | UAM_Biblioteca | Unified search engine | Scientific Production Portal | UAM Research Data Repository
Biblos-e Archivo
    • español
    • English
  • English 
    • español
    • English
  • Log in
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search Biblos-e Archivo

Advanced Search

Browse

All of Biblos-e ArchivoCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsFacultiesThis CollectionBy Issue DateAuthorsTitlesSubjectsFaculties

My Account

Log inRegister

Statistics

View Usage Statistics

Help

Information about Biblos-e ArchivoI want to submit my workFrequently Asked Questions

UAM_Biblioteca

View Item 
  •   Biblos-e Archivo
  • 1 - Producción científica en acceso abierto de la UAM
  • Producción científica en acceso abierto de la UAM
  • View Item
  •   Biblos-e Archivo
  • 1 - Producción científica en acceso abierto de la UAM
  • Producción científica en acceso abierto de la UAM
  • View Item

A visual specification language for model-to-model transformations

Author
Guerra Sánchez, Estheruntranslated; Lara Jaramillo, Juan deuntranslated; Kolovos, Dimitrios S.; Paige, Richard F.
Entity
UAM. Departamento de Ingeniería Informática
Publisher
Institute of Electrical and Electronics Engineers
Date
2010
Citation
10.1109/VLHCC.2010.25
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
URI
http://hdl.handle.net/10486/664560
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.
Show full item record

Files in this item

Thumbnail
Name
visual_guerra_VLHCC_2010_ps.pdf
Size
534.5Kb
Format
PDF

Refworks Export

Google™ Scholar:Guerra Sánchez, Esther - Lara Jaramillo, Juan de - Kolovos, Dimitrios S. - Paige, Richard F.

This item appears in the following Collection(s)

  • Producción científica en acceso abierto de la UAM [17777]

Related items

Showing items related by title, author, creator and subject.

  • transML: A family of languages to model model transformations 

    Guerra Sánchez, EstherAutoridad UAM; Lara Jaramillo, Juan deAutoridad UAM; Kolovos, Dimitrios S.; Paige, Richard F.; Dos Santos, Osmar Marchi
    2010
  • Engineering model transformations with transML 

    Guerra Sánchez, EstherAutoridad UAM; Kolovos, Dimitrios S.; Paige, Richard F.; Dos Santos, Osmar Marchi; Lara Jaramillo, Juan deAutoridad UAM
    2013-07-01
  • MONDO: Scalable Modelling and Model Management on the Cloud 

    Kolovos, Dimitrios S.; García-Domínguez, Antonio; Paige, Richard F.; Guerra Sánchez, EstherAutoridad UAM; Sánchez Cuadrado, Jesús; Lara Jaramillo, Juan deAutoridad UAM; Ráth, István; Varró, Dániel; Sunyé, Gerson; Tisi, Massimo
    2016
All the documents from Biblos-e Archivo are protected by copyrights. Some rights reserved.
Universidad Autónoma de Madrid. Biblioteca
Contact Us | Send Feedback
We are onFacebookCanal BiblosYouTubeTwitterPinterestWhatsappInstagram

Declaración de accesibilidad

 

 

All the documents from Biblos-e Archivo are protected by copyrights. Some rights reserved.
Universidad Autónoma de Madrid. Biblioteca
Contact Us | Send Feedback
We are onFacebookCanal BiblosYouTubeTwitterPinterestWhatsappInstagram

Declaración de accesibilidad