TY - GEN
T1 - Modeling the large-scale device collaboration system based on PI-calculus
AU - Deng, Pan
AU - Zhang, Jian Wei
AU - Rong, Xiao Hui
AU - Chen, Feng
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Device collaboration model
KW - Large-scale device collaboration
KW - PI-calculus
UR - https://www.scopus.com/pages/publications/78650737317
U2 - 10.4028/www.scientific.net/AMR.143-144.905
DO - 10.4028/www.scientific.net/AMR.143-144.905
M3 - 会议稿件
AN - SCOPUS:78650737317
SN - 9780878492237
T3 - Advanced Materials Research
SP - 905
EP - 909
BT - Smart Materials and Intelligent Systems
T2 - International Conference on Smart Materials and Intelligent Systems 2010, SMIS 2010
Y2 - 17 December 2010 through 20 December 2010
ER -