Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

DOI zum Zitieren der Version auf EPub Bayreuth: https://doi.org/10.15495/EPub_UBT_00005096
URN to cite this document: urn:nbn:de:bvb:703-epub-5096-5

Title data

Westfechtel, Bernhard ; Greiner, Sandra:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations.
In: Software and Systems Modeling. Vol. 19 (1 July 2020) Issue 4 . - pp. 853-888.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00791-9

[img]
Format: PDF
Name: Westfechtel-Greiner2020_Article_ExtendingSingle-ToMulti-varian.pdf
Version: Published Version
Available under License Creative Commons BY 4.0: Attribution
Download (3MB)

Abstract

Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model transformations, which automate the transition from high- to low-level models. Product line engineering denotes a systematic process that aims at developing different product variants from a set of reusable assets. When model-driven engineering is combined with product line engineering, engineers have to deal with multi-variant models. In annotative approaches to product line engineering, model elements are decorated with annotations, i.e., Boolean expressions that define the product variants in which model elements are to be included. In model-driven product line engineering, domain engineers require multi-variant transformations, which create multi-variant target models from multi-variant source models. We propose a reuse-based gray-box approach to realizing multi-variant model transformations. We assume that single-variant transformations already exist, which have been developed for model-driven engineering, without considering product lines. Furthermore, we assume that single-variant transformations create traces, which comprise the steps executed in order to derive target models from source models. Single-variant transformations are extended into multi-variant transformations by trace-based propagation: after executing a single-variant transformation, the resulting single-variant target model is enriched with annotations that are calculated with the help of the transformation’s trace. This approach may be applied to single-variant transformations written in different languages and requires only access to the trace, not to the respective transformation definition. We also provide a correctness criterion for trace-based propagation, and a proof that this criterion is satisfied under the prerequisites of a formal computational model.

Further data

Item Type: Article in a journal
DDC Subjects: 000 Computer Science, information, general works > 004 Computer science
Institutions of the University: Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science I > Chair Applied Computer Science I - Univ.-Prof. Dr. Bernhard Westfechtel
Faculties
Faculties > Faculty of Mathematics, Physics und Computer Science
Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science
Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science I
Language: English
Originates at UBT: Yes
URN: urn:nbn:de:bvb:703-epub-5096-5
Date Deposited: 23 Sep 2020 08:46
Last Modified: 23 Sep 2020 08:46
URI: https://epub.uni-bayreuth.de/id/eprint/5096

Downloads

Downloads per month over past year