WSEAS Transactions on Information Science and Applications
Print ISSN: 1790-0832, E-ISSN: 2224-3402
Volume 14, 2017
Process Algebra to Model Timed Movements of Processes in Distributed Mobile Real-Time Systems
Authors: , ,
Abstract: 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.
Search Articles
Pages: 89-101
WSEAS Transactions on Information Science and Applications, ISSN / E-ISSN: 1790-0832 / 2224-3402, Volume 14, 2017, Art. #11