Integration of Triple Graph Grammars in Vitruvius
|
Typ | Bachelorarbeit oder Masterarbeit |
|---|---|---|
| Aushang | 2024-04 BA-MA Integration of Triple Graph Grammars in Vitruvius.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Lars König (E-Mail: lars.koenig@kit.edu) |
Motivation
During the software development process, many different artifacts, such as requirements, software architecture, behavioral specifications and source code, are created. To efficiently build the described system, all of these artifacts should provide a consistent description of the system. Vitruvius is a framework for the semi-automatically consistency preservation of model-based development artifacts. In Vitruvius, the rules describing how different artifacts should be kept consistent are written in specialized consistency preservation languages.
Task
In contrast to specialized consistency preservation languages, there are also formalized general-purpose model transformation languages, such as Triple Graph Grammars (TGGs), which make it easier to specify complex relations. While both kinds of languages can react to changes in the involved models, they use different representations for the changes. The goal of this thesis is therefore to investigate how atomic model changes (Vitruvius) can be converted to graph patterns (TGGs) and vice versa.
In order to achieve this, you will:
- Research existing strategies for complex change detection
- Implement a prototype for the conversion between model changes and graph patterns
- Perform an evaluation of your prototype with a model-based case study
In addition to our framework, Vitruvius, your prototype will build on Java and EMF.
Benefits
- Work with innovative cutting-edge technologies
- Close connection to ongoing research projects
- Excellent working environment and intensive support (German or English)