Web Services Translation (WST) Tool is an integrated environment for the development of composite web services, which is based on several translations.
Firstly, the user may introduce the system requirements by means of KAOS elicitation technique. Then, the design of the composite web service is done by UML 2.0 sequence diagrams, which are automatically translated into Web Services Choreography Description Language (WS-CDL) specification documents. These WS-CDL specifications are translated into a network of timed automata, now as a novelty in the tool, and we have in turn incorporated the translation from a WS-CDL specification to prioritized timed-colored Petri nets (PTCPN). The final step that can be made through this tool is the validation and verification of the system design, by using the interface that it provides to the UPPAAL tool.