AsmetaL is the language we use for the ASMs. AsmetaL has been derived from the Asmeta metamodel following the process explained in the 3M4MDA paper (look here)

You can download:

• The EBNF grammar for the AsmM textual notation. It has been developed by means of the Java Compiler Compiler (JavaCC)
• The railroad grammar generated by https://www.bottlecaps.de/convert/
• A quick guide of the concrete notation
• A more complete guide about the language
• Several examples of ASM specifications (mono agent and multi agents) can be found under github here
• The AsmM Standard Library A library of predefined ASM domains and functions: StandardLibrary.asm (you need this)