Implementation of a Modelica compiler using JastAdd attribute grammars

Johan Åkesson, Torbjörn Ekman, Görel Hedin

Research output: Contribution to journalArticlepeer-review

Abstract

We have implemented a compiler for key parts of Modelica, an object-oriented language supporting equation-based modeling and simulation of complex physical systems. The compiler is extensible, to support experiments with emerging tools for physical models. To achieve extensibility, the implementation is done declaratively in JastAdd, a metacompilation system supporting modern attribute grammar mechanisms such as reference attributes and nonterminal attributes. This paper reports on experiences from this implementation. For name and type analyses, we illustrate how declarative design strategies, originally developed for a Java compiler, could be reused to support Modelica's advanced features of multiple inheritance and structural subtyping. Furthermore, we present new general design strategies for declarative generation of target ASTs from source ASTs. We illustrate how these strategies are used to resolve a generics-like feature of Modelica called modifications, and to support flattening, a fundamental part of Modelica compilation. To validate that the approach is practical, we have compared the execution speed of our compiler to two existing Modelica compilers.
Original languageEnglish
Pages (from-to)21-38
JournalScience of Computer Programming
Volume75
Issue number1-2
DOIs
Publication statusPublished - 2010

Subject classification (UKÄ)

  • Computer Science
  • Control Engineering

Fingerprint

Dive into the research topics of 'Implementation of a Modelica compiler using JastAdd attribute grammars'. Together they form a unique fingerprint.

Cite this