Abstract
To verify the compatibility of interaction of enterprises on the supply chain, the verification method and design of a supply chain interaction model based on Pi-calculus is presented. First, the interaction view is used to describe the interaction structure between enterprises on the supply chain; second, the formalization modeling for the interaction structure of supply chain was conducted based on Pi-calculus; third, with the deduction capabilities of Pi-calculus, deduction and verification on the established model is conducted; and finally, to confirm the verification method, the Mobility Workbench (MWB) is applied to present the verification process of supply chain compatibility. According to the results, the method can effectively test the compatibility of supply chain.
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 call
