{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/45114"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/45114","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"The model analyzer: prototyping the diagnosis of discrete-event simulation model specifications","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Puthoff, Frederick Anthony"],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Computer Science","degree_department":"Computer Science","school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1991,"date_issued":"1991","date_published":"1991","updated_at":"2026-07-22T22:19:22Z","subjects":[],"languages":["en"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-10102009-020137"],"render_values":[{"text":"etd-10102009-020137","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/45114","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.department","label":"Department","values":["Computer Science"]},{"key":"dc:creator","label":"Author","values":["Puthoff, Frederick Anthony"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:47:14Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:47:14Z","2009-10-10"]},{"key":"dc:date.issued","label":"Date","values":["1991"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Tech"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-10102009-020137"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/45114"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Master of Science"]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["BTD"]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["The model analyzer: prototyping the diagnosis of discrete-event simulation model specifications"]}]}],"canonical_facts":{"dc:contributor.department":["Computer Science"],"dc:creator":["Puthoff, Frederick Anthony"],"dc:date.accessioned":["2014-03-14T21:47:14Z"],"dc:date.available":["2014-03-14T21:47:14Z","2009-10-10"],"dc:date.issued":["1991"],"dc:description.abstract":["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."],"dc:description.degree":["Master of Science"],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-10102009-020137"],"dc:identifier.uri":["http://hdl.handle.net/10919/45114"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["The model analyzer: prototyping the diagnosis of discrete-event simulation model specifications"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:19:22Z"}