Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-11-11-1
Fecha 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É
CAMBRONERO PIQUERAS, MARÍA EMILIA
DIAZ DESCALZO, GREGORIO



 
Ficheros
 
Fichero Bytes Detalles
diab010114.pdf 758.2K

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal