A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
An introduction to structured modeling
Management Science
Mathematical models for decision support
The SML language for structured modeling: levels 1 and 2
Operations Research
The SML language for structured modeling: levels 3 and 4
Operations Research
Integrating multiple descriptions in simulation model design: a knowledge based approach
WSC '95 Proceedings of the 27th conference on Winter simulation
A picture-based object-oriented visual simulation environment
WSC '95 Proceedings of the 27th conference on Winter simulation
The implementation of four conceptual frameworks for simulation modeling in high-level languages
WSC '88 Proceedings of the 20th 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
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Mathematical Software (TOMS)
Simulation Using GPSS
An introspective environment for knowledge based simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
Model specification and analysis for discrete event simulation
Model specification and analysis for discrete event simulation
Simulation modeling methodology: principles and etiology of decision support
Simulation modeling methodology: principles and etiology of decision support
Web-based diagnosis of model specifications
Proceedings of the 30th conference on Winter simulation
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Hi-index | 0.00 |
With the intent of dispelling the prevailing negative connotations associated with redundancy, we argue that redundancy can effect benefits in model specification as opposed to model execution. Sources of redundancy are classified as accidental or intentional, and several examples are given for each. The comparative benefits and detriments are discussed briefly, and for the most interesting source of redundancy that induced by a modeling methodology, we demonstrate that automated elimination of redundancy can actually improve the execution time. Although the set of models investigated is small, these results are encouraging for researchers in modeling methodologies using automated model diagnosis.