Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations

Sandra Greiner, Bernhard Westfechtel

2019

Abstract

Multi-variant model transformations (MVMTs) aim at automatically propagating variability annotations present in software product lines (SPL) when executing state-of-the-art model transformations. Variability annotations are boolean expressions used in annotative SPL engineering (SPLE) for expressing in which products model elements are visible. Developing the SPL in a model-driven way requires various model representations, e.g., database schemata for data storage or Java models for the code generation. Although model transformations are the key essence of model-driven software engineering (MDSE) and can be used to generate these representations from already existing (model) artifacts, they suffer from not being able to handle the variability annotations. Thus, the developer is forced to annotate target models manually contradicting the goal of both disciplines, MDSE and SPLE, to increase productivity. Recently, approaches have been proposed to solve the problem using, e.g., traces, to propagate annotations without changing the transformation itself. For evaluating the outcome all of the approaches require the transformation to commute w.r.t. the derived products. Although the criterion is the same, a common framework for testing it does not exist. Therefore, we contribute a generic framework allowing to evaluate whether the target model of arbitrary (reuse-based) MVMTs was correctly annotated according to the shared commutativity criterion.

Paper Citation

in Harvard Style

Greiner S. and Westfechtel B. (2019). Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 157-168. DOI: 10.5220/0007585701570168

in Bibtex Style

@conference{modelsward19,
author={Sandra Greiner and Bernhard Westfechtel},
title={Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={157-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007585701570168},
isbn={978-989-758-358-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations
SN - 978-989-758-358-2
AU - Greiner S.
AU - Westfechtel B.
PY - 2019
SP - 157
EP - 168
DO - 10.5220/0007585701570168