E-commerce business process modeling and verification based on Pi calculus

Pi calculus is wed to describe the process of dynamic structure and interprocess communication in concurrent calculation model. For Business To Business (B2B) e-commerce system business process, use business process modeling notation (BPMN) of the business process for unified description, complete business process conceptual model design, the application of Pi calculus describes the whole process of business process, give a consistency proof to our model,and the model application Pi calculus validation tool Mobility Workbench (MWB) complete simulation test. To ensure that the business messages transfer and the validity of the model even greatly reduce the project investment risk.