Sciweavers

ICWS
2008
IEEE

A Formal Model of Human Workflow

14 years 26 days ago
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.
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where ICWS
Authors Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
Comments (0)