Esta web utiliza cookies propias y de terceros con fines técnicos y de análisis del tráfico. Puedes ver nuestra política de cookies aquí. Si continuas navegando, entendemos que aceptas su uso. Aceptar




 Technical Reports DIAB-11-11-1 

Código:  DIAB-11-11-1
Publicación:  16-11-2011
Título:  Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
Detalle:
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.



 Autores 

Autor Detalles
DIAZ TELLO, MARIA
VALERO RUIZ, VALENTIN
MACIA SOLER, HERMENEGILDA
PARDO MATEO, JUAN JOSÉ
PIQUERAS, M
DIAZ DESCALZO, GREGORIO



 Ficheros 

Fichero Bytes Detalles
diab010114.pdf 758.2K