Description and Verification of Supply Chain Business Process Based on Pi-Calculus


Article Preview

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.



Edited by:

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

Online since:

October 2011




[1] Z.L. CAI, S.P. YI, et al: Computer Integrated Manufacturing Systems, Vol. 16 (2010), pp.1578-1586, in Chinese.

[2] W WANG, Y.L. SUN, et al: Journal of Naval University of Engineering, Vol. 22 (2010), pp.39-44, in Chinese.

[3] J.T. ZHOU, M.L. SHI, et al: Journal of Software, Vol. 16 (2005), pp.1242-1251, in Chinese.

[4] W AALST, A HOFSTED: Information System, Vol. 25 (2002), pp.43-69.

[5] J.T. ZHOU, M.L. SHI, in: Proceedings of the International Workshop on Gird and Cooperative Computing, edited by Y.B. HAN (2002), pp.723-736.

[6] P.W. YU, Doctoral Dissertation, (2009), pp.24-30, in Chinese.

[7] B VICTOR, F MOLLER, in: Proceedings of the sixth International Conference on Computer Aided Verification, (1994), pp.428-440.

[8] G SALAUN, L BORDEAUX, in: Proceedings of the International Conference on Web Service, (2004), pp.43-50.

In order to see related information, you need to Login.