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://130.61.77.60:8080/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.
|