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 BPEI4People, this is a general work, and can also be viewed as a formal model of human workflow. © 2008 IEEE.
Cite
CITATION STYLE
Zhao, X., Qiu, Z., Cai, C., & Yang, H. (2008). A Formal model of human workflow. In Proceedings of the IEEE International Conference on Web Services, ICWS 2008 (pp. 195–202). https://doi.org/10.1109/ICWS.2008.14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
