The cloud logistics modeling and validation based on Pi calculus

DOI

10.2991/icismme-15.2015.355How to use a DOI?

Keywords

Cloud logistics; Interactive model; BPMN2.0; Pi calculus

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - XueFeng He
AU  - JiuLei Jiang
AU  - GuangHui Wei
PY  - 2015/07
DA  - 2015/07
TI  - The cloud logistics modeling and validation based on Pi calculus
BT  - Proceedings of the First International Conference on Information Sciences, Machinery, Materials and Energy
PB  - Atlantis Press
SP  - 1720
EP  - 1726
SN  - 1951-6851
UR  - https://doi.org/10.2991/icismme-15.2015.355
DO  - 10.2991/icismme-15.2015.355
ID  - He2015/07
ER  -