Title :
Distributed simulation of ECATNets: a conservative approach
Author :
Djemame, K. ; Gilles, D.C. ; Mackenzie, L.M. ; Bettaz, M.
Author_Institution :
Dept. of Comput. Sci., Glasgow Univ., UK
Abstract :
ECATNets (Extended Concurrent Algebraic Term Nets) are a kind of high-level algebraic net used for specifying various aspects of distributed and parallel systems. We address the problem of developing parallel simulation techniques to analyze ECAT-Nets. Distributed discrete event simulation (DDES) is used to develop a simulation framework for studying their behaviour. The ECATNet model to be simulated is partitioned into several connected subnets. The various subnets are simulated in parallel by several logical processes. We develop and discuss a distributed simulation protocol based on the conservative approach to execute discrete event simulations of ECATNets
Keywords :
discrete event simulation; distributed algorithms; process algebra; ECATNets; connected subnets; conservative approach; distributed discrete event simulation; distributed systems specification; extended concurrent algebraic term nets; high-level algebraic nets; logical processes; parallel simulation techniques; parallel systems specification; partitioned model; Analytical models; Computational modeling; Concurrent computing; Data models; Discrete event simulation; Distributed computing; Logic; Parallel processing; Performance evaluation; Protocols;
Conference_Titel :
Parallel and Distributed Processing, 1996. PDP '96. Proceedings of the Fourth Euromicro Workshop on
Conference_Location :
Braga
Print_ISBN :
0-8186-7376-1
DOI :
10.1109/EMPDP.1996.500627
