Abstract
Pi calculus is used 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
