The MIO Workbench consists of a set of plugins for the Eclipse IDE. Therefore, you’ll need the following prerequisites:
The complete package can be downloaded from here; or you can point your existing Eclipse installation to the Helios update site and install modelling support after installation (Help > Install New Software > Select Helios > Select “Modeling”).
Once Eclipse is installed, you can download the Mio Workbench directly from within Eclipse.
- Mio Workbench Update Site: http://www.miowb.net/update
To do this, select Help > Install New Software. The click “Add…”, set a name “Mio Workbench” and paste the Update Site URL. Now, you can select the Mio Workbench Feature in the list and install it.
The MIO Workbench stores modal input/output automata in .mio files.
- You can create a new modal I/O automata by selecting File > New > Other > Modal I/O Automaton.
- Double-clicking an existing .mio file also opens the editor.
- To perform verification, open the verification view (Window > Show View > Other > Mio Workbench > Verification View).
To get a quick start with the Mio Workbench, have a look at our Examples.