Abstract | ||
---|---|---|
This paper addresses the problem of developing distributed simulation techniques to analyze ECATNets. ECATNets (Extended Concurrent Algebraic Term Nets) are a kind of High-Level Algebraic Nets used for specifying various aspects of distributed and parallel systems. Their most distinctive feature is that their semantics is defined in terms of rewriting logic. The conservative and optimistic approaches of Distributed Discrete Event Simulation (DDES) are used as the starting point to discuss a simulation framework for studying the behaviour of ECATNet models. The ECAT Net model to be simulated is partitioned into several connected subnets. The various subnets are simulated in parallel by several Logical Processes. Next we develop two distributed simulation protocols to execute discrete-event simulations of ECATNets. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1145/256562.256770 | Journal of Systems Architecture |
Keywords | DocType | Volume |
various subnets,simulation technique,high-level algebraic,simulation framework,discrete-event simulation,parallel system,simulation protocol,performance comparison,various aspect,connected subnets,extended concurrent algebraic term,rewriting logic,parallel systems,logic,discrete event simulation,computational modeling,information processing,protocols,data models,parallel processing,petri nets | Journal | 44 |
Issue | ISBN | Citations |
6-7 | 0-7803-3383-7 | 1 |
PageRank | References | Authors |
0.36 | 17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karim Djemame | 1 | 423 | 46.71 |
Mohamed Bettaz | 2 | 66 | 11.13 |
Dennis C. Gilles | 3 | 1 | 0.70 |
Lewis M. Mackenzie | 4 | 236 | 26.59 |