STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Tue 9 Jul 2024 14:00 - 14:30 at Waaier 2 - ECMFA Session 5 Chair(s): Harald König

The engineering of hierarchically decomposed component-based systems emphasizes separation of concerns to reduce development complexity through work distribution and component reuse. Variability further promotes reuse, as system variants may be used in different markets or contexts. However, variability must be adequately managed as it introduces another layer of complexity to system development. Consequently, modeling of hierarchical component-based should support the modeling and composition of variable components while simultaneously facilitating their formal analysis. To address this, we formally define variable component types, propose a modeling language for specifying the variability of hierarchically composed systems, and present a method to check the component variants’ well-formedness. We extend the semantically grounded architecture description language MontiArc to realize the modeling of variable component-based systems supporting the well-formedness of variable component types and late binding of variability. The resulting realization of variable component types enables the specification of reusable and flexible components while making customization options explicit in the component interface and maintaining the black-box view of components. This can ultimately reduce complexity in developing variable components and, thus, facilitate the engineering of component-based systems.

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
ECMFA Session 5ECMFA at Waaier 2
Chair(s): Harald König FHDW University of Applied Sciences
13:30
30m
Research paper
A Method for Template-based Architecture Modeling and its Application to Digital Twins
ECMFA
A: Daniel Lehner Johannes Kepler University Linz, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Stefan Klikovits Johannes Kepler University, Linz, A: Andreas Wortmann University of Stuttgart, A: Manuel Wimmer JKU Linz
14:00
30m
Research paper
Modeling Variability of Hierarchical Component-Based Systems
ECMFA
A: Nico Jansen Software Engineering, RWTH Aachen University, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Bernhard Rumpe RWTH Aachen University, A: David Schmalzing RWTH Aachen University, A: Andreas Wortmann University of Stuttgart
14:30
30m
Talk
Discussion
ECMFA