DIPARTIMENTO DI
INFORMATICA Università di Torino | |
2CL syntaxWriting a new example and producing the corresponding graphs by means of the 2CL Tool is very simple and intuitive. 2CL files are structured in three parts, identified by the labels:
The constitutive component is mandatory, while the other two can be omitted: they will be considered empty.
Commitments have the form: while conditional commitments have the form: For a quick look on how to specify your own example, please take a look at the examples. |