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





 
Technical Report
 
Código: DIAB-12-04-2
Fecha Publicación: 24-04-2012
Título: A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
Detalle:
Composite Web services technologies are widely used due to their ability to provide interoperability among services from different companies. Web services are usually stateless, which means that no state is stored from the clients viewpoint. However, some new applications and services have emerged, which require to capture the state of some resources. Thus, new standards to model Web services states have appeared, such as Open Grid Services Infrastructure (OGSI), which became Web Services Resource Framework (WSRF). In this paper, we present a formal model based on WS-BPEL and WSRF, and we provide a prioritised-timed coloured Petri net semantics for it. This semantics captures the main activities of BPEL, but we also consider other important aspects, both from BPEL and WSRF, such as the fault and event handlers, time-outs and the WSRF publish-subscribe system.




 
Autores
 
Autor Detalles
MATEO CORTES, JOSE ANTONIO
VALERO RUIZ, VALENTIN
MACIA SOLER, HERMENEGILDA
DIAZ DESCALZO, GREGORIO



 
Ficheros
 
Fichero Bytes Detalles
ThecnicalReport_dsi_12_04_02.pdf 288.8K

 

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