Simulation support: prototyping the automation-based paradigm
WSC '87 Proceedings of the 19th conference on Winter simulation
Using graphs to translate between world views
WSC '87 Proceedings of the 19th conference on Winter simulation
Exploring the forms of model diagnosis in a simulation support environment
WSC '87 Proceedings of the 19th conference on Winter simulation
| Hi-index | 0.00 |
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.