Model Analysis in a Model Development Environment

Moose, Robert L. and Nance, Richard E. (1987) Model Analysis in a Model Development Environment. Technical Report TR-87-29, Computer Science, Virginia Polytechnic Institute and State University.

Abstract

The Model Analyzer is a utility that renders automated and semi-automated support of the model development process. A prototype of this tool, demonstrating the capability for diagnostic analysis of non-executable model representations, is described from both a user and designer perspective. Key concepts affecting design decisions are discussed in the context of an underlying theory of model representation an analysis. The importance of world-view-independent model representation is stressed as a precursor to the early employment of model diagnosis and analysis. An example serves to illustrate the capability of the current prototype and the importance of the design concepts and the UNIX, utilities yacc and lex in the Analyzer development.