Suche nach Personen

plus im Publikationsserver
plus bei Google Scholar

Bibliografische Daten exportieren
 

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 zum Zitieren der Version auf EPub Bayreuth: urn:nbn:de:bvb:703-epub-5096-5

Titelangaben

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

Volltext

[thumbnail of Westfechtel-Greiner2020_Article_ExtendingSingle-ToMulti-varian.pdf]
Format: PDF
Name: Westfechtel-Greiner2020_Article_ExtendingSingle-ToMulti-varian.pdf
Version: Veröffentlichte Version
Verfügbar mit der Lizenz Creative Commons BY 4.0: Namensnennung
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.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Themengebiete aus DDC: 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik
Institutionen der Universität: Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik I > Lehrstuhl Angewandte Informatik I - Univ.-Prof. Dr. Bernhard Westfechtel
Fakultäten
Fakultäten > Fakultät für Mathematik, Physik und Informatik
Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik
Fakultäten > Fakultät für Mathematik, Physik und Informatik > Institut für Informatik > Lehrstuhl Angewandte Informatik I
Sprache: Englisch
Titel an der UBT entstanden: Ja
URN: urn:nbn:de:bvb:703-epub-5096-5
Eingestellt am: 23 Sep 2020 08:46
Letzte Änderung: 23 Sep 2020 08:46
URI: https://epub.uni-bayreuth.de/id/eprint/5096

Downloads

Downloads pro Monat im letzten Jahr