Forschungsthemen
[MA] An Embedded Domain-Specific Language for Hybrid Petrinets in Modelica.jl
The specification of systems with variable structure (variable-structure systems, VSS) is a research subfield of the field of equation-based modeling.
Languages such as Modelica, though they support reuse by inheritance of equations, have problems in changing their equation systems, because for a valid specification, all equations have to be present to be analyzed and solved. Therefore, changing the set of equations leads to the problem of hot recompilation of the new equation system, and organize the transitions to the new simulation, as well as the state transfer.
On the other hand, in context-oriented languages, such as CROM or SCROLL, context changes trigger the change of underlying structures for the sake of variability. However, since they use runtime polymorphism for the dynamic changes, this does not really appropriate for Modelica, since Modelica does not support runtime objects.
Some extensions of Modelica, such as Mosilab
This work should investigate the feasibility of a context-oriented language extension of Modelica, based on concepts of CROM and SCROLL and static mixins and mixin layers. Concepts should be related to static mixins and mixin layers, for example, similar to teams in ObjectTeams. However, the variability must be resolved by a hybrid petri net over all variants of all contexts. Therefore, the DSL should be compiled to a hybrid petri net of Modelica equation systems which differ by mixin layers.
To this end, an extensive literature review should be provided by the thesis author regarding language extensions of Modelica for VSS.
A proof-of-concept implementation of a compiler,
Finally, evaluation criteria need to be defined by the thesis author and evaluated.
Betreuer: Zizhe Wang