A Formal Model of Human Workflow

Authors:
Xiangpeng Zhao;Zongyan Qiu;Chao Cai;Hongli Yang
Affiliations:
-;-;-;-
Venue:
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Year:
2008

Citing 0
Cited 4

Automated framework for formal operator task analysis

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Modeling and analyzing the impact of authorization on workflow executions

Future Generation Computer Systems
Improving service processes with the crowds

ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Allocating Resources for Workflows Running under Authorization Control

GRID '12 Proceedings of the 2012 ACM/IEEE 13th International Conference on Grid Computing

Quantified Score

Hi-index	0.00

Visualization

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.