Paper Info
Title
A Formal Model of Human Workflow
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.
Year
DOI
Venue
2008
10.1109/ICWS.2008.14
ICWS
Keywords
Field
DocType
csp process algebra,communicating sequential processes,general work,web services,major weakness,user interfaces,web service composition,bpel4people specification,web service composition invocation,business process re-engineering,business process execution language,human workflow,human task support,workflow specification,formal model,business,process algebra,engines,correlation
Workflow technology,Workflow Management Coalition,Computer science,Windows Workflow Foundation,Business Process Execution Language,XPDL,Workflow engine,Workflow,Workflow management system,Database
Conference
Volume
Issue
ISSN
null
null
null
ISBN
Citations 
PageRank 
978-0-7695-3310-0
12
0.71
References 
Authors
14
4
Name
Order
Citations
PageRank
Xiangpeng Zhao135320.67
Zongyan Qiu243641.04
Chao Cai31458.48
Hongli Yang419114.80