Software installation instructions

The CTL/ATL Web Services are hosted by an Apache Tomcat server version 7.0.x.
For the beginning you need to install a Tomcat server on your local machine.

ATL model checker supports now H2 (in-memory) database!

Component

Installation instructions

ATL Web Service
For optimal performances, we recommend to use a local Tomcat server, in which is deployed the ATL Web Service. The deployment of the web service is made by unzipping the archive in the webapps directory.
ATL Designer
Installation is made by a standard Windows setup utility.
ATL Library

For development of C# custom applications, the Visual Studio project must contain a reference to the C# ATL Library. Also, the compression library must be referenced in the project.
For Java applications, the projects must have references to the GraphStream Library and to the Java ATL Library.
In order to establish a connection to the database, the client must submit a valid connection string.
For remote access, are available MySQL and H2 databases. For MySQL, the valid connection strings are "mysql" or "".
For H2 database as connection string may be used the value "h2".
For local databases, valid connections strings are:
jdbc:mysql://localhost/atl?user=u*&password=p* (MySql)
jdbc:sqlserver://localhost:1433;instanceName=MSSQLSERVER;databaseName=atl;user=u*;password=p*(SQL Server)
MySQL and SQL Server require the creation of a database whose name will be mentioned in the connection string. In the above exemples, the database was named "atl".
For H2 database may be used "h2" as connection string. The real connection string used by the ATL Library is:
jdbc:h2:mem:db1;MODE=MySQL;LOG=0;LOCK_MODE=0;UNDO_LOG=0;DB_CLOSE_DELAY=60
Because H2 database are using in-memory tables, it does not require any special configuration.

CTL Web Service

For optimal performances, we recommend to use a local Tomcat server, in which is deployed the CTL Web Service. The deployment of the web service is made by unzipping the archive in the webapps directory.

CTL Designer

Installation is made by a standard Windows setup utility.

CTL Library

For development of C# custom applications, the Visual Studio project must contain a reference to the C# CTL Library. Also, the compression library must be referenced in the project.
For Java applications, the projects must have references to the GraphStream Library and to the Java CTL Library.