Web Services Translation Tool (WST) is a comprehensive environment for converting XMI documents that correspond to UML 2.0 sequence diagrams into WS-CDL specifications and WS-CDL specifications into Timed Automata supported by the UPPAAL tool, or Coloured Petri nets supported by CPNTools. WST utilizes several XSL Stylesheets to transform an initial XML document into a new XML document. For example, four XSL Stylesheets are used to translate an initial WS-CDL document into an XML document representing the Timed Automata system supported by the UPPAAL tool. The first tab is called "RT-UML DIAGRAM".
Comments