A Formal Model of Human Workflow

Xiangpeng Zhao,Zongyan Qiu,Chao Cai,Hongli Yang
DOI: https://doi.org/10.1109/icws.2008.14
2008-01-01
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 BPEL4People, this is a general work, and can also be viewed as a formal model of human workflow.
What problem does this paper attempt to address?