Click on a search word OR use the drop-down choices to search for a paper.
2020
Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy
A query-retyping approach to model transformation co-evolution Journal Article
In: Software and Systems Modeling, vol. 29, 2020.
Abstract | Links | BibTeX | Tags: Co-evolution, Graph transformations, MDE, Migration
@article{Rutle2020,
title = {A query-retyping approach to model transformation co-evolution},
author = {Adrian Rutle and Ludovico Iovino and Harald König and Zinovy Diskin },
doi = {https://doi.org/10.1007/s10270-020-00805-6},
year = {2020},
date = {2020-06-09},
journal = {Software and Systems Modeling},
volume = {29},
abstract = {In rule-based approaches, a model transformation definition tells how an instance of a source metamodel should be transformed to an instance of a target metamodel. As these metamodels undergo changes, model transformations defined over these metamodels may get out of sync. Restoring conformance between model transformations and the metamodels is a complex and error-prone task. In this paper, we propose a formal approach to automatically co-evolve model transformations according to the evolution of the metamodels. The approach is based on encoding the model transformation definition as a query-retyping combination and the evolution of the metamodels as applications of graph transformation rules. These rules are used to obtain an evolved query over the evolved metamodel together with a new retyping from the target metamodel. We will identify the criteria which need to be fulfilled in order to make this automatic co-evolution possible. We provide a tool support for this procedure, in which, from a traceability model that represents the original model transformation definition, we derive a co-evolved traceability model that represents the evolved transformation definition. Moreover, we use a case study to evaluate the approach with a set of commonly performed metamodel evolutions.},
keywords = {Co-evolution, Graph transformations, MDE, Migration},
pubstate = {published},
tppubtype = {article}
}
In rule-based approaches, a model transformation definition tells how an instance of a source metamodel should be transformed to an instance of a target metamodel. As these metamodels undergo changes, model transformations defined over these metamodels may get out of sync. Restoring conformance between model transformations and the metamodels is a complex and error-prone task. In this paper, we propose a formal approach to automatically co-evolve model transformations according to the evolution of the metamodels. The approach is based on encoding the model transformation definition as a query-retyping combination and the evolution of the metamodels as applications of graph transformation rules. These rules are used to obtain an evolved query over the evolved metamodel together with a new retyping from the target metamodel. We will identify the criteria which need to be fulfilled in order to make this automatic co-evolution possible. We provide a tool support for this procedure, in which, from a traceability model that represents the original model transformation definition, we derive a co-evolved traceability model that represents the evolved transformation definition. Moreover, we use a case study to evaluate the approach with a set of commonly performed metamodel evolutions.