Analysis and modeling of web services flow using it-calculus

摘要

In order to increase the effectiveness and the reliability of web services flow, the pi-calculus formal method is introduced as a development language for web services flow. The pi-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The pi-calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with pi-calculus formally are described, and the mapping from pi-calculus expression to WS-BPEL is built. The basic construction of web services flow with the pi-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and pi-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.