Incremental Bidirectional Transformations: Evaluating Declarative and Imperative Approaches using the AST2Dag Benchmark

Matthias Bank, Sebastian Kaske, Thomas Buchmann, Bernhard Westfechtel

2020

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.

Paper Citation

in Harvard Style

Bank M., Kaske S., Buchmann T. and Westfechtel B. (2020). Incremental Bidirectional Transformations: Evaluating Declarative and Imperative Approaches using the AST2Dag Benchmark.In Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-421-3, pages 249-260. DOI: 10.5220/0009206602490260

in Bibtex Style

@conference{enase20,
author={Matthias Bank and Sebastian Kaske and Thomas Buchmann and Bernhard Westfechtel},
title={Incremental Bidirectional Transformations: Evaluating Declarative and Imperative Approaches using the AST2Dag Benchmark},
booktitle={Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2020},
pages={249-260},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009206602490260},
isbn={978-989-758-421-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Incremental Bidirectional Transformations: Evaluating Declarative and Imperative Approaches using the AST2Dag Benchmark
SN - 978-989-758-421-3
AU - Bank M.
AU - Kaske S.
AU - Buchmann T.
AU - Westfechtel B.
PY - 2020
SP - 249
EP - 260
DO - 10.5220/0009206602490260