A new formalism for discrete event simulation

Authors:
Ashvin Radiya;Robert G. Sargent
Affiliations:
Simulation Research group, 441 Link Hall, Syracuse University, Syracuse, New York;Simulation Research group, 441 Link Hall, Syracuse University, Syracuse, New York
Venue:
WSC '87 Proceedings of the 19th conference on Winter simulation
Year:
1987

Citing 4
Cited 2

An overview of verification and validation of simulation models

WSC '87 Proceedings of the 19th conference on Winter simulation
The denotational semantics of programming languages

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Theory of Modelling and Simulation

Theory of Modelling and Simulation

State event in combined simulation

WSC '88 Proceedings of the 20th conference on Winter simulation
An SDS modeling approach for simulation-based control

WSC '05 Proceedings of the 37th conference on Winter simulation

Quantified Score

Hi-index	0.01

Visualization

Abstract

A new formalism for discrete event simulation is proposed based on the theoretical frameworks used for the formal analysis and specification of the different aspects of computer languages. The major elements of such a formalism are identified, defined, and discussed. This formalism includes the specification and validation of the structural and behavioral aspects of models specified in it. In this formalism, the behavioral specifications can be used to synchronize different components of a model. This enhances the modeling methodology.