CTL Designer

Allows interactive design of the CTL models. Available options:

Icon

Semnification

Allows selection of the Web server: local or remote (Internet). Service-location details for web-service access:

http://92.63.57.165:8000/CTL-Checker/CTLCheckerService?wsdl

The button from toolbar allows selection of the implicit Internet server.

In case of huge models, is recommended their compression before sending them to the Web Service.

The editing options of an CTL model are activated through a right-click contextual menu which allows a dynamically graphical development of the ATL models. In order to select a node of the model, the mouse must be placed over it and then the desired action will be selected from the contextual menu.

Download

CTL Designer