A Formal Model of Human Workflow

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.

• Type: Conference
• Year: 2008
• Where: ICWS
• Authors: Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
• Keywords: Business Process Execution Language, Formal Model, Human Workflow, ICWS 2008, Internet Technology