Modeling the Large-Scale Device Control System Based on Pi-Calculus

摘要

The modeling and simulation of large-scale device control 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 control system is presented. Firstly, a new device state Pi-Calculus is proposed to further strength its capability in managing the life-cycle of system state. Secondly, it transforms device behaviors and interactions into device state Pi-Calculus processes. Following that, based on the formal semantics of device state Pi-Calculus, the correctness of device collaboration flow is verified by the deduction of Pi-Calculus. With the help of operational and transitional semantics and a formal deduction, our method can discover system problems in design stage, thus improve architecture correctness and execution stability of device control systems.