An interactive graphics-based linear, integer and goal programme modelling environment

Abstract Model development packages have, in recent years, become a standard tool for the development of linear and integer programmes. This can be seen by the popularity of such algebraic modelling languages as GAMS, AMPL etc. Traditionally, they have been designed around text based systems, and therefore offer a formal and structured declarative language for model definition. However, with the onset of graphics-based operating systems, standard graphical screen objects can be utilised to offer a fully interactive and guided model development package. It is noted by Greenberg that providing analysis tools to the modeller offers a form of intelligent computer assistance. Therefore, it is a natural extension to the modelling package to provide an encapsulated environment for the investigation and development of linear, integer and goal programmes. A complete interactive graphics-based environment for the process of developing, solving and analysing linear, integer and goal programmes (named MoGLI) is presented. The specifications of the package are discussed for such an environment. User-interface screens for model definition are introduced and described, together with a formal algebraic modelling language developed primarily for model processing, although model definition can be performed in either mode. The integration of analysis tools such as preprocessing routines and infeasibility analysis routines are also described, together with standard model information screens.

[1]  John D. C. Little,et al.  On model building , 1993 .

[2]  John W. Chinneck,et al.  Locating Minimal Infeasible Constraint Sets in Linear Programs , 1991, INFORMS J. Comput..

[3]  Jeffrey E. Kottemann,et al.  Model integration and a theory of models , 1993, Decis. Support Syst..

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

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

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

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

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

[9]  Harvey J. Greenberg,et al.  Enhancements of ANALYZE: a computer-assisted analysis system for linear programming , 1993, TOMS.

[10]  Harvey J. Greenberg,et al.  Analyze: A computer-assisted analysis system for linear programming models , 1987 .

[11]  Mehrdad Tamiz,et al.  Detecting iis in infeasible linear programmes using techniques from goal programming , 1996, Comput. Oper. Res..

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

[13]  Erling D. Andersen,et al.  Presolving in linear programming , 1995, Math. Program..

[14]  Gautam Mitra,et al.  Analysis of mathematical programming problems prior to applying the simplex algorithm , 1975, Math. Program..

[15]  Christopher Vyn Jones,et al.  Visualization and Optimization , 1997 .

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

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

[18]  Harvey J. Greenberg,et al.  Approaches to Diagnosing Infeasible Linear Programs , 1991, INFORMS J. Comput..

[19]  Alfred V. Aho,et al.  Data Structures and Algorithms , 1983 .