"This site requires JavaScript to work correctly"

Prof. Dr. Thomas Buchmann

Professor

ITC2+ 0.15

0991/3615-8335


Sprechzeiten

nach Vereinbarung


Sortierung:
Zeitschriftenartikel

  • Thomas Buchmann
  • M. Bank
  • B. Westfechtel

BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations

In: SN Computer Science vol. 4 pg. 50.

  • (2023)

DOI: 10.1007/s42979-022-01448-8

Model transformations are a major driving force behind model-driven software development (MDSD), when typically an initial model is refined throughout the development process over several steps until eventually code is generated. Strict forward engineering processes require unidirectional model transformations, where an initial requirements model is refined through various model transformation steps. Roundtrip engineering on the other hand calls for bidirectional and incremental model transformations instead, where changes may be propagated back and forth while retaining manual modifications to the models involved. In this paper, we present BXtendDSL, a framework for bidirectional incremental model transformations. BXtendDSL combines two languages: a light-weight declarative language for defining correspondences between model elements, and an imperative language that allows to implement behavior that cannot be specified in the declarative language. We demonstrate our approach by a case study. We also include an evaluation of this case study that demonstrates conciseness, expressiveness, and scalability of our hybrid approach.
  • Angewandte Informatik
  • DIGITAL
Zeitschriftenartikel

  • J. Schröpfer
  • Thomas Buchmann
  • B. Westfechtel

Projectional Editing of Software Product Lines Using Multi-variant Model Editors

In: SN Computer Science vol. 4 pg. 35.

  • (2023)

DOI: 10.1007/s42979-022-01456-8

Model-driven software engineering (MDSE) as well as software product line engineering (SPLE) achieve productivity gains by raising the level of abstraction and fostering organized reuse. Consequently, the integrating discipline model-driven software product line engineering (MDSPLE) aims at combining the best of both worlds by creating multi-variant models which are (automatically) configured into single-variant models which are in turn adapted further (if required). Inherently complex multi-variant models call for urgently needed tools providing support for editing multi-variant models. In this paper, we present a framework for projectional multi-variant editors which make complexity manageable using a user-friendly representation. At all times, a domain engineer is aware of editing a multi-variant model which is necessary to assess the impact of changes on all model variants. Supporting a clear separation of product space (domain model) and variant space (variability annotations), our projectional multi-variant editors provide a novel approach to representing variability information which is displayed non-intrusively. Furthermore, the domain engineer may employ a projectional multi-variant editor to adapt the representation of the multi-variant domain model in a flexible way, according to the current focus of interest.
  • Angewandte Informatik
  • DIGITAL
Beitrag in Sammelwerk/Tagungsband

  • Thomas Buchmann
  • B. Westfechtel

Engineering Bidirectional Model Transformations (Short Paper)

In: STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)). null (CEUR Workshop Proceedings) vol. 3250

  • (2022)

Bidirectional transformations have been studied in a wide range of application domains. In model-driven software engineering, they are required for roundtrip engineering processes. We present a pragmatic approach to engineering bidirectional model transformations that assists transformation developers by domain-specific languages, frameworks, and code generators and provides for conciseness, expressiveness, and scalability. We also discuss different variants of transformation development processes as well as their advantages and drawbacks.
  • Angewandte Informatik
  • DIGITAL
Zeitschriftenartikel

  • Thomas Buchmann
  • M. Bank
  • B. Westfechtel

BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language

In: Journal of Systems and Software vol. 189 pg. 111288.

  • (2022)

DOI: 10.1016/j.jss.2022.111288

Model-driven software development (MDSD) heavily relies on model transformations. While in a strict forward engineering process unidirectional transformations are used, bidirectional transformations are crucial as soon as roundtrip engineering comes into play. In this paper, we present a hybrid language specifically designed to describe bidirectional model transformations. From a declarative transformation specification code is generated which uses our framework for bidirectional and incremental model transformations. A sophisticated code generation mechanism allows for hooking into the generated transformation code at the imperative level to supply behavior that cannot be expressed declaratively. A thorough evaluation demonstrates conciseness, expressiveness, and scalability of our approach.
  • Angewandte Informatik
  • DIGITAL

Labore

Modell-getriebene Softwareentwicklung


Kernkompetenzen

  • Software Engineering
  • Modell-getriebene Softwareentwicklung
  • Modelltransformationen
  • Software Produktlinien
  • Domänenspezifische Sprachen