Title :
Model Method for the Transformation of BPEL4People into Generalized Stochastic Petri Nets
Author :
Holanda, Henrique A Jorge ; Barroso, Giovanni Cordeiro ; Serra, A.B.
Author_Institution :
Dept. de Inf., UERN, Mossoro, Brazil
Abstract :
WS-BPEL Extension for People (BPEL4People) introduces human activity to Web Services Business Process Execution Language (WSBPEL/ BPEL). Some works have been done on the performance verification of WS-BPEL, but there are not works on the performance verification of WSBPEL4People. In this paper, we propose a model method for the transformation of WS-BPEL4People / BPEL4People into Generalized Stochastic Petri Nets (GSPN) and this way evaluate its performance. During the transformation, Petri Net is used to model BPEL activities and the human activity of a human task. Then, by validating the generated model, some potential problems with performance of WS-BPEL4People is detected.
Keywords :
Petri nets; Web services; specification languages; stochastic processes; GSPN; WS-BPEL Extension for People; WS-BPEL4People; Web services business process execution; generalized stochastic Petri nets; human activity; language; Analytical models; Authorization; Business; Delay; Humans; Time factors; Web services; BPEL4People; Performance; Petri Net;
Conference_Titel :
Computing in the Global Information Technology (ICCGI), 2010 Fifth International Multi-Conference on
Conference_Location :
Valencia
Print_ISBN :
978-1-4244-8068-5
Electronic_ISBN :
978-0-7695-4181-5
DOI :
10.1109/ICCGI.2010.41
