Description and Verification of Supply Chain Business Process Based on Pi-Calculus
Yong Tao Huang, Gang Wang, Bing Yin Ren, Hao Yun Zhang · Applied Mechanics and Materials · 2011
To formally verify the correctness of supply chain business process model (SCBPM), a model validation scheme was proposed based on Pi-calculus. In this scheme, the interaction structure of SCBPM was described by UML sequence diagram. The corresponding rules were defined between UML sequence diagram and Pi-calculus. Based on these rules, the formal process model was established. Its validity was verified by MWB, a model checker of pi-calculus. The result shows the scheme proposed could effectively verify the consistency of SCBPM and customer requirements.