期刊名称：International Journal of Computer Networks & Communications
印刷版ISSN：0975-2293
电子版ISSN：0974-9322
出版年度：2010
卷号：2
期号：6
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：WS-BPEL Extension for People (BPEL4People) introduces human activity to Web Services Business Process Execution Language (WS-BPEL/BPEL). Some works have been done on the performance verification of WS-BPEL, but there aren't works on the performance verification of WS-BPEL4People. 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 can be detected.
关键词：BPEL4People; Petri Net; Performance; Web Services; SOA
