A Formal model of human workflow - 文章详情页

作者：

Zhao, Xiangpeng (Zhao, Xiangpeng.) | Qiu, Zongyan (Qiu, Zongyan.) | Cai, Chao (Cai, Chao.) | Yang, Hongli (Yang, Hongli.)

收录：

EI Scopus

摘要：

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.

关键词：

Specifications Websites Web services

作者机构：

[ 1 ] [Zhao, Xiangpeng]LMAM and Department of Informatics, School of Math., Peking University, Beijing 100871, China
[ 2 ] [Qiu, Zongyan]LMAM and Department of Informatics, School of Math., Peking University, Beijing 100871, China
[ 3 ] [Cai, Chao]LMAM and Department of Informatics, School of Math., Peking University, Beijing 100871, China
[ 4 ] [Yang, Hongli]College of Computer Sciences, Beijing University of Technology, Beijing 100022, China

通讯作者信息：

电子邮件地址：

zxp@math.pku.edu.cn

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至