The model analyzer: prototyping the diagnosis of discrete-event simulation model specifications

This thesis describes the development of a Model Analyzer prototype for the Simulation Model Development Environment that analyzes the specifications of a discrete-event simulation model. The Model Analyzer provides early feedback by operating on model specifications instead of waiting until an exec...

Full description

Bibliographic Details
Main Author: Puthoff, Frederick Anthony
Other Authors: Computer Science
Format: Others
Language:en
Published: Virginia Tech 2014
Subjects:
Online Access:http://hdl.handle.net/10919/45114
http://scholar.lib.vt.edu/theses/available/etd-10102009-020137/
Description
Summary:This thesis describes the development of a Model Analyzer prototype for the Simulation Model Development Environment that analyzes the specifications of a discrete-event simulation model. The Model Analyzer provides early feedback by operating on model specifications instead of waiting until an executable version is produced. Analysis of model specifications allows the modeler to detect errors early in the life-cycle and provides information about the model that may prove helpful in the verification, validation, and eventual translation of the model. With the help of a graphical user interface, the Model Analyzer provides automated and semi-automated support to the modeler. The Condition Specification, a world-view independent specification, of a model is parsed and stored in a relational database. Using graph-based diagnostic techniques, the Model Analyzer presents graphical representations of the model and performs analytical, comparative, and informative diagnosis. Also, an expert system is developed that uses generic simulation knowledge to simplify one graphical representation of the model. Based on the accomplishment of the design objectives, an evaluation of the Model Analyzer is conducted. Results from the expert system and Model Analyzer are provided that indicate the Model Analyzer and the expert system are helpful analysis tools. === Master of Science