A generalized model management system for mathematical programming

This paper examines mathematical programming software in the context of model management and decision support. The concept of a model management system (MMS) is introduced and compared to traditional modeling systems. An MMS is seen as a much more generalized software system that requires the confluence of existing operations research, database management, and artificial intelligence techniques. By incorporating powerful, abstraction-based representation structures, an MMS can support multiple levels of model abstraction, only one of which corresponds to traditional, solution-oriented modeling software. The database structures required to implement a knowledge-based MMS are discussed and a prototype system for mathematical programming, the Generalized eXperimental Math Programming system (GXMP), is described. An algebraic language developed for use in GXMP is described in detail.

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[3]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[4]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[5]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[6]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[7]  John A. N. Lee,et al.  The anatomy of a compiler , 1974 .

[8]  Hartmut J. Will,et al.  Model management systems , 1975 .

[9]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[10]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[11]  田中 穂積.  E.H.Shortliffe 著, "Computer-Based Medical Consultations : MYCIN", American Elsevier, A4判, 264ぺージ, \10,080, 1976 , 1978 .

[12]  Donald E. Knuth,et al.  The art of computer programming: V.1.: Fundamental algorithms , 1997 .

[13]  Peter G. W. Keen,et al.  Decision support systems : an organizational perspective , 1978 .

[14]  Richard P. O'Neill,et al.  PERUSE: An Interactive System for Mathematical Programs , 1980, TOMS.

[15]  Richard E. Korf,et al.  Toward a Model of Representation Changes , 1980, Artif. Intell..

[16]  Joyce J. Elam,et al.  Model Management Systems: an Approach to Decision Support in Complex Organizations , 1980, ICIS.

[17]  Michael Rodeh,et al.  A System for Constructing Linear Programming Models , 1980, IBM Syst. J..

[18]  Robert H. Bonczek,et al.  A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management , 1981, Oper. Res..

[19]  Roy E. Marsten,et al.  The Design of the XMP Linear Programming Library , 1981, TOMS.

[20]  Howard Carter,et al.  Foundations of Decision Support Systems , 1982 .

[21]  Ralph H. Sprague,et al.  Building Effective Decision Support Systems , 1982 .

[22]  Robert Fourer,et al.  Modeling languages versus matrix generators for linear programming , 1983, TOMS.

[23]  Harvey J. Greenberg,et al.  A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models , 1983, TOMS.

[24]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[25]  Amitava Dutta,et al.  An Artificial Intelligence Approach to Model Management in Decision Support Systems , 1984, Computer.

[26]  Daniel R. Dolk,et al.  Knowledge Representation for Model Management Systems , 1984, IEEE Transactions on Software Engineering.

[27]  John P. McDermott,et al.  R1 Revisited: Four Years in the Trenches , 1984, AI Mag..

[28]  Yau.  Editor-in-Chief's Introduction: The State of Computing: Environment Systems Applications , 1984 .

[29]  Daniel R. Dolk,et al.  Model management in organizations , 1985, Inf. Manag..