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. Depending on the context, a different understanding of consistency or a different domain metamodel may influence the automated consistency preservation.

Goal: Extend the Reaction Language for CPRs by presence conditions/feature annotations such that we can model and analyse consistency for specific model variants (feature configurations), evaluation would be to have feature annotated model instances and feature annotated Reactions/CPRs and to check if consistency is correctly preserved for all possible model variants that can be configured according to the feature model.

Tasks: Develop Concept of Feature-Annotated Reactions (Presence Conditions, for a full reaction of for parts of a reaction), likely this also needs feature annotated (150%) meta-models. Implement reactions with presence conditions, evaluate using case study.