MOML ==== The *Momba Modeling Language* (MOML) is **a model description language** based on the [JANI-model specification](http://www.jani-spec.org/). 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 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](http://www.modestchecker.net/). 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. ```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 macros ``` VS Code Support --------------- We provide a [VS Code extension for MOML](https://marketplace.visualstudio.com/items?itemName=koehlma.moml-language): ```{image} vscode.jpg ```