DISI -> People -> PostDoc -> Matteo Dell'Amico -> Research -> Do-CASL -> Do-CASL translator

Do-CASL translator

This is a simple tool written in Python. It converts well-formed Do-CASL into the corresponding CASL specification, so that it can be used by CASL tools such as HETS.

It is released under the GNU GPL, version 2.

Since this does not comprise a CASL parser, it won't give errors for badly formed specifications. In order to do this, it is necessary to use generic CASL tools.

Unfortunately, since no tools supporting CASL-LTL are available at the moment, there is consequently no tool for Do-CASL with temporal logic.

How to run it

Download the source on a system having at least python 2.4. Run the program with a command line such as

python docasl-translator.py filename.casl

The translated specification will be printed onto the standard output. For saving it to a file, use

python docasl-translator.py filename.casl > translated-filename.casl

Quick testing

Use the example specification as source file. Use the HETS web interface to verify the output is correct.