Incorporating support for model execution within the condition specification

Transactions of the Society for Computer Simulation

Volumn 16, Issue 2, 1999, Pages 47-62

  Page, Ernest H ^a   Nance, Richard E ^b  

^a MITRE CORPORATION   (United States)

^b State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATIONAL LINGUISTICS; GRAPH THEORY; MATHEMATICAL MODELS;

CONDITION SPECIFICATION; DISCRETE EVENT SIMULATION;

COMPUTER SIMULATION LANGUAGES;

EID: 0032687596     PISSN: 07406797     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (42)

1. Balci, O. "Validation, Verification, and Testing Techniques Throughout the Life Cycle of a Simulation Study." Simulation and Modeling, Annals of Operations Research, Vol. 53, O. Balci, editor, pp 121-173, 1994.
2. Nance, R.E., Balci, O. "Simulation Model Management Objectives and Requirements." Systems and Control Encyclopedia: Theory, Technology, Applications, M.G. Singh, editor, Pergamon Press, Oxford, pp 4328-4333, 1987.
3. Neighbors, J.M. "The DRACO Approach to Constructing Software from Reusable Components." IEEE Transactions on Software Engineering, Vol. SE-10, No. 9, pp 564-574, Sept. 1984.
4. Brooks, F.P., Jr. The Mythical Man Month, Addison-Wesley, Reading, MA, 1975.
5. Overstreet, C.M. "Model Specification and Analysis for Discrete Event Simulation." PhD Dissertation, Department of Computer Science, Virginia Tech, Blacksburg, VA, Dec. 1982.
6. Overstreet, C.M., Nance, R.E. "World View Based Discrete Event Model Simplification." Modelling and Simulation Methodology in the Artificial Intelligence Era, M.S. Elzas, T.I. Ören and B.P. Zeigler, editors, North-Holland, pp 165-179, 1986.
7. Bauer, K.W. Jr., Kochar, B., Talavage, J.J. "Simulation Model Decomposition by Factor Analysis." In Proceedings of the 1985 Winter Simulation Conference, pp 185-188, San Francisco, Dec. 11-13, 1985.
8. Bauer, K.W. Jr., Kochar, B., Talavage, J.J. "Discrete Event Simulation Model Decomposition by Principal Components Analysis." ORSA Journal on Computing, Vol. 3, No. 1, pp 23-32, 1991.
9. Nance, R.E., Overstreet, C.M. "Diagnostic Assistance Using Digraph Representations of Discrete Event Simulation Model Specifications." TRANSACTIONS of the Society for Computer Simulation, Vol. 4, No. 1, pp 33-57, Jan. 1987.
10. Nance, R.E., Overstreet, C.M. "Exploring the Forms of Model Diagnosis in a Simulation Support Environment." Proceedings of the 1987 Winter Simulation Conference, pp 590-596, Atlanta, Dec. 14-16, 1987.
11. Overstreet, C.M., Nance, R.E. "A Specification Language to Assist in Analysis of Discrete Event Simulation Models." Communications of the ACM, Vol. 28, No. 2, pp 190-201, Feb. 1985.
12. Balci, O., Nance, R.E., Derrick, E.J., Page, E.H., Bishop, J.L. "Model Generation Issues in a Simulation Support Environment." In Proceedings of the 1990 Winter Simulation Conference, pp 257-263, New Orleans, Dec. 9-12, 1990.
13. Barger, L.F. "The Model Generator: A Tool for Simulation Model Definition, Specification, and Documentation." MS Thesis, Department of Computer Science, Virginia Tech, Blacksburg, VA, Aug. 1986.
14. Hansen, R.H. "The Model Generator: A Crucial Element of the Model Development Environment." Technical Report CS84008-R, Department of Computer Science, Virginia Tech, Blacksburg, VA, Aug. 1984.
15. Page, E.H. "Model Generators: Prototyping Simulation Model Definition, Specification, and Documentation Under the Conical Methodology." MS Thesis, Department of Computer Science, Virginia Tech, Blacksburg, VA, Aug. 1990.
16. Page, E.H. "Simulation Modeling Methodology: Principles and Etiology of Decision Support." PhD Dissertation, Department of Computer Science, Virginia Tech, Blacksburg, VA, Sept. 1994.
17. Nance, R.E., Overstreet, C.M., Page, E.H. "Redundancy in Model Specifications for Discrete Event Simulation." ACM Transactions on Modeling and Computer Simulation, submitted August 1998, revised April 1999.
18. Nance, R.E., Overstreet, C.M., Page, E.H. "Redundancy in Model Representation: A Blessing or a Curse?" In Proceedings of the 1996 Winter Simulation Conference, pp 701-707, Coronado, CA, Dec. 8-11, 1996.
19. Overstreet, C.M., Page, E.H, Nance, R.E. "Model Diagnosis using the Condition Specification: From Conceptualization to Implementation." In Proceedings of the 1994 Winter Simulation Conference, pp 566-573, Orlando, FL, Dec. 12-15, 1994.
20. Nance, R.E. "The Conical Methodology and the Evolution of Simulation Model Development." Annals of Operations Research, Vol. 53, Simulation and Modeling, O. Balci, editor, pp 1-45, 1994.
21. Puthoff, F.A. "The Model Analyzer: Prototyping the Diagnosis of Discrete-Event Simulation Model Specification." MS Thesis, Department of Computer Science, Virginia Tech, Blacksburg, VA, Sept. 1991.
22. Wallace, J.C. "The Control and Transformation Metric: A Basis for Measuring Model Complexity." MS Thesis, Department of Computer Science, Virginia Tech, Blacksburg, VA, March 1985.
23. Parnas, D.L. "On Simulating Networks of Parallel Processes in which Simultaneous Events May Occur." Communications of the ACM, Vol. 12, No. 9, Sept. 1969
24. Cota, B.A., Sargent, R.G. "Simultaneous Events and Distributed Simulation." In Proceedings of the 1990 Winter Simulation Conference, pp 436-440, New Orleans, Dec. 9-12, 1990.
25. Balci, O. "The Implementation of Four Conceptual Frameworks for Simulation Modeling in High-Level Languages." In Proceedings of the 1988 Winter Simulation Conference, pp 287-295, San Diego, Dec. 12-14, 1988.
26. Aho, A.V., Sethi, R., Ullman, J.D. Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, MA, 1986
27. Stone, H.S. High-Performance Computer Architecture, Addison-Wesley, Reading, MA, 1987.
28. Jacobson, S.H., Yüccsan, E. "Intractability Results in Discrete-Event Simulation." Recherche Opérationnelle, Vol. 29, No. 3, pp 353-369, 1995.
29. Törn, A.A. "Simulation Graphs: A General Tool for Modeling Simulation Designs." SIMULATION, Vol. 37, No. 6, pp 187-194, Dec. 1981.
30. Yücesan, E. "Simulation Graphs for the Design and Analysis of Discrete Event Simulation Models." PhD Dissertation, Cornell University, Ithaca, NY, 1989.
31. Yücesan, E., Jacobsen, S.H. "Building Correct Simulation Models is Difficult." In Proceedings of the 1992 Winter Simulation Conference, pp 783-790, Arlington, VA, Dec. 13-16, 1992.
32. Yücesan, E., Jacobson, S.H. "Structural and Behavioral Equivalence of Simulation Models." ACM Transactions on Modeling and Computer Simulation, Vol. 6, No. 1, pp 53-75, Jan. 1996.
33. Lin, Y-B. "Parallelism Analyzers for Parallel Discrete Event Simulation." A CM Transactions on Modeling and Computer Simulation, Vol. 2, No. 3, pp 239-264, July 1992.
34. Matthes, S.R. "Discrete Event Simulation Model Decomposition." MS Thesis, School of Engineering, Air Force Institute of Technology, Wright-Patterson Air Force Base, OH, Dec. 1988.
35. Nicol, D.M., Fujimoto, R. "Parallel Simulation Today." Annals of Operations Research, Vol. 53, Simulation and Modeling, O. Balci, editor, pp 249-285, 1994.
36. Nicol, D.M., Heidelberger, P. "Parallel Execution for Serial Simulators." ACM Transactions on Modeling and Computer Simulation, Vol. 6, No. 3, pp 210-242, July 1996.
37. Weatherly, R.M., Wilson, A.L., Canova, B.S., Page, E.H., Zabek, A.A., Fischer, M.C. "Advanced Distributed Simulation Through the Aggregate Level Simulation Protocol." In Proceedings of the 29th Hawaii International Conference on Systems Sciences, Vol. 1, pp 407-415, Wailea, HI, Jan. 3-6, 1996.
38. Steinman, J.S. "SPEEDES: A Unified Approach to Parallel Simulation." In Proceedings of 6th Workshop on Parallel and Distributed Simulation, SCS Simulation Series, Vol. 24, No. 3, pp 75-84, Newport Beach, CA, Jan. 20-22, 1992.
39. Steinman, J.S. "Discrete-Event Simulation and the Event Horizon." In Proceedings of 8th Workshop on Parallel and Distributed Simulation, pp 39-49, Edinburgh, Scotland, July 6-8, 1994.
40. Gunter, M.A. "Understanding Supercritical Speedup." In Proceedings of the 8th Workshop on Parallel and Distributed Simulation, pp 81-87, Edinburgh, Scotland, July 6-8, 1994.
41. Jefferson, D., Reiher, P. "Supercritical Speedup." In Proceedings of the 24th Annual Simulation Symposium, pp 159-168, April 1991.
42. Srinivasan, S., Reynolds, P.F. "Super-criticality Revisited." In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp 130-136, Lake Placid, NY, June 14-16, 1995.