GRAPH-BASED DIAGNOSIS OF DISCRETE EVENT MODEL SPECIFICATIONS

Overstreet, C. Michael and Nance, Richard E. (1983) GRAPH-BASED DIAGNOSIS OF DISCRETE EVENT MODEL SPECIFICATIONS. Technical Report CS83028-R, Computer Science, Virginia Tech.

Abstract

Several diagnostics which assist in the construction of specifications for discrete event simulation models are defined. The model specifications to be analyzed must be in a particular form called a Condition Specification. The diagnostics are based on analysis of graphs easily derived from a Condition Specification. Most of the diagnostics are intended to be applied as a Condition Specification is being developed. Th ree categories for the classification of diagnostics of model specifications are defined. Two examples illustrate the graphical forms derivable from a Condition Specification.