Process Algebra to Model Timed Movements of Processes in Distributed Mobile Real-Time Systems

摘要

There are strong needs for both mobile and temporal properties in process algebras designed to specify and analyze distributed mobile real-time systems (DMRS). However there are some limitations in those algebras to specify both movements and temporalness at the same time, such as, Timed pi-Calculus and d-Calculus, as follows: 1) Timed pi-Calculus cannot specify both the execution time of action and movements directly, and 2) d-Calculus can specify only a simple pattern of temporal conditions, that is, the lower and upper bounds of the execution time. In order to solve these limitations, this paper proposes dT-Calculus with expressive power of movements of processes with a number of temporal conditions. dT-Calculus extended the basic temporal properties of synchronous process movements of d-Calculus into more specific temporal properties in order to specify and analyze the temporal property of DMRS more effectively: ready time, execution time, waiting time, deadline, etc. In order to simulate the proposed process movement with temporal properties, the SAVE tool has been developed on the ADOxx Meta-Modeling Platform and demonstrates efficiency and effectiveness of the proposed approach with an EMS example.