An ASM simulator to make AsmM models executable. Essentially, it is an interpreter which navigates through the MOF repository where ASM models are instantiated (as instances of the AsmM metamodel) to make its computations.

Installation

The simulator can be used either embedded in eclipse or as standalone program. For the eclipse version, follow the instructions here

Use in eclipse

In eclipse you can perform the following actions to simulate an AsmetaL specification:

• check your AsmetaL specification
• run step by step interactively
• run taking random inputs
• press in the console to stop the simulation (press twice to abort)

Some execution options can be selected in the preferences (Window -> Preferences -> Asmeta -> Asmee):

• check the invariants during the simulation
• stop the simulation when the update set is empty
• stop the simulation when the update set is trivial

Download as standalone

Download the interpreter as jar file: AsmetaS.jar

How to run

To run the ASM simulator - in brief

java -jar AsmetaS.jar <filename>

Usage  with options

To run the simulator with the asm file filename:

java -jar AsmetaS.jar <filename>

To simulate with a fixed number of steps (for example 3):

java -jar AsmetaS.jar -n 3 <filename>

To simulate until the update set becomes empty:

java -jar AsmetaS.jar -ne <filename>

For a brief guide about how to use and extend AsmetaS, see AsmetaS_quickguide_it.pdf (only in Italian)