INTRODUCCION

INTRODUCTION

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 into 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.