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.

关键词： Supply chain business process model (SCBPM) Pi-calculus UML sequence diagram Model verification

作者: Yongtao Huang Gang Wang Bingyin Ren Haoyun Zhang

作者单位: School of Mechatronics Engineering, Harbin Institute of Technology, Harbin, 150001, China Henan Tongli Cement Co., Ltd., Henan, 458008, China

会议类型: 国际会议

会议名称: the Second International Conference on Frontiers of Manufacturing and Design Science(第二届制造与设计科学国际会议(ICFMD 2011))

会议地点: 台湾

会议语种:英文

页码: 2614-2618

在线出版日期: 2011-12-11（万方平台首次上网日期，不代表论文的发表时间）