DocumentCode
3342307
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
fYear
2008
fDate
23-26 Sept. 2008
Firstpage
195
Lastpage
202
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICWS.2008.14
Filename
4670176
Link To Document