东南大学学报（英文版）2006，Vol.22Issue(3)：315-318,4.
基于π-演算的web服务流的分析与建模
Analysis and modeling of web services flow using π-calculus
何涛 1缪淮扣 1钱忠胜1
作者信息
- 1. 上海大学计算机工程与科学学院,上海,200072
- 折叠
摘要
Abstract
In order to increase the effectiveness and the reliability of web services flow,the π-calculus formal method is introduced as a development language for web services flow.The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency,validating the correctness and so on.The π-calculus analysis and modeling of web services flow is presented,the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described,and the mapping from π-calculus expression to WS-BPEL is built.The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed.Also discussed are the approaches to web services flow by modeling from different views,and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.关键词
BPEL/web服务/工作流/π-演算Key words
business process execution language (BPEL)/web services/work flow/π-calculus分类
信息技术与安全科学引用本文复制引用
何涛,缪淮扣,钱忠胜..基于π-演算的web服务流的分析与建模[J].东南大学学报（英文版）,2006,22(3):315-318,4.
