| 基于π-演算的web服务流的分析与建模 |
| |
| 引用本文： | 何涛,缪淮扣,钱忠胜. 基于π-演算的web服务流的分析与建模[J]. 东南大学学报, 2006, 22(3): 315-318 |
| |
| 作者姓名： | 何涛 缪淮扣 钱忠胜 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 上海200072 |
| |
| 摘 要： | 为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.
|
| 关 键 词： | BPEL web服务 工作流 π-演算 |
| 收稿时间： | 2006-04-25 |
Analysis and modeling of web services flow using π-calculus |
| |
| He Tao,Miao Huaikou,Qian Zhongsheng. Analysis and modeling of web services flow using π-calculus[J]. Journal of Southeast University(English Edition), 2006, 22(3): 315-318 |
| |
| Authors: | He Tao Miao Huaikou Qian Zhongsheng |
| |
| Affiliation: | School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China |
| |
| Abstract: | |
| |
| Keywords: | BPEL business process execution language (BPEL) web services work flow |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
