Konferensartikel

With the introduction of the new Modelica major version 3; innovations mainly consist of further model restrictions for increased model quality. In addition; developers often 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 detached from the core language. In this paper; a declarative language is presented for specifying and evaluating quantified rules for static model properties. Based on aspectoriented programming; the language allows for concise and expressive model inspections and a variable and typing concept facilitate subsequent model manipulations. A nascent implementation framework is proposed; based on the logic meta programming paradigm; thus leading to efficient and scalable aspect processing applicable as model query engine for an AOP Modelica Compiler.

Early Checking; Aspect Orientation; Modelica Model Inspection