Description and Verification of Supply Chain Business Process Based on Pi-Calculus
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.
Dongye Sun, Wen-Pei Sung and Ran Chen
Y. T. Huang et al., "Description and Verification of Supply Chain Business Process Based on Pi-Calculus", Applied Mechanics and Materials, Vols. 121-126, pp. 2614-2618, 2012