Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description

pi-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topo-structure. Timed distributed pi-calculus (TDpi-calculus) is presented as a rigorous framework for describing distributed systems with time and resource constraints. The real-time distributed virtual-test system in military field has the feature of different applications with different real-time requirements. TDpi-calculus is appropriate to describe such a system but need to be improved. For this purpose, we had extended the timer of TDpi-calculus in this paper. The extended TDpi-calculus can easily describe the different real-time requirements of different components or applications of the same system, as well as the data interaction between them.