Patterns with algebraic properties in BPEL0 | |
Pu, Geguang ; Zhu, Huibiao ; He, Jifeng ; Qiu, Zongyan ; Yang, Hongli ; Zhao, Xiangpeng | |
2007 | |
英文摘要 | In the paper [22], we proposed a language called BPEL0 with its formal semantics as the foundations of WS-BPEL [26]. In this paper, we follow the way Van der Aalst proposed on pattern analysis in workflow languages [2], and present the patterns for BPEL0. Moreover, the expressiveness of BPEL0 is also embodied by means of putting these patterns in the program environment composed of other programming operators. Those properties about the patterns with its environment are captured by the algebraic laws, which can be proven in the framework of BPEL0 semantic domain. ? 2007 IEEE.; EI; 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/411297] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Pu, Geguang,Zhu, Huibiao,He, Jifeng,et al. Patterns with algebraic properties in BPEL0. 2007-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论