INTRODUCCION

WS-CDL2TimedAutomata

The fourth tab, called "WS-CDL2TimedAutomata", allows the user to transform the WS-CDL specification (generated in the previous tab) into a Timed Automata that can be opened by the UPPAAL tool. A diagram showing the different parts of this tab is shown in Figure 1.

Figure 1. WS-CDL2TimedAutomata diagram

In this tab these parts can be distinguished:

- The WS-CDL Textbox where the WS-CDL specification to transform is shown. This specification will be loaded automatically when the specification generated in the previous tab is saved. Another way to load the WS-CDL specification to transform 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 Timed Automata Textbox where the XML specification of the timed automata generated will be shown after doing the transformation. To save the specification, the user must choose the Save Timed Automata File... option in the Timed Automata menu. A dialog will be shown to the user to specify the name and the place where this automata is saved in the operating system.
- The Transform button allows the user to generate the Timed Automata corresponding the WS-CDL specification loaded in the WS-CDL Textbox. The result will be automatically displayed in the Timed Automata 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 Timed Automata Textbox. If both textboxes are empty pressing this button will have no effect.
- The UPPAAL button allows the user to directly open the Timed Automata generated in this tab with the UPPAAL tool. To do that, it is necessary to save the Timed Automata generated before. Otherwise a information message will be displayed asking the user to save the automata before it could be openened by the UPPAAL tool.