Download


System Requirements
Operating System: Linux, Unix.

Note: Although the system is implemented in Java, there are some file system dependent components which have not yet been tested on Microsoft Windows systems.

Java Interpreter: Java 1.2 or higher.
Disk Space: 300 KBytes.

Download & Installation
Download the class files, bundled in a jar file called WebAuto.jar, here.
Extract the class files with:

jar -xf WebAuto.jar

This creates a directory WebAuto containing the following subdirectories and files:

drwxrwxr-x Layer1
drwxrwxr-x Layer2
drwxrwxr-x Layer3
drwxrwxr-x Messages
drwxrwxr-x TestBase
-rw-rw-r-- auto.def

The first three subdirectories contain the core of the system in the form of a three layered protocol stack. Messages is used to temporarily store partial results (i.e., messages sent by source automata); when no automata is running, this directory is empty. TestBase contains some HTML files for testing. auto.def is an example of an automaton definition.

To start the system, follow the instructions on the next page.