Model diagnosis using the condition specification: from conceptualization to implementation

Creating efficient implementations for discrete event models with complex behaviors is often difficult. The task of correctly specifying intended behaviors even without dealing with implementation and run-time details is challenging. We describe ongoing work with Condition Specifications intended to support a modeler in the creation of a model specification. A Condition Specification includes no low-level implementation details and is amenable to static analysis which can 1) identify some types of specification errors, 2) provide feedback to the model specifier which might allow the modeler to detect specification errors, or 3) assist creation of an efficient implementation. We review previous work on Condition Specifications, present some important results related to what is achievable in analysis of specifications, describe how analysis can be performed and discuss some current activities in this area.

[1]  Richard E. Nance,et al.  A specification language to assist in analysis of discrete event simulation models , 1985, CACM.

[2]  Y. V. Reddy,et al.  An introspective environment for knowledge based simulation , 1984, WSC '84.

[3]  Osman Balci,et al.  Requirements for model development environments , 1986, Comput. Oper. Res..

[4]  Robert Hans Hansen.  THE MODEL GENERATOR: A CRUCIAL ELEMENT OF THE MODEL DEVELOPMENT ENVIRONMENT , 1984 .

[5]  John L. Bishop,et al.  Model generation issues in a simulation support environment , 1990, 1990 Winter Simulation Conference Proceedings.

[6]  Lynne F. Barger.  The model generator: a tool for simulation model definition, specification, and documentation , 1986 .

[7]  Richard E. Nance,et al.  Exploring the forms of model diagnosis in a simulation support environment , 1987, WSC '87.

[8]  Jack C. Wallace.  The control and transformation metric : a basis for measuring model complexity , 1985 .

[9]  Ernest H Page.  Model generators :Prototyping simulation model definition, specification, and documentation under the conical methodology , 1990 .

[10]  Richard E. Nance,et al.  Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications , 1986 .

[11]  Frederick Anthony Puthoff.  The model analyzer :prototyping the diagnosis of discrete-event simulation model specifications , 1991 .

[12]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[13]  Richard E. Nance,et al.  The Conical Methodology and the evolution of simulation model development , 1994, Ann. Oper. Res..

[14]  Richard E. Nance.  Model Representation in Discrete Event Simulation: The Conical Methodology , 1981 .

[15]  C. M. Overstreet,et al.  Model specification and analysis for discrete event simulation , 1982 .

[16]  Ray J. Paul,et al.  CASM—The Right Environment for Simulation , 1986 .

[17]  Richard E. Nance,et al.  Simulation modeling methodology: principles and etiology of decision support , 1995 .

[18]  Osman Balci,et al.  Simulation Model Development Environments: A Research Prototype , 1986 .