Computer-aided model construction

Abstract We examine ways in which the construction of mathematical models may be supported, and review several approaches for computer-aided model construction. The construction of complex models can be a challenging task even for expert modelers. The aim of computer-aided model construction systems is to simplify this task. We view model construction as a state transformation process, and suggest that the process can be facilitated by supporting the creation of certain representations or by transforming an existing representation to another. For example, declarative modeling languages facilitate the specification of an executable statement of the mathematical model, while knowledge-based model construction systems assist the creation of the mathematical formulation. Knowledge-based model construction systems are the focus of our review of existing systems. To facilitate a comparison of several such systems, we characterize them in terms of their cognitive bases, the representations developed in them, and the methods for transformation of these representations.

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

[2]  Jan Treur.  A logical framework for design processes , 1992 .

[3]  Carma McClure,et al.  Case is Software Automation , 1988 .

[4]  Hemant K. Bhargava,et al.  A logic model for model management: an embedded languages approach , 1990 .

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

[6]  Ting-Peng Liang.  Development of a Knowledge-Based Model Management System: Special Focus Article , 1988, Oper. Res..

[7]  Saul I. Gass,et al.  Managing the modeling process: a personal reflection , 1987 .

[8]  Hemant K. Bhargava,et al.  A formal approach for model formulation in a model management system , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[9]  Brian Falkenhainer,et al.  Setting up Large-Scale Qualitative Models , 1988, AAAI.

[10]  Arthur W. Westerberg,et al.  An introduction to ASCEND: its language and interactive environment , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[11]  Ramayya Krishnan.  PDM: a knowledge-based tool for model construction , 1991, Decis. Support Syst..

[12]  Ramayya Krishnan,et al.  Automated model construction: A logic based approach , 1990 .

[13]  Jerome A. Feldman.  Automatic programming. , 1972 .

[14]  Roger Alan Pick,et al.  A knowledge engineered linear programming formulation assistant , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[15]  Phil F. Culverhouse,et al.  A psychologically based intelligent design aid , 1992 .

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

[17]  James R. Evans,et al.  Eliciting Knowledge Representation Schema for Linear Programming Formulation , 1990 .

[18]  Ramayya Krishnan.  A logic modeling language for automated model construction , 1990, Decis. Support Syst..

[19]  Christopher V. Jones,et al.  An Introduction to Graph-Based Modeling Systems, Part I: Overview , 1990, INFORMS J. Comput..

[20]  Elliot Soloway,et al.  A Goal/Plan Analysis of Buggy Pascal Programs , 1985, Hum. Comput. Interact..

[21]  Sanjaya Addanki,et al.  Reasoning About Assumptions in Graphs of Models , 1989, IJCAI.

[22]  Hemant K. Bhargava,et al.  On the integration of data and mathematical modeling languages , 1992, Ann. Oper. Res..

[23]  Matthias Jarke,et al.  Domain-Specific Dss Tools for Knowledge-Based Model Building , 1985, Decis. Support Syst..

[24]  John R. Anderson,et al.  Debugging: An Analysis of Bug-Location Strategies , 1987, Hum. Comput. Interact..

[25]  Thomas L. Saaty,et al.  Thinking with models: Mathematical Models in the Physical, Biological, and Social Sciences , 1981 .

[26]  Ben Shneiderman,et al.  Designing The User Interface , 2013 .

[27]  Christopher V. Jones.  An Introduction to Graph-Based Modeling Systems, Part II: Graph-Grammars and the Implementation , 1991, INFORMS J. Comput..

[28]  Ting-Peng Liang.  Modeling by analogy: a case-based approach to automated linear program formulation , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[29]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[30]  Brian W. Kernighan,et al.  AMPL: a mathematical programming language , 1989 .

[31]  Roger Alan Pick,et al.  A systems framework for model management in organizations , 1987 .

[32]  Frederic H. Murphy,et al.  A graphics interface for linear programming , 1989, CACM.

[33]  Ramayya Krishnan,et al.  A knowledge-based mathematical model formulation system , 1992, CACM.

[34]  Srinivasan Raghunathan.  An artificial intelligence approach to the formulation and maintenance of models , 1990 .

[35]  James Martin,et al.  Structured Techniques: The Basis for Case , 1988 .

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