Graph-based Diagnosis of Discrete Event Model Specifications

Files
TR Number
CS83028-R
Date
1983
Journal Title
Journal ISSN
Volume Title
Publisher
Department of Computer Science, Virginia Polytechnic Institute & State University
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.

Description
Keywords
Citation