Variations in model formulations

Mathematical programming models may contain a great deal of variations in their formulations. The same problem can be modeled as different formulations, or different problems can be modeled as the same formulations. In order to handle these variant formulations efficiently and intelligently, a model management system should be able to eliminate or recognize the variations in model formulations. We analyze possible variations involved in model formulations and categorize them into three types-syntactic, semantic and structural.

[1]  Jae Sik Lee,et al.  Structure frame-based model management system , 1989 .

[2]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

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

[4]  Stavros A. Zenios.  Integrating network optimization capabilities into a high-level modeling language , 1990, TOMS.

[5]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[6]  R. Kipp Martin,et al.  Generating Alternative Mixed-Integer Programming Models Using Variable Redefinition , 1987, Oper. Res..

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

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

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

[10]  Ting-Peng Liang.  Toward the development of a knowledge-based model management system , 1986 .

[11]  S. O. Kimbrough,et al.  Oona: an intelligent DSS for the US Coast Guard , 1988, OCEANS '88. 'A Partnership of Marine Interests'. Proceedings.

[12]  Laurence A. Wolsey,et al.  Solving Mixed Integer Programming Problems Using Automatic Reformulation , 1987, Oper. Res..

[13]  Joyce J Elam.  Model Management Systems: A Framework for Development , 1979 .

[14]  Jay W. Cohen,et al.  Structured modeling , 1982, Winter Simulation Conference.

[15]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[16]  Jae Sik Lee,et al.  MAPNOS: Mathematical programming formulation normalization system , 1990 .

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