A graphical front-end called ASMEE (ASM Eclipse Environment) which allows to edit and manipulate AsmM models. This environment is implemented as an Eclipse plug-in.

How to install asmee

Prerequisites

You need the last version of eclipse.

Option 1. Update Site

The update site for Asmee is http://fmlab.dti.unimi.it/asmee/update/. Perform the following steps to install Asmee from the update site:

1. From your Eclipse menu select Help → Software Updates → Find and Install...

2. Check Search for new features and press Next.

3. Press New Remote Site... and enter http://fmlab.dti.unimi.it/asmee/update/ for the update site URL:

4. Press Finish.

5. Follow the steps in the installation wizard.

Option 2. Manual Installation

Download asmee_site.zip which contains a zipped version of the asmee update site. Unzip it and copy it in a temporary directory (for example c:\temp\asmee). Then update eclipse like in Option 1, except that in step 3 choose new Local Site and select the directory (c:\temp\asmee) where you have unzipped the asmee_site.

How to use Asmee

After you have installed the Asmee plugin, you will have in eclipse the following features:

• a wizard to create a new AsmetaL file: goto File->new File-> Other -> AmsetaL new File. It creates a new file. Note that the name of the asm and of the file must be the same. You probably will need also the standard library, that you can download from StandardLibrary.asm.
• synthax hightlighting (you can change the colors in the preferences: goto Window -> Preferences -> Asmee)

You can perform the following actions to simulate an AsmetaL specification:

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

License