Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules
|
Typ | Bachelorarbeit oder Masterarbeit |
|---|---|---|
| Aushang | VARCPRSAushang.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Fabian Eger (E-Mail: fabian.eger@kit.edu, Telefon: +49-721-608-46539) |
Motivation
Vitruvius[1] is a framework for view-based modeling of cyber-physical systems. The framework is grounded by the Virtual Singel Underlying Model (V-SUM) approach, which represents a set of heterogeneous models whose consistency is maintained through specific Consistency Preservation Rules (CPRs). The state-of-the-art Vitruvius implementation does not consider Software Product line development. This thesis aims to extend Vitruvius with variability-aware CPRs to ensure consistency across different product variants and versions. To achieve this, the existing CPRs created at the V-SUM metamodel level need to be extended to allow for CPRs at the instance level, in order to allow CPRs between artefacts of different version and variants.
Tasks
- Familiarization with Vitruvius and the V-SUM approach
- Literature review on Consistency Specification between different product variants and versions
- Develop a concept for overwriting V-SUM metamodel CPRs with instance-level CPRs
- Implementation of a prototype integrated into Vitruvius
Benefits
- Thesis offered in English or German
- Work with state-of-the-art and innovative technologies
- Close connection to current research project Convide[2]
- Very good working environment and intensive supervision