Algebraic languages for mathematical programming

This paper is a survey of algebraic modeling languages, which are playing an increasingly prominent role in the application of mathematical programming. An algebraic language is a computer readable language in which the objective function and the constraints of an optimization model are described algebraically. The emphasis in this paper is on descriptions of prominent language features, and comparisons with other representations of mathematical programs. The language features are evaluated on the basis of their contribution to the human ability to understand, maintain and verify model descriptions. Several recent research contributions are mentioned indicating that there is ample room for both improvements of algebraic languages and new types of languages.

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

[2]  Ramesh Sharda,et al.  LP modeling languages for personal computers: A comparison , 1993, Ann. Oper. Res..

[3]  Marjorie A. McClain,et al.  Problem Specification for Linear Programs , 1986 .

[4]  Leif Gustafsson,et al.  Coupling DYNAMO and optimization software , 1986 .

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

[6]  David B. Loveman,et al.  Incorporation of units into programming languages , 1978, CACM.

[7]  Arne Drud,et al.  A survey of model representations and simulation algorithms in some existing modeling systems , 1983 .

[8]  Gautam Mitra,et al.  UIMP: User Interface for Mathematical Programming , 1982, TOMS.

[9]  H. P. Williams,et al.  Model Building in Mathematical Programming , 1979 .

[10]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

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

[12]  Fer-Jan de Vries.  A functional program for the fast Fourier transform , 1988, ACM SIGPLAN Notices.

[13]  J. J. Bisschop,et al.  On the Use of the Modelling System GAMS at an Energy Study Centre , 1986 .

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

[15]  T. Hürlimann,et al.  LPL: A structured language for linear programming modeling , 1988 .

[16]  Geoff Baldwin.  Implementation of physical units , 1987, SIGP.

[17]  Jr. James S. Welch,et al.  PAM- a practitioner's approach to modeling , 1987 .

[18]  Thomas E. Baker.  A hierarchical/relational approach to modeling , 1990 .

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

[20]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

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

[22]  Stef Joosten.  Functional system specification , 1988, Softw. Eng. J..

[23]  Johannes J. Bisschop.  A Priori Model reduction and Error Checking in Large-scale Linear Programming Applications , 1986 .

[24]  Sergio Pissanetzky,et al.  Sparse Matrix Technology , 1984 .

[25]  I. Duff,et al.  Direct Methods for Sparse Matrices , 1987 .

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

[27]  Ramesh Sharda.  The State of the Art of Linear Programming on Personal Computers , 1988 .

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

[29]  Gautam Mitra,et al.  Computer-Assisted Mathematical Programming (Modelling) System: CAMPS , 1988, Comput. J..

[30]  Ronald T. House.  A Proposal for an Extended Form of Type Checking of Expressions , 1983, Comput. J..

[31]  Ronald E. Mills,et al.  A Computer Language for Mathematical Program Formulation. , 1977 .

[32]  Frederic H. Murphy,et al.  Computer-assisted Formulation of Linear Programs , 1986 .

[33]  Ellis Horowitz.  Programming languages: a grand tour , 1983 .

[34]  A. Drud Arne Meeraus A. Brooke.  High level modeling systems and nonlinear programming , 1984 .

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

[36]  Ike Sagie.  Computer-aided modeling and planning (CAMP) , 1986, TOMS.

[37]  R. Shamir.  The Efficiency of the Simplex Method: A Survey , 1987 .

[38]  William Orchard-Hays.  History of Mathematical Programming Systems , 1984, Annals of the History of Computing.

[39]  Leon S. Lasdon,et al.  OR Practice - The Status of Nonlinear Programming Software: An Update , 1987, Oper. Res..

[40]  Bruce A. Murtagh,et al.  Advanced linear programming: Computation and practice , 1981 .

[41]  R. C. Daniel,et al.  LP-MODEL:XPRESS-LP's Model Builder , 1986 .

[42]  Harvey J. Greenberg.  A natural language discourse model to explain linear programming models and solutions , 1987, Decis. Support Syst..

[43]  Arne Drud.  Interfacing modeling systems and solution algorithms , 1983 .

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

[45]  Eugene L. Lawler,et al.  The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization , 1985 .

[46]  George B. Dantzig,et al.  Linear programming and extensions , 1965 .

[47]  Leon S. Lasdon,et al.  Extending Planning Languages to Include Optimization Capabilities , 1986 .

[48]  Gerald Kahan.  Walking Through a Columnar Approach to Linear Programming of a Business , 1982 .

[49]  Jac. M. Anthonisse.  An input system for linear programming problems , 1970 .

[50]  Dennis J. Aigner.  Letters to the editor: An interpretive input routine for linear programming , 1967, CACM.

[51]  Daniel R. Dolk,et al.  A generalized model management system for mathematical programming , 1986, TOMS.

[52]  Linus Schrage,et al.  Linear, Integer, and Quadratic Programming with Lindo , 1984 .

[53]  Clifford Jones,et al.  A New Species of Modelling System , 1986 .

[54]  Harvey J. Greenberg,et al.  Computer-assisted Modelling and Analysis of Linear Programming Problems: Towards a Unified Framework , 1986 .

[55]  Alexander Meeraus.  An algebraic approach to modeling , 1983 .

[56]  Sowmyanarayanan Sadagopan,et al.  Design considerations for a virtual information center for humanitarian assistance/disaster relief using workflow modeling , 1987 .

[57]  H. Paul Williams,et al.  MAGIC: The design and use of an interactive modelling language for mathematical programming , 1986 .

[58]  Peter Henderson,et al.  Purely Functional Operating Systems , 1982 .

[59]  Gordon H. Bradley,et al.  A Type Calculus for Executable Modelling Languages , 1986 .

[60]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[62]  Leon S. Lasdon,et al.  End-user optimization with spreadsheet models , 1989 .

[63]  Arthur M. Geoffrion.  Indexing in Modeling Languages for Mathematical Programming , 1992 .

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

[65]  R. Simons.  Mathematical Programming Modelling Using MGG , 1986 .