Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ICWS
2008
IEEE

favoriteEmaildiscussreport

125views Internet Technology» more ICWS 2008»

A Formal Model of Human Workflow

13 years 6 months ago

A Formal Model of Human Workflow

Download www.is.pku.edu.cn

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.

Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang

Real-time Traffic

Business Process Execution Language | Formal Model | Human Workflow | ICWS 2008 | Internet Technology |

claim paper

Related Content

» Modeling Workflow within Distributed Systems

» Flexible Workflow Framework for Supporting Collaborative Works

» An Ambient Agent Model Exploiting WorkflowBased Reasoning to Recognize Task Progress

» A Formal Foundation for Distributed Workflow Execution Based on State Charts

» Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines

» Towards a Formal Foundation for Aggregating Scientific Workflows

» ModelDriven Process Development Incorporating Human Tasks in ServiceOriented Grid Environm...

» Model Checking of Workflow Schemas

» Specifying and Analyzing Workflows for Automated Identification and Data Capture

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	ICWS
Authors	Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang

Comments (0)