Modeling the Large-Scale Device Collaboration System Based on PI-Calculus

Abstract:

The modeling and simulation of large-scale Device Collaboration systems is an important issue for seamless integration and collaboration of distributed device integration. Based on the advantage of PI-Calculus in modeling concurrent and dynamic systems, a method concentrating on the modeling of large-scale Device Collaboration system is presented. Firstly, it transforms device behaviors and interactions into PI-Calculus processes. Secondly, weak dissimulation of multiple internal control flows is defined through the application of behavior equivalent theory of PI-Calculus. Following that, external behavior equivalence of system dynamic ontology is discussed. With the help of operational and transitional semantics and a formal deduction, our method can discover system problems in design stage, thus improving architecture correctness and execution stability of Device Collaboration systems.

• Periodical: Advanced Materials Research (Volumes 143-144)
• Pages: 905-909
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.143-144.905
• Online since: October 2010
• Authors: Pan Deng, Jian Wei Zhang, Xiao Hui Rong, Feng Chen
• Keywords: Device Collaboration Model, Large-Scale Device Collaboration, Pi Calculus

References

[1] QIA N Yadong , QI Guoning, et al. Research on web - based sharing of instruments & equipments. Computer Integrated Manufacturing Systems [J], 2005, 11(8): 1169-1173.

[2] Cao J, Jarvis S A, Saini S, et al. GridFlow: Workflow Management for Grid Computing. In 3 rd International Symposium on Cluster Computing and the Grid[C], Tokyo, Japan, IEEE Computer Society Press, Los Alami2 tos, May, 2003: 12215.

DOI: 10.1109/ccgrid.2003.1199369

[3] Wang Yuexuan, Liu Liancheng, et al. The Study on Simulation Grid Technology for Equipment Resource Sharing System[C], Proceedings of 5 th World Congress on Intelligent Control and Automation, 2004, 6.

DOI: 10.1109/wcica.2004.1343128

[4] Milner R., Communicating and Mobile Systems: the [Pi]-Calculus. Canmbridge: Cambridge University Press, (1999).

[5] Liao Jun, Tan Hao, Liu Jinde. Describing and verifying Web service using PI-Calculus[J]. Chinese Journal of Computers, 2005, 28(4): 635-643.

[6] Chen F, Rong X, Deng P. The Design of a Large-Scale Area Lighting Scheme Design Language for Olympic Park[C]. Pro of 2009 International Conference on Information Technology and Computer Science. Kiev, Ukraine: IEEE Computer Society, (2009).

DOI: 10.1109/itcs.2009.160

[7] Kang Hui, Zeng Yingying, Liu Zhiyong. Modeling the mobile communication service based on PI-Calculus[J]. Journal on Communications, 2009, 30(4): 11-16.