Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Design and implementation in object-oriented simulation
ACM SIGSIM Simulation Digest
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Language support for parallel discrete-event simulations
WSC '94 Proceedings of the 26th conference on Winter simulation
A CORBA facility for network simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Parallel simulation of the Sharks World problem
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Distributed simulation: no special tools required
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Toward real time simulation: prototyping of a large scale parallel ground target simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Repeatability in real-time distributed simulation executions
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
IEEE Transactions on Software Engineering
Virtual time and timeout in client-server networks
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
A Well-Balanced Time Warp System on Multi-Core Environments
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Analysis of the abortion rate on lazy replication protocols
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
Supporting TCP connections in wormhole routing and ATM networks
Computer Communications
| Hi-index | 0.00 |
This paper develops a message-based approach to discrete-event simulation. Although message-based simulators have the same expressive power as traditional discrete-event simulation lanuages, they provide a more natural environment for simulating distributed systems. In message-based simulations, a physical system is modeled by a set of message-communicating processes. The events in the system are modeled by message-communications. The paper proposes the entity construct to represent a message-communicating process operating in simulated time. A general wait until construct is used for process scheduling and message-communication. Based on these two notions, the paper proposes a language fragment comprising a small set of primitives. The language fragment can be implemented in any general-purpose, sequential programming language to construct a message-based simulator. We give an example of a message-based simulation language, called MAY, developed by implementing the language fragment in Fortran. MAY is in the public domain and is available on request.