Title :
Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description
Author :
Wang, Qiong ; Du, Chenglie ; Ma, Chunyan ; Li, Gang
Author_Institution :
Coll. of Comput., Northwestern Ploytechnical Univ., Xian
Abstract :
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.
Keywords :
automatic test software; distributed processing; pi calculus; TD-pi calculus; distributed communicating system; distributed systems; dynamic topostructure; military field; name passing calculus; real-time distributed virtual-test system; real-time requirements; resource constraints; time constraints; timed distributed pi-calculus; Aerodynamics; Aerospace testing; Algebra; Calculus; Carbon capture and storage; Computer science; Educational institutions; Military computing; Real time systems; Software engineering; p-calculus; realtime; timed distributed p-calculus; virtual test;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.907
