Download and Installation

1. Download the ObsSlice tool.

2. Add ObsSlice.jar to CLASSPATH enviroment variable.

3. Test: execute java obsslice.ObsSlice. ObsSlice options should be displayed.

Usage

Sintax:

            java obsslice.ObsSlice [options] specificationFlie

Options:

    -d: Set output directory for sliced automata and activity tables
    -r: Do not gerenate sliced automata. Only activity tables
    -v: Verbose mode. Detailed component influence and Sojourn Set
        information.
    -u: Write automata labels in uppercase.
    -uppaal: Generate sliced automatas in UPPAAL format
    -openkronos: Generate sliced automatas in OPENKRONOS format

    By default, ObsSlice generates sliced automatas in KRONOS format in current directory
 

Example:

java obsslice.ObsSlice -uppaal -openkronos -d obsSliced pipe

will get the timed automata network specification from the file pipe, and generate the transformed  files in OPENKRONOS and UPPAAL formats in the directory obsSliced togheter with the activity tables.