TALC 0.2 for Linux University of Birmingham and Osaka University. Copyright (c) 2004 All right reserved.
	Behzad Bordbar • Kozo Okano

1. Introduction
2. Installation
3. Known issues is this release
4. License Agreement

1. Introduction
===============

Time Action Lock Checker (TALC) is a tool for Testing the existence of Time Action Lock in Timed Automata. The current version, version 0.1, can only be installed under Linux.

TALC is free for non-profit applications. Please, read the license agreement.

TALC contains software copyrighted by The Apache Software Foundation.
Please see License.txt for more detail use of common-*.jar files.

TALC is used in conjunction with UPPAAL. For the licence and installation see UPPAAL.

The current version improves version 0.1 by fixing some bugs.

[Top]

2. Installation
===============

To install,

(1) unzip the zip-file TALC.zip.
This should create the directory
TALC containing at least the files
TALC.jar,
GraphCanvasLite.jar,
rps-linux,
rps,
a directory xmls
and run and libraries provided by Jakarta project such as
commons-beanutils.jar
commons-collections.jar
commons-digester.jar
commons-logging.jar.

(2) TALC uses several jar libraries provided by Apache Jakarta Project.
They are commons-beanutils.jar, commons-collections.jar,
commons-digester.jar and commons-logging.jar.
Please visit Apache Jakarta Project
for more details.
The version we use are commons-beanutils-1.6.1, commons-digester-1.5,
commons-logging-1.0.2 and commons-collections-2.1.

(3) Please edit rps file to run rps-linux correctly.
rps is a just shell script for Linux or other Posix based OS.
Please also NOTE THAT rps-linux is a binnary file for Linux.

(4) Please edit run file to run TALC.jar correctly.
The point is set class path correctly.
In oder to run TACL.jar,
you should include the following items in your CLASSPATH.
. (NB current directory if necessary)
commons-beanutils.jar
commons-collections.jar
commons-digester.jar
commons-logging.jar
GraphCanvasLite.jar

If you want to run TALC.jar manually, then you might have to
type as follows.

java -cp .:commons-beanutils.jar:commons-collections.jar:commons-digester.jar:commons-logging.jar:GraphCanvasLite.jar TALC

It also is a good idea to include the above path to the environment variable CLASSPATH
as follow.
set CLASSPATH $CLASSPATH:.:commons-beanutils.jar:commons-collections.jar:commons-digester.jar:commons-logging.jar:GraphCanvasLite.jar

Note that TALC will not run without Java installed on the host
system. Java for Linux can be downloaded from http://java.sun.com.

We strongly recommend using the most recent version of the Java
Runtime Environment (JRE) available for your platform, currently
version 1.4.1.

[Top]

3. Known issues in this release
===============================

(i) TALC only reads XML file produced by UPPAAL2k 3.2.x version.
It does not accept the new format of UPPAAL2k 3.3.x version.

(ii) rps-linux sometimes returns wrong decision. We will replace the code to new and reliable one.

(iii) The current version of TALC DOES not handle Urgent channels, urgent and committed locations.

[Top]

4. License Agreement
====================

We (the licensee) understand that TALC includes the programs:
TALC.jar run, demo and rps-linux,
and that they are supplied "as is", without expressed or
implied ANY warranty. We agree on the following:

1. You (the licenser) do not have any obligation to provide any
maintenance or consulting help with respect to TALC.

2. You neither have any responsibility for the correctness of systems
verified using TALC, nor for the correctness of TALC itself.

3. We will never distribute or modify any part of the TALC code
(i.e. the source code and the object code) without a written
permission of B. Bordbar (University of Brimingham) or
Kozo Okano (Osaka University).

4. We will only use TALC for non-profit research purposes. This
implies that neither TALC nor any part of its code should be used
or modified for any commercial software product.

5. Both the program TALC and rps-linux have NO WARRANTY.

6. You have not any permission of re-distribution of file rps-linux.
[Top] .