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, 1991
• 15: Erik T. Ray , Christopher R. Maden, Learning XML, O'Reilly & Associates, Inc., Sebastopol, CA, 2001

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.6 Simulation Output Analysis
      I.6.8 Types of Simulation
          Subjects: Discrete event

General Terms:
Design, Management, Performance, Verification

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