DISCRETE EVENT FORMALISMS AND SIMULATION MODEL DEVELOPMENT.

Abstract

The theory and techniques of discrete event modelling and simulation have advanced substantially over the past two decades. An integrative approach, making use of discrete event formalisms, should now be used when developing computer simulations. An important formalism is the DEVS model - a mathematical representation of the class of discrete event systems. Other formalisms, such as modelling strategies, provide a 'world view' in which to conceptualize the simulation model. In this chapter, the formalisms are first described. Next, detailed case studies of simulations within three problem domains are considered: (1) insect population dynamics; (2) nuclear waste management; and (3) computer communication networks. For each case study, the formalisms are shown as intimately intertwined in the model formulation and simulation development.