A Compositional Semantics f or Modelica-style Variable-structure Modeling
Peter Pepper, Höger L. Scholz · 2011
Modelica traditionally has a non-compositional semantic definition, based on so-called “flattening”. But in the realm of programming languages and theoretical computer science it is by now an accepted principle that semantics should be given in a compositional way. Such a semantics is given in this paper for Modelica-style languages. Moreover, the approach is also used to consider more general modeling concepts, namely so-called variable-structure systems. As an outlook we discuss the correspondence between such an idealized mathematical semantics and a more pragmatic numeric solver-oriented semantics.