Paper Info
Title
An abstract state machine semantics for discrete event simulation
Abstract
We define an operational (transition system) semantics for the two most basic forms of Discrete Event Simulation (DES): event-based simulation (without objects) and object-event simulation. We show that under our operational semantics, DES models correspond to a certain form of abstract state machines (ASMs) such that the Future Event List (FEL) is part of the transition system state and the transition function is based on event routines. Unlike other formalisms proposed for DES (such as Petri Nets or DEVS), our ASM semantics takes all basic DES concepts (like event types and the FEL) into consideration and allows for expressive transition system states representing the objects, properties, relations and functions of the evolving possible worlds of a simulation run. As a direct formal semantics of DES, it provides a basis for comparing, and explaining design choices in, different DES approaches.
Year
DOI
Venue
2017
10.5555/3242181.3242239
WSC '17: Winter Simulation Conference Las Vegas Nevada December, 2017
Keywords
Field
DocType
Future Event List,transition system state,transition function,event routines,ASM semantics,basic DES concepts,event types,expressive transition system states,simulation run,direct formal semantics,different DES approaches,abstract state machine semantics,discrete event simulation,operational semantics,basic forms,object-event simulation,DES models,FEL
Transition system,Operational semantics,Petri net,Programming language,Computer science,Simulation,Abstract state machines,DEVS,Rotation formalisms in three dimensions,Semantics,Discrete event simulation
Conference
ISSN
ISBN
Citations 
0891-7736
978-1-5386-3427-1
0
PageRank 
References 
Authors
0.34
9
1
Name
Order
Citations
PageRank
Gerd Wagner1314.55