A Temporal Change Propagation Mechanism in Model Driven Development
|
Typ | Bachelorarbeit oder Masterarbeit |
|---|---|---|
| Aushang | TemporalChangePropagation.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Raziyeh Dehghani (E-Mail: raziyeh.dehghani@kit.edu), Lars König (E-Mail: lars.koenig@kit.edu) |
Motivation
In model-driven engineering, especially in complex domains like Cyber-Physical Systems (CPS), changes to system models occur frequently and often involve multiple interrelated views. Traditional change propagation approaches typically apply updates immediately, without accounting for the need to review, coordinate, or delay these changes. This can lead to inconsistencies, loss of intermediate work, or premature synchronization. To address these challenges, there is a need for temporal control mechanisms that allow changes to be held, scheduled, or validated before propagation. This thesis is motivated by the need to formalize and implement such strategies within the Vitruvius framework, enabling more flexible, robust, and user-aware model synchronization workflows.
Tasks
- Identify and classify existing strategies for temporal change management
- Design a model that captures the key aspects of temporal change resolution
- Integrate your research into the Vitruvius model consistency framework
Benefits
- Working with cutting-edge and innovative technologies
- Close connection to ongoing/current research project
- Excellent working environment and intensive support