Mañana, JUEVES, 24 DE ABRIL, el sistema se apagará debido a tareas habituales de mantenimiento a partir de las 9 de la mañana. Lamentamos las molestias.
An algebraic semantics for QVT-relations check-only transformations
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
IOS PressDate
2012-03-05Citation
10.3233/FI-2011-618
Fundamenta Informaticae 114.1 (2012): 73-101
ISSN
0169-2968 (print); 1875-8681 (online)DOI
10.3233/FI-2011-618Funded by
This work has been supported by the Spanish Ministry of Science and Innovation with projects METEORIC (TIN2008-02081) and Go Lite (TIN2011-24139), and by the R&D program of the Community of Madrid with project “e-Madrid” (S2009/TIC-1650).Project
Comunidad de Madrid. S2009/TIC-1650/E-MADRIDEditor's Version
http://dx.doi.org/10.3233/FI-2011-618Subjects
Category Theory; Model Transformation; Model-Driven Engineering; QVT-Relations; InformáticaNote
Fundamenta Informaticae, 114 1, Juan de Lara, Esther Guerra, An algebraic semantics for QVT-relations check-only transformations, 73-101, Copyright 2012, with permission from IOS PressRights
Copyright ©2012 IOS Press All rights reservedAbstract
QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional transformations in a declarative, relational style. Unfortunately, the standard only provides a semiformal description of its semantics, which hinders analysis and has given rise to ambiguities in existing tool implementations. In order to improve this situation, we propose a formal, algebraic semantics for QVT-Relations check-only transformations, defining a notion of satisfaction of QVT-Relations specifications by models.
Files in this item
Google Scholar:Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.