Dirk Neumann

Context: Software-intensive Systems do not only consist of software. Multiple models have to be kept consistent (Software, Hardware, …). The Vitruvius Approach allows for the definition of a Virtual Single Underlying Model (V-SUM). The V-SUM consists of the different metamodels (see Model Driven Software Development) and Consistency Preservation Rules (CPRs) between them. This allows to preserve consistency between models during development. In variable systems (see Software Product Line Engineering), we do not develop with models but rather with deltas (see Delta-Oriented Development) which are then used to derive/ construct consistent product variants.

Goal: Instead of developing a single product, we want to develop a whole product line using V-SUM. To do so, we want to lift the V-SUM to a variable V-SUM (Var-V-SUM) and instead of keeping models consistent with each other we want to keep deltas consistent.

Task: Develop a concept to generate higher-order CPRs from the existing CPRs. Implement and evaluate the concept using an existing case study.