Forschungsthemen
[DA] A Framework for Sound Composition of Compositions
Model-Driven Software Development (MDSD) is a relatively new paradigm that fosters software reuse through formal modelling, model transformation and automatic code generation. An MDSD process typically includes multiple stages on different abstraction levels where various transformation systems, generators and composition systems are involved to create a concrete software product.
However, for this process to be successful, every part of the process has to play nicely with its predecessors and successors. Thus, for the composition of the different systems, it is crucial that a system involved in this process consumes only valid data and produces data as expected.
In this work, a framework for composition of those systems should be developed which allows for defining, validating and reasoning above heterogeneous composition steps. The usage of this framework should be exemplified by a small case study. There are several interesting questions in this work, i.e.~whether those composition steps can be automatically ordered, to allow parallel execution of independent composition steps.
It is possible to do this work either in German or in English.
Betreuer: Florian Heidenreich