Conference article

Hierarchical Semantics of Modelica

Christoph Höger
Institute of Software Engineering and Theoretical Computer Science, Technische Universität Berlin, Germany

Download article

Published in: Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017

Linköping Electronic Conference Proceedings 132:77, p. 703-712

Show more +

Published: 2017-07-04

ISBN: 978-91-7685-575-1

ISSN: 1650-3686 (print), 1650-3740 (online)


We present a definition of syntax and semantics for Modelica’s hierarchical lookup. By using a context-independent encoding of the static semantics of free variables, it becomes possible to define the evaluation of references within a calculus based on substitution. Hence, all steps of evaluation have a concrete syntactic representation. We augment the calculus with a terminating evaluation and a semantics-preserving translation to a basic \(\lambda\)-calculus.


Semantics, Classes, Compilation


Aldrich, Jonathan and Kevin Donnelly (2004). “Selective open recursion: Modular reasoning about components and inheritance”. In: SAVCBS 2004 Specification and Verification of Component-Based Systems, p. 26.

Höger, Christoph (2016). “Modeling with monads: extensible modeling semantics as syntactic sugar”. In: Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. ACM, pp. 15–24.

Kågedal, David (1998). “A Natural Semantics specification for the equation-based modeling language Modelica”. In: LiTH-IDA-Ex-98/48, Linköping University, Sweden. Kahn, Gilles (1987). “Natural semantics”. In: Annual Symposium on Theoretical Aspects of Computer Science. Springer, pp. 22–39.

Pepper, Peter and Petra Hofstedt (2006). Funktionale Programmierung – Sprachdesign und Programmiertechnik. Springer.

Pierce, Benjamin C., ed. (2005). Advanced Topis in Types and Programming Languages. MIT Press.

Satabin, Lucas et al. (2015). “Towards a formalized Modelica subset”. In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015. 118. Linköping University Electronic Press, pp. 637–646.

Citations in Crossref