Proceedings of the First International Conference on Information Sciences, Machinery, Materials and Energy

The cloud logistics modeling and validation based on Pi calculus

Authors
XueFeng He, JiuLei Jiang, GuangHui Wei
Corresponding Author
XueFeng He
Available Online July 2015.
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)

Volume Title
Proceedings of the First International Conference on Information Sciences, Machinery, Materials and Energy
Series
Advances in Intelligent Systems Research
Publication Date
July 2015
ISBN
978-94-62520-67-7
ISSN
1951-6851
DOI
10.2991/icismme-15.2015.355How to use a DOI?
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/).

Cite this article

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  -