Indexed by：
Abstract：
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for Web service composition invocation. A major weakness of BPEL is the lack of so-called ＇human workflow＇ support. The BPEl4People specification tries to amend this by adding human task support to BPEL. In this paper, we propose a formal model of BPEL4People using the CSP process algebra, and discuss some issues we found through analyzing the model. Although based on BPEI4People, this is a general work, and can also be viewed as a formal model of human workflow. © 2008 IEEE.
Keyword：
Reprint Author's Address：
Email：
Source ：
Year： 2008
Page： 195-202
Language： English
Cited Count：
SCOPUS Cited Count： 19
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 4
Affiliated Colleges：
