Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications
1986) Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications. Technical Report TR-86-08, Computer Science, Virginia Polytechnic Institute and State University. (
Automated diagnosis of digraph representations of discrete event simulation models is illustrated as an effective model verification technique, applicable prior to coding the model in an executable language. The Condition Specification is shown to provide an effective representation, from which automated analysis can initiate with a digraph extraction. Subsequent diagnostic simplification techniques are applied to the digraph, either automatically or in concert with the modeler.
|Item Type:||Departmental Technical Report|
|Subjects:||Computer Science > Historical Collection(Till Dec 2001)|
|Deposited By:||User autouser|
|Deposited On:||03 November 2005|