Please use this identifier to cite or link to this item:
Title: A framework for formalization and strictness analysis of simulation event orderings
Authors: Teo, Y.M. 
Onggo, B.S.S. 
Keywords: Event ordering
Parallel and distributed simulation
Partially ordered set
Issue Date: 2005
Citation: Teo, Y.M., Onggo, B.S.S. (2005). A framework for formalization and strictness analysis of simulation event orderings. Simulation 81 (4) : 325-335. ScholarBank@NUS Repository.
Abstract: This article advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. First, the authors formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering and incurs implementation overheads when enforcing event ordering at runtime. Second, they apply their formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Third, they propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings, respectively. In contrast to the event parallelism measure, strictness is independent of time. © 2005 The Society for Modeling and Simulation International.
Source Title: Simulation
ISSN: 00375497
DOI: 10.1177/0037549705054930
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.