Describe visual business processes by pi-calculus

Abstract

According to the existing problems during the application of BPEL process orchestration tool, this paper put forward the method that describes visual business processes by pi-calculus. Based on the analysis of Web service composition mechanism, this paper clarified the correspondence between the pi calculus and visual BPEL process, and illustrated the process of describing BPEL processes made by Eclipse BPEL plug-in tool with pi calculus.