Feature-Annotated Reactions Language
| Typ | Masterarbeit | |
|---|---|---|
| Aushang | FeatureAnnotatedCPRs.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Dirk Neumann (E-Mail: dirk.neumann@kit.edu), Erik Burger (E-Mail: burger@kit.edu, Telefon: +49-721-608-45765) |
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, either 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.