Browsing by Author "Barger, Lynne F."

Now showing 1 - 3 of 3
  • Thumbnail Image
    The model generator: a tool for simulation model definition, specification, and documentation
    Barger, Lynne F. (Virginia Polytechnic Institute and State University, 1986)
    The Model Generator, one of the automated tools of the Model Development Environment, supports the process of discrete event simulation model development by guiding a modeler through model definition and model specification. This research focuses on the specification process within the Model Generator. A design is proposed and requirements are established for extending an existing generator prototype to incorporate model specification. The specification is obtained interactively by engaging a modeler in a series of dialogues. The modeler's responses are stored in a database that is structured to represent a model specification in the notation prescribed by Condition Specifications. The dialogue has been designed to solicit the specific information required for a Condition Specification. Furthermore, the dialogue has been organized according to levels with each dialogue at a given level responsible for completing the database elements prescribed for that level. The results of initial experimentation with an implementation of the design are positive. The prototype appears capable of producing a Condition Specification while offering broader support to the modeling task in concert with utilization and enforcement of the underlying philosophy imparted by the Conical Methodology.
  • Thumbnail Image
    Simulation Model Development: System Specification Techniques
    Barger, Lynne F.; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1986)
    A review of software specification techniques and specification languages is described. Special emphasis given to simulation model specification and the degree to which general software techniques are applicable in the modeling domain. The role of specification is examined in terms of existing techniques as well as abstraction permitting the identification of desirable properties unrelated to existing tools. A categorization of specification languages assists in understanding the similarities and differences among current approaches.
  • Thumbnail Image
    Specification Languages: Understanding Their Role in Simulation Model Development
    Overstreet, C. Michael; Nance, Richard E.; Balci, Osman; Barger, Lynne F. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1987)
    Current software specification techniques and specification languages are reviewed, emphasizing research activities in software specification languages. Alternate software life cycle models are described and compared to a simulation life cycle model. The importance of constructing a model specification before creating a programmed model is emphasized. Disadvantages in using simulation programming languages as model specification languages are discussed. The multiple uses which are made of a model specification are presented; these uses correspond to the alternate uses made of a requirements specification for general software. To evaluate where specification tools for general software will be effective for simulation modeling, both areas where the simulation life cycle corresponds to a general software life cycle and areas in which they differ are characterized. Important