Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation

This is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflec...

Descripción completa

Detalles Bibliográficos
Autores: Lara Jaramillo, Juan de, Guerra Sánchez, Esther
Tipo de recurso: artículo
Fecha de publicación:2014
País:España
Institución:Universidad Autónoma de Madrid
Repositorio:Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:inglés
OAI Identifier:oai:repositorio.uam.es:10486/664102
Acceso en línea:http://hdl.handle.net/10486/664102
https://dx.doi.org/10.1016/j.jlamp.2014.08.005
Access Level:acceso abierto
Palabra clave:Model-Driven Engineering
Graph Transformation
Meta-modelling
Genericity
Reusability
Informática
id ES_b345ac6ba62299ddc8d1a0c8fcb3baf4
oai_identifier_str oai:repositorio.uam.es:10486/664102
network_acronym_str ES
network_name_str España
repository_id_str
spelling Towards the flexible reuse of model transformations: A formal approach based on Graph TransformationLara Jaramillo, Juan deGuerra Sánchez, EstherModel-Driven EngineeringGraph TransformationMeta-modellingGenericityReusabilityInformáticaThis is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. 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 Logical and Algebraic Methods in Programming 83.5-6 (2014) , DOI:10.1016/j.jlamp.2014.08.005This special issue of the Journal of Logic and Algebraic Methods in Programming (JLAMP) includes full revised versions of selected papers that were presented at the 24th Nordic Workshop on Programming Theory (NWPT 2012). The workshop took place in Bergen, Norway, during 31 October–2 November 2012 and was organized by the Department of Informatics, University of Bergen, and the Bergen University College.Model transformations are the heart and soul of Model Driven Engineering (MDE). However, in order to increase the adoption of MDE by industry, techniques for developing model transformations in the large and raising the quality and productivity in their construction, like reusability, are still needed. In previous works, we developed a reutilization approach for graph transformations based on the definition of concepts, which gather the structural requirements needed by meta-models to qualify for the transformations. Reusable transformations are typed by concepts, becoming transformation templates. Transformation templates are instantiated by binding the concept to a concrete meta-model, inducing a retyping of the transformation for the given meta-model. This paper extends the approach allowing heterogeneities between the concept and the metamodel, thus increasing the reuse opportunities of transformation templates. Heterogeneities are resolved by using algebraic adapters which induce both a retyping and an adaptation of the transformation. As an alternative, the adapters can also be employed to induce an adaptation of the meta-model, and in this work we show the conditions for equivalence of both approaches to transformation reuse.We thank the referees for their detailed comments, which helped to greatly improve the paper. This work has been supported by the Spanish Ministry of Economy and Competitivity with project Go-Lite (TIN2011-24139).Elsevier BVDepartamento de Ingeniería InformáticaEscuela Politécnica SuperiorModelado e Ingeniería del Software (ING EPS-013)20142014-09-01research articlehttp://purl.org/coar/resource_type/c_2df8fbb1AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10486/664102https://dx.doi.org/10.1016/j.jlamp.2014.08.005reponame:Biblos-e Archivo. Repositorio Institucional de la UAMinstname:Universidad Autónoma de MadridInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:repositorio.uam.es:10486/6641022026-06-23T12:46:27Z
dc.title.none.fl_str_mv Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
title Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
spellingShingle Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
Lara Jaramillo, Juan de
Model-Driven Engineering
Graph Transformation
Meta-modelling
Genericity
Reusability
Informática
title_short Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
title_full Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
title_fullStr Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
title_full_unstemmed Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
title_sort Towards the flexible reuse of model transformations: A formal approach based on Graph Transformation
dc.creator.none.fl_str_mv Lara Jaramillo, Juan de
Guerra Sánchez, Esther
author Lara Jaramillo, Juan de
author_facet Lara Jaramillo, Juan de
Guerra Sánchez, Esther
author_role author
author2 Guerra Sánchez, Esther
author2_role author
dc.contributor.none.fl_str_mv Departamento de Ingeniería Informática
Escuela Politécnica Superior
Modelado e Ingeniería del Software (ING EPS-013)
dc.subject.none.fl_str_mv Model-Driven Engineering
Graph Transformation
Meta-modelling
Genericity
Reusability
Informática
topic Model-Driven Engineering
Graph Transformation
Meta-modelling
Genericity
Reusability
Informática
description This is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. 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 Logical and Algebraic Methods in Programming 83.5-6 (2014) , DOI:10.1016/j.jlamp.2014.08.005
publishDate 2014
dc.date.none.fl_str_mv 2014
2014-09-01
dc.type.none.fl_str_mv research article
http://purl.org/coar/resource_type/c_2df8fbb1
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv http://hdl.handle.net/10486/664102
https://dx.doi.org/10.1016/j.jlamp.2014.08.005
url http://hdl.handle.net/10486/664102
https://dx.doi.org/10.1016/j.jlamp.2014.08.005
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier BV
publisher.none.fl_str_mv Elsevier BV
dc.source.none.fl_str_mv reponame:Biblos-e Archivo. Repositorio Institucional de la UAM
instname:Universidad Autónoma de Madrid
instname_str Universidad Autónoma de Madrid
reponame_str Biblos-e Archivo. Repositorio Institucional de la UAM
collection Biblos-e Archivo. Repositorio Institucional de la UAM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417163328061440
score 15,300719