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

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.

[1]  Liu Zhi-yong.  Modeling the mobile communication service based on PI-calculus , 2009 .

[2]  Subhash Saini,et al.  GridFlow: workflow management for grid computing , 2003, CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings..

[3]  Liao Jun.  Describing and Verifying Web Service Using Pi-Calculus , 2005 .

[4]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[5]  Feng Chen,et al.  The Design of a Large-Scale Area Lighting Scheme Design Language for Olympic Park , 2009, 2009 International Conference on Information Technology and Computer Science.

[6]  Gu Xin-jian.  Research on web-based sharing of instruments & equipments , 2005 .

[7]  Cheng Wu,et al.  The study on simulation grid technology for equipment resource sharing system , 2004, Fifth World Congress on Intelligent Control and Automation (IEEE Cat. No.04EX788).