Componentization of Model Consistency Rules
| Typ | Masterarbeit | |
|---|---|---|
| Aushang | 2025-07 MA Consistency Components.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Lars König (E-Mail: lars.koenig@kit.edu) |
Motivation
In model-driven development, developers use various different models to develop systems. For developing cyber-physical systems, this could be construction plans, wiring diagrams, as well as source code. To keep the different models consistent, explicit consistency preservation rules are used, describing how changes to one model affect another model. The consistency preservation rules between two models are, however, dependent on the context, i.e., the available models and edit operations on them.
This thesis will be in the context of the collaborative research center Convide on Consistency in the View-Based Development of Cyber-Physical Systems.
Task
To improve maintainability and reusability, we want to research the componentization of consistency preservation rules. The resulting consistency management components keep the included models consistent and expose interfaces, or views, which define the available edit operations. The views can be used by developers, but also to connect multiple components to achieve consistency across components.
In this thesis, you will:
- Define a framework for consistency management components
- Create an example case using the transformation languages NeoJoin and eMoflon
- Analyze maintainability and reusability
Requirements
- Basic knowledge of software engineering tools (git, Java, Maven)
- Interest in advanced software engineering methods
- Experience with model-driven engineering and SQL helpful, but not necessary
Additional Information
Supervision for this thesis can be in German or English.