MOML Language
=============
The *Momba Modeling Language* (MOML) is **a model description language** based on the `JANI specification `_.
In comparison to JANI, MOML is less verbose and thus easier to read and write.
However, MOML is still a **low-level language** forcing you to specify every detail of your model explicitly.
Depending on your use-case such fine grained control over the constructed model might not be necessary and you may want to consider using a *higher-level* language like `Modest `_.
If you, however, want explicit control over every aspect of your model, give MOML a try.
Momba comes with a converter to convert between MOML and JANI.
Hence, you can use your MOML model with any tool supporting the JANI specification such as `The Modest Toolset `_ and `EPMC `_.
.. code-block:: moml
model_type DTMC
metadata:
"name": "Simple Die"
variable side : int[1,6] := 1 "side of a die"
automaton Die:
initial location l
edge from l:
to l:
probability 1 / 6
side := 1
to l:
probability 1 / 6
side := 2
to l:
probability 1 / 6
side := 3
to l:
probability 1 / 6
side := 4
to l:
probability 1 / 6
side := 5
to l:
probability 1 / 6
side := 6
network:
instance die Die
composition die
.. toctree::
:maxdepth: 2
grammar
VS Code Support
---------------
We provide a `VS Code extension for MOML `_:
.. image:: vscode.jpg