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

fYear

1996

Firstpage

518

Lastpage

525

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/EMPDP.1996.500627

Filename

500627