README.txt for the SIV tool


Usage
-----

Unzip the downloaded file to your favorite location. You should now have the SIV.jar - the main application file, and a directory with example input files.
To start the SIV tool, execute "java -jar SIV.jar". On most windows systems, double-clicking SIV.jar will do this for you.
An open-file dialog will be displayed. Choose an IDG file (either from the samples or one created by the IDGGen tool), and click OK.
The main view should now open. Note that by default, all edges are shown, so you might want to click the filtering tab, and filter some of them out. 


Version Limitations
-------------------

This version has no connection to the Play-Engine. Therefore:
1. Opening an LSC or an edge in the Play-Engine is not available.
2. Viewing dynamic information during PLay-Engine execution is not available.

However, for some of the samples, an execution log is supplied. You can open it (from the Data menu), and it will be played in SIV as if it is getting the information from a running Play-Engine.


Examples
--------
The following examples are supplied with the tool (screenshots of them are also available on our website):

1. CElegans.idg - The main example in the paper, corresponding to a specification of the cElegans worm.
2. Telecom-Complete.idg - The telecommunications example
3. Telecom-Small.idg - A small subset of the telecommunications example
4. ATM.idg - An ATM example


For any questions, you can contact me at itai.segall@weizmann.ac.il