README

Scenario to Timed Automata Translator
Version 1.1.0

Contents

Introduction

System Requirements & Installation

The Translator can be used on any platform having a Java 2, Standard Edition, v 1.4.2 Virtual Maching implementation.

To install the translator, unzip all files to the installation directory. Optionally, add directory bin to the system path.

Running the Translator

To run the translator, execute file translator.bat (in bin directory) with input XML file as argument. Optionally, an output filename can be given as second argument.

Input files format

Input files can be generated using VTS Visio Editing Tools or can be written manually conforming to VTS.dtd.