Web Services Translation Tool (WST) is an integrated environment for translating XMI documents corresponding to UML 2.0 sequence diagrams into WS-CDL specification and WS-CDL specifications into Timed Automata supported by UPPAAL tool or coloured Petri nets supported by CPNTools.
WST applies several XSL Stylesheets to an initial XML document to obtain a new XML document. For instance, four XSL Stylesheets are used in order to translate an initial WS-CDL document into another XML document representing the Timed Automata system supported by UPPAAL tool.
The first tab, called "RT-UML DIAGRAM", allows the user to model a UML sequence diagram that represents the system interactions between the different parties and time restrictions.
The modelling panel has six buttons on the top, from left to right:
- The New Lifeline button allows the user to include a new lifeline in the diagram. By left-clicking the button, the tool automatically includes the new lifeline after the actors and the lifelines included before which a default name (Lifeline, Lifeline1, Lifeline2,...).
- The New Actor button allows the user to include a new actor in the diagram. By left-clicking the button, the tool automatically includes the new actor after the lifelines and actors included before which a default name (Actor, Actor1, Actor2,...).
- The New Message button allows the user to create a new message interaction between two different parties. The user must left-click over the first element on the panel (actor or lifeline sender of the message) and then left-click over the second element (actor or lifeline receiver of the message). After clicking both elements the tool will display a message from the first element to the second element which a default name (Message, Message1, Message2,...). The order of the message in the diagram relative to other messages and frames added before depends on the height where the user left-click over the first element, including the message in a frame if the user left click inside the frame.
- The New Frame button allows the user to add a new frame to the diagram. By left-clicking the button, the user can choose the type of frame to create, Alt alternative, Alt if/else, Opt optional, Loop, Par parallel or Exception. After that, the user must left-click over one actor or lifeline (it doesn't matter which one) to place the frame in the diagram. The order of the frame in the diagram relative to other messages and frames added before depends on the height where the user left-click over the diagram, including the frame in another frame if the user left click inside this other frame, except in the case of the Exception frame which is automatically place at the end of the diagram.
- The Clear button allows the user to delete the current diagram completely and starting the design again from the beginning. By left-clicking the button, a dialog will be shown to the user to confirm the action of deleting all the components.
- The Export XMI button allows the user to create an XMI document corresponding to the current diagram. By left-clicking the button, a dialog will be shown to the user to select the name and the place of this document in the operating system. Once the code has been saved, it will be displayed also in the XMI Code part of the tab.
The second tab, called "Sequence Diagram Simulator", allows the user to perform a graphical simulation of the sequence diagram modelled in the previous tab, generating a textual trace of its execution.
The third tab, called "RT-UML2WS-CDL", allows the user to transform the XMI code corrresponding to a sequence diagram (generated in the previous tab) into a WS-CDL specification.
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.
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.