Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant benefits. A common objective in simulation is enhanced understanding of a system; model specification analysis can provide insights not otherwise available as well as time and cost savings in model development. The Condition Specification (CS) [1] is a model specification form that is amenable to such analysis; an XML-based representation of such is said to be in CS-XML. This paper discusses the motivations for CS-XML and presents some results from analysis efforts using CodeSurfer [2], a software static analysis tool. CS-XML also provides an essential foundation for Web Services that support the analysis of discrete-event simulation models.

REFERENCES

• 1: C Michael Overstreet , Richard E. Nance, A specification language to assist in analysis of discrete event simulation models, Communications of the ACM, v.28 n.2, p.190-201, Feb. 1985 [doi>10.1145/2786.2792]
• 2: Paul Anderson , Thomas Reps , Tim Teitelbaum , Mark Zarins, Tool Support for Fine-Grained Software Inspection, IEEE Software, v.20 n.4, p.42-50, July 2003 [doi>10.1109/MS.2003.1207453]
• 3: Lee Schruben, Simulation modeling with event graphs, Communications of the ACM, v.26 n.11, p.957-963, Nov. 1983 [doi>10.1145/182.358460]
• 4: Bernard P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems, Academic Press Professional, Inc., San Diego, CA, 1990
• 5: Richard E. Nance , C. Michael Overstreet , Ernest H. Page, Redundancy in model specifications for discrete event simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.9 n.3, p.254-281, July 1999 [doi>10.1145/347823.347831]
• 6: R. Cherinka , J. Ricci , C. M. Overstreet, Maintaining a COTS Integrated Solution - Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology?, Proceedings of the International Conference on Software Maintenance, p.160, March 16-19, 1998
• 7: World Wide Web Consortium (W3C). 2006. W3C Architecture Domain: Extensible Markup Language (XML), http://www.w3.org/XML/.
• 8: Richard Allen , Mia Gan , Robert Brown , Kai Qian, Java Web Development, Jones and Bartlett Publishers, Inc., 2006
• 9: Weiser, M., 1984, "Program Slicing," IEEE Trans. Softw. Eng., SE-10, no. 4, (July): 352--357.
• 10: Charles Michael Overstreet, Model specification and analysis for discrete event simulation, Virginia Polytechnic Institute and State University, 1982
• 11: Palm, D. C., 1947, "The Distribution of Repairmen in Servicing Automatic Machines," Industritidningen Norden, 75 75--80, 90--94, 119--123 (in Swedish).
• 12: Cox, D. R. and Smith, W. L. 1961. Queues. Methuen, London.
• 13: Buxton, J. N. and Laski, J. G., 1963, "Control and Simulation language," Comput. J, 5, no. 3, 194--199.
• 14: Thomas J. Schriber, An Introduction to Simulation Using GPSS-H, John Wiley & Sons, Inc., New York, NY, 1990
• 15: Department of Defense. 23 April 2007. DoD Architecture Framework, Version 1.5, Volume I: Definitions and Guidelines, http://jitc.fhu.disa.mil/jitc_dri/pdfs/dodaf_v1v1.pdf.
• 16: Department of Defense. 23 April 2007. DoD Architecture Framework, Version 1.5, Volume II: Product Descriptions, http://jitc.fhu.disa.mil/jitc_dri/pdfs/dodaf_v1v2.pdf.
• 17: Erik T. Ray, Learning XML, O'Reilly & Associates, Inc., Sebastopol, CA, 2003

INDEX TERMS

Keywords:
code analysis, model understanding, static code analysis, web services