We present a structure-conveying algebraic modelling language for mathematical programming. The proposed language extends AMPL with object-oriented features that allows the user to construct models from sub-models, and is implemented as a combination of pre-and post-processing phases for AMPL. Unlike traditional modelling languages, the new approach does not scramble the block structure of the problem, and thus it enables the passing of this structure on to the solver. Interior point solvers that exploit block linear algebra and decomposition-based solvers can therefore directly take advantage of the problem's structure. The language contains features to conveniently model stochastic programming problems, although it is designed with a much broader application spectrum.
Mathematics Subject Classification (2000)68N15 · 90C06 · 90C15 Supported by: "Conveying structure from modeling language to a solver", Intel Corporation, Santa Clara, USA. M. Colombo was supported by EPSRC grant EP/E036910/1.