Authors:
Matthias Bank
;
Sebastian Kaske
;
Thomas Buchmann
and
Bernhard Westfechtel
Affiliation:
Chair of Applied Computer Science I, University of Bayreuth, Universitätsstrasse 30, 95440 Bayreuth, Germany
Keyword(s):
Model-Driven Development, Model Transformations, Bidirectional Transformations, Incremental Transformations, BX, Benchmark, Evaluation, QVT-R, BXtend.
Abstract:
Model transformation are the core of model-driven software engineering. Typically an initial model is refined throughout the development process using model transformations to derive subsequent models until eventually code is generated. In round-trip engineering processes, these model transformations are performed not only in forward, but also in backward direction. To this end, bidirectional transformation languages provide a single transformation definition for both directions. This paper evaluates the transformation languages QVT Relations (QVT-R) which allows to specify incremental bidirectional transformations declaratively at a high level of abstraction and BXtend - a framework for procedural specification of both forward and backward transformation in a single rule set. Both languages have been used to implement the AST2Dag transformation example. The benchmarx framework was used for a quantitative and qualitative evaluation of the obtained results.