A case study in model management: the US Coast Guard, GAO, TEFA-2 and structured modeling with embedded languages

We present something of a case or field study of model management. We begin by listing and discussing a series of commonly-voiced reasons not to use modeling and model management systems. We then summarize the findings from a GAO (Government Accounting Office) report on a proposal made by the US Coast Guard. The GAO report was highly critical of the analytic work behind the Coast Guard proposal and this led to its rejection. We then revisit the list of reasons not to use models and model management systems and we find them largely implausible. Following this, we describe the elements of a prototype model management system, TEFA-2, which is able to store information about models that is sufficiently rich to generate structured modeling reports as well as documented Mathematica files, which can be used to execute the models and obtain graphical output from them. TEFA-2 is a simple system (although it draws upon the sophisticated theory underlying structured modeling) and only a prototype. Yet, we believe, it and systems like it can go far to ameliorate the kinds of problems that provoked the GAO report.

[1]  Hemant K. Bhargava,et al.  Unique Names Violations, a Problem for Model Integration or You Say Tomato, I Say Tomahto , 1991, INFORMS J. Comput..

[2]  R. Dawes Judgment under uncertainty: The robust beauty of improper linear models in decision making , 1979 .

[3]  Paul B. Kantor Information Retrieval Techniques , 1994 .

[4]  M GeoffrionArthur The SML Language for Structured Modeling , 1992 .

[5]  Arthur M. Geoffrion,et al.  FW/SM: A Prototype Structured Modeling Environment , 1991 .

[6]  Hemant K. Bhargava Dimensional Analysis in Mathematical Modeling Systems: A Simple Numerical Method , 1993, INFORMS J. Comput..

[7]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[8]  Arthur M. Geoffrion The Formal Aspects of Structured Modeling , 1989, Oper. Res..

[9]  Arthur M. Geoffrion,et al.  The SML Language for Structured Modeling: Levels 3 and 4 , 1992, Oper. Res..

[10]  Arthur M. Geoffrion,et al.  The SML Language for Structured Modeling: Levels 1 and 2 , 1992, Oper. Res..

[11]  Lawrence S. Kroll Mathematica--A System for Doing Mathematics by Computer. , 1989 .

[12]  Harvey J. Greenberg,et al.  A bibliography for the development of an Intelligent Mathematical Programming System , 1996, Ann. Oper. Res..

[13]  Hemant K. Bhargava,et al.  The Coast Guard's KSS Project , 1990 .

[14]  Hemant K. Bhargava,et al.  Reasoning with assumptions, defeasibly, in model formulation , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[15]  Hemant K. Bhargava,et al.  Model management : An embedded languages approach , 1993, Decis. Support Syst..

[16]  Stephen Wolfram,et al.  Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[17]  Harvey J. Greenberg,et al.  A comparison of mathematical programming modeling systems , 1992, Ann. Oper. Res..

[18]  Hemant K. Bhargava,et al.  On Embedded Languages, Meta-Level Reasoning, and Computer-Aided Modeling , 1995 .