Title :
A Formal Model of Human Workflow
Author :
Zhao, Xiangpeng ; Qiu, Zongyan ; Cai, Chao ; Yang, Hongli
Author_Institution :
LMAM & Dept. of Inf., Peking Univ., Beijing
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.
Keywords :
Web services; business process re-engineering; communicating sequential processes; user interfaces; CSP process algebra; Web service composition; business process execution language; human workflow; Algebra; Authorization; Business; Chaos; Educational institutions; Humans; Informatics; Permission; Solid modeling; Web services;
Conference_Titel :
Web Services, 2008. ICWS '08. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-3310-0
Electronic_ISBN :
978-0-7695-3310-0
DOI :
10.1109/ICWS.2008.14
