A Static Aspect Language for Modelica Models
Malte Lochau, Henning Günther · 2014
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers of-ten want to ensure the compliance to further requirements early in the development cycle. Mostly emerging as domain specific conventions that often crosscut model structures, according checking mechanisms are required that are de-tached from the core language. In this paper, a declarative language is presented for specifying and evaluating quan-tified rules for static model properties. Based on aspect-oriented programming, the language allows for concise and expressive model inspections and a variable and typ-ing concept facilitate subsequent model manipulations. A nascent implementation framework is proposed, based on the logic meta programming paradigm, thus leading to ef-ficient and scalable aspect processing applicable as model query engine for an AOP Modelica Compiler.