Recently I had reason to get interested in process modelling. Ultimately I ended up writing an Antlr4 grammar for Modelica (here), but in the mean time I came up with SML (Simple Modeling Language). The Antlr4 grammar is sml.g4.
The characteristics I wanted in my own modeling languages were:
- Ability to define models as text files
- Models should be as Object Oriented as possible
- Ability to compose models. That is; ability to have models that include models.
- Ability to define variables that are internal to models and variables that are exposed by models (i.e. "ports")
- Ability to put models in namespaces
- Ability to define equations in models that related the variables. The equations should be expressed in standard form.
- Support for differential equations is essential
model tge.spring; # # vars # variables: # spring constant public k; # force difference public df; # distance difference public x; # # Equations # equations: df:= k*x;
This model is in the namespace "tge.string". It exposes three public variables "k", "df" and "x". The relationship b/t the variables is "df=k*x". There is a simple example, of a standard pendulum here.
More complex examples are here. One such example is a classic RC circuit. This model defines the structure of the circuit itself, and references the resistor, capacitor and source via includes of those models from their own SML model files
model tge.rc1; # # A simple RC model # # # ------- R1 ---- C2 -- # | | # V | # |-------------------| # # imports: tge.resistor; tge.capacitor; tge.vsource; variables: # declare a resistor instance called "R1" component tge.resistor R1; # declare a capacitor instance called "C1" component tge.capacitor C1; # declare a vsource instance called "V" component tge.vsource V; equations: # set dV of tge.vsource to 5V voltage:=D.dV-5; # set R of tge.resistor to 10 ohms resistance:=R1.R-10; # set C of tge.capacitor to 100 F resistance:=C1.C-100; # connect the +ve end of V to R1 positiveConnection:= V.v1-R1.v1; # connect the resistor to the capacitor resistors:=R1.v2-C1.v1; # connect the -ve end of V groundConnection:= V.v2-R2.v2;
Ultimately, with Antlr4 it should be possible to generate model parsers in Java, C# and potentially C++, that can consume SML files, ensure that the model composition is reasonable, and generate input files for mathematical solvers. The work of producing solver input files from SML models is essentially the work of collapsing an object tree to a flat model.