Modeling BPEL and BPEL4People with a timed interruptable ��-calculus | |
Jin, Wei ; Wang, Hanpin ; Cao, Yongzhi ; Wang, Zizhen ; Ban, Xiaojuan | |
2010 | |
英文摘要 | Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the ??it-calculus, a new variant of the ??-calculus, in this paper. The good feature of the ??it-calculus is that its execution can be interrupted and can handle timing events as well. We provide both syntax and semantics of the ??it-calculus and define a strong bisimulation relation that specifies when two processes can be considered as the same. With the new calculus, we then model the activities of BPEL and BPEL4People, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis in a BPEL or BPEL4People design process. ? 2010 IEEE.; EI; 0 |
语种 | 英语 |
DOI标识 | 10.1109/COMPSAC.2010.75 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/295497] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Jin, Wei,Wang, Hanpin,Cao, Yongzhi,et al. Modeling BPEL and BPEL4People with a timed interruptable ��-calculus. 2010-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论