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