Performance comparison of high-level algebraic nets distributed simulation protocols

  • Authors:

  • Karim Djemame;Mohamed Bettaz;Dennis C. Gilles;Lewis M. Mackenzie

  • Affiliations:

  • Computing Science Institute, University of Constantine, Constantine 25000, Algeria;Computing Science Institute, University of Constantine, Constantine 25000, Algeria;Computing Science Department, University of Glasgow, Glasgow G12 8QQ, Scotland, UK;Computing Science Department, University of Glasgow, Glasgow G12 8QQ, Scotland, UK

  • Venue:
  • WSC '96 Proceedings of the 28th conference on Winter simulation
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

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.