The cloud logistics modeling and validation based on Pi calculus
XueFeng He, Jiulei Jiang, Guanghui Wei · Advances in intelligent systems research/Advances in Intelligent Systems Research · 2015
Following many bottlenecks of the development of the logistics industry at present,a interactive model of cloud logistics is proposed in this paper.Describing the interactive model of cloud logistics by BPMN2.0 choreography,then the Pi calculus is adopted to make rigorous formal definition for the basic activities and structured activity of the BPMN2.0,we use the validation tool MWB (mobile work platforms) of Pi calculus to simulate and to ensure the correctness of the information transmission in the organization's internal or among the organizations to provide reliable interactive model of business process for the system development in future. 1.Introduction