Redundancy in Model Specifications for Discrete Event Simulation

ACM Transactions on Modeling and Computer Simulation

Volumn 9, Issue 3, 1999, Pages 254-281

  Nance, Richard E ^a   Overstreet, C Michael ^b   Page, Ernest H ^c  

^a VIRGINIA STATE UNIVERSITY   (United States)

^b ECS Building   (United States)

^c MITRE CORPORATION   (United States)

Author keywords

Discrete event simulation; Model analysis; Model development environments; Uses of redundancy

Indexed keywords

DISCRETE EVENT SIMULATION;

AUTOMATION; COMPUTER SIMULATION; MATHEMATICAL MODELS; REDUNDANCY;

SYSTEMS ANALYSIS;

EID: 0242430304     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/347823.347831     Document Type: Article

References (37)

1. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
2. BALCI, O. 1988. The implementation of four conceptual frameworks for simulation modeling in high-level language. In Proceedings of the Winter Simulation Conference (WSC '88, San Diego, CA, Dec.), D. J. Medeiros, E. J. Watson, M. Manivannan, and J. Carson, Eds. ACM Press, New York, NY, 287-295.
3. BARGER, L. F. 1986. The model generator: A tool for simulation model definition, specification, and documentation. Master's Thesis. Department of Computer Science, Virginia Tech, Blacksburg, VA.
4. BUXTON, J. N. AND LASKI, J. G. 1963. Control and simulation language. Comput. J. 5, 194-199.
5. COTA, B. A. AND SARGENT, R. G. 1990. Simultaneous events and distributed simulation. In Proceedings of the 1990 Winter Simulation Conference (WSC '90, New Orleans, La., Dec.), ACM Press, New York, NY, 436-440.
6. COX, D. R. AND SMITH, W. L. 1961. Queues. Methuen and Co., Ltd., London, England.
7. DIJKSTRA, B. W. 1975. Guarded commands, nondeterminacy, and formal derivation of programs. Commun. ACM 18, 8 (Aug.), 453-475.
8. FISHMAN, G. S. 1973. Concepts and Methods in Discrete Event Digital Simulation. JohnWiley and Sons, Inc., New York, NY.
9. GURALNIK, D. B., Ed. 1980. Webster's New World Dictionary. William Collins Publishers, Inc., Cleveland, Ohio.
10. HANSEN, R. H. 1984. The model generator: A crucial element of the model development environment. Technical Report CS84008-R. Department of Computer Science, Virginia Tech, Blacksburg, VA.
11. HOARE, C. A. R. 1981. The emperor's old clothes. Commun. ACM 24, 2 (Feb. 1981), 75-83.
12. LACKNER, M. R. 1964. Digital simulation and system theory. Technical Report SDC SP-12. System Development Corporation, Santa Monica, CA.
13. NANCE, R. E. 1971. On time flow mechanisms for discrete system simulation. Manage. Sci. 18, 1 (Sept.), 59-73.
14. NANCE, R. E. 1981. The time and state relationships in simulation modeling. Commun. ACM 24, 4 (Apr.), 173-179.
15. NANCE, R. E. 1983. A tutorial view of simulation model development. In Proceedings of the 1983 Winter Simulation Conference (WSC '83, Washington, D.C., Dec.), ACM Press, New York, NY, 325-331.
16. NANCE, R. E. 1994. The conical methodology and the evolution of simulation model development. Ann. Oper. Res., 1-45.
17. NANCE, R. E. AND ARTHUR, J. D. 1988. The methodology roles in the realization of model development environments. In Proceedings of the Winter Simulation Conference (WSC '88, San Diego, CA, Dec.), D. J. Medeiros, E. J. Watson, M. Manivannan, and J. Carson, Eds. ACM Press, New York, NY, 220-225.
18. NANCE, R. E. AND OVERSTREET, C. M. 1987a. Diagnostic assistance using digraph representations of discrete event simulation model specifications. Trans. Soc. Comput. Simul. 4, 1 (Jan.), 33-57.
19. NANCE, R. E. AND OVERSTREET, C. M. 1987b. Exploring the forms of model diagnosis in a simulation support environment. In Proceedings of the 1987 Winter Simulation Conference (WSC '87, Atlanta, GA, Dec.), ACM Press, New York, NY, 590-596.
20. OVERSTREET, C. M. 1982. Model Specification and Analysis for Discrete Event Simulation. Ph.D. Dissertation. Department of Computer Science, Virginia Tech, Blacksburg, VA.
21. OVERSTREET, C M. AND NANCE, R. E. 1985. A specification language to assist in analysis of discrete event simulation models. Commun. ACM 28, 2 (Feb. 1985), 190-201.
22. OVERSTREET, C. M. AND NANCE, R. E. 1986. World view based discrete event model simplification. In Modelling and Simulation Methodology in the Artificial Intelligence Era Elsevier Sci. Pub. B. V., Amsterdam, The Netherlands, 165-179.
23. OVERSTREET, C. M., PAGE, E. H., AND NANCE, R. E. 1994. Model diagnosis using the condition specification: from conceptualization to implementation. In Proceedings of the 1994 Winter Conference on Simulation (WSC'94, Lake Buena Vista, FL, Dec. 11-14, 1994), D. A. Sadowski, A. F. Seila, M. S. Manivannan, and J. D. Tew, Eds. Society for Computer Simulation, San Diego, CA, 566-573.
24. PAGE, E. H. 1990. Model generators: Prototyping simulation model definition, specification, and documentation under the conical methodology. Master's Thesis. Department of Computer Science, Virginia Tech, Blacksburg, VA.
25. PAGE, E. H. 1993. The condition specification: Revisiting its role within a hierarchy of simulation model specifications. SIGSIM Simul. Dig. 22, 3 (Mar., 1993), 11-33.
26. PAGE, E. H. 1994. Simulation modeling methodology: Principles and etiology of decision support. Ph.D. Dissertation. Department of Computer Science, Virginia Tech, Blacksburg, VA.
27. PAGE, E. H. AND NANCE, R. E. 1999. Incorporating support for model execution within the condition specification. Trans. Soc. Comput. Simul. 16, 2 (June), 47-62.
28. PUTHOFF, F. A. 1990. The automatic simplification of the action cluster incidence graph: An expert system approach. Tech. Rep., Department of Computer Science, Virginia Tech, Blacksburg, VA.
29. PUTHOFF, F. A. 1991. The model analyzer: Prototyping the diagnosis of discrete-event simulation model specification. Master's Thesis. Department of Computer Science, Virginia Tech, Blacksburg, VA.
30. SCHRIBER, T. J. 1974. An Introduction to Simulation Using GPSS/H. John Wiley and Sons, Inc., New York, NY.
31. SCHRUBEN, L. 1983. Simulation modeling with event graphs. Commun. ACM 26, 11 (Nov.), 957-963.
32. SOM, T. K. AND SARGENT, R. G. 1989. A formal development of event graphs as an aid to structured and efficient simulation programs. ORSA J. Comput. 1, 2, 107-125.
33. TOCHER, K. D. 1963. The Art of Simulation. Van Nostrand Reinhold Co., New York, NY.
34. WALLACE, J. C. 1987. The control and transformation metric: Toward the measurement of simulation model complexity. In Proceedings of the 1987 Winter Simulation Conference (WSC '87, Atlanta, GA, Dec.), ACM Press, New York, NY, 597-603.
35. YUCESAN, E. 1992. Structural and behavioral equivalence of simulation models. ACM Trans. Model. Comput. Simul. 2, 1 (Jan. 1992), 82-103.
36. ZEIGLER, B. P. 1976. Theory of Modelling and Simulation. John Wiley and Sons, Inc., New York, NY.
37. ZEIGLER, B. P. 1984. Multifacetted Modelling and Discrete Event Simulation. Academic Press Prof., Inc., San Diego, CA.