INTRODUCCION

WS-CDL2CPNTools

The fifth tab, called "WS-CDL2CPNTools", allows the user to transform the WS-CDL specification into a Petri Net that can be opened by the CPNTools. A diagram showing the different parts of this tab is shown in Figure 1.

Figure 1. WS-CDL2CPNTools diagram

In this tab these parts can be distinguished:

- The WS-CDL Code Textbox where the WS-CDL specification to transform is shown. This specification will be loaded is using the Open WS-CDL File... option in the File menu. A dialog will be shown to the user to select the specification to be opened. If the file opened isn't valid, an error message will be displayed on the screen.
- The CPNTools Code Textbox where the XML specification of the Petri Net generated will be shown after doing the transformation. To save the specification, the user must choose the Save Coloured Petri Net File... option in the CPN Tools menu. A dialog will be shown to the user to specify the name and the place where this Petri Net is saved in the operating system.
- The Transform Button allows the user to generate the Petri Net corresponding the WS-CDL specification loaded in the WS-CDL Textbox. The result will be automatically displayed in the CPN Tools Textbox after a few seconds. If the WS-CDL Textbox is empty pressing the Transform button will have no effect.
- The Clear Button allows the user to clean the content of both, the WS-CDL Textbox and the Petri Net Textbox. If both textboxes are empty pressing this button will have no effect.