This volume presents a unique combination of modeling and solving real world optimization problems. It is the only book which treats systematically the major modeling languages and systems used to solve mathematical optimization problems, and it also provides a useful overview and orientation of today's modeling languages in mathematical optimization. It demonstrates the strengths and characteristic features of such languages and provides a bridge for researchers, practitioners and students into a new world: solving real optimization problems with the most advances modeling systems. This book deals with the aspects of modeling and solving real-world optimiza tion problems in a unique combination. It treats systematically the major mod eling languages and modeling systems used to solve mathematical optimization problems. The book is an offspring ofthe 71 st Meeting of the GOR (Gesellschaft fill Operations Research) Working Group Mathematical Optimization in Real Life which was held under the title Modeling Languages in Mathematical Op timization during April 23-25, 2003 in the German Physics Society Confer ence Building in Bad Honnef, Germany. The modeling language providers AIMMS Johannes Bisschop, Paragon Decision Technology B. V, Haarlem, The Netherlands, AMPL Bob Fourer, Northwestern Univ. ; David M. Gay, AMPL Optimization LLC., NJ, GAMS Alexander Meeraus, GAMS Development Corporation, Washington D.C., Mosel Bob Daniel, Dash Optimization, Blisworth, UK, MPL Bjami Krist jansson, Maximal Software, Arlington, VA, NOP-2 Hermann Schichl, Vienna University, Austria, PCOMP Klaus Schittkowski, Bayreuth University, Germany, and OPL Sofiane Oussedik, ILOG Inc., Paris, France gave deep insight into their motivations and conceptual design features of their software, highlighted their advantages but also critically discussed their limits. The participants benefited greatly from this symposium which gave a useful overview and orientation on today's modeling languages in optimization. Roughly speaking, a modeling language serves the need to pass data and a mathematical model description to a solver in the same way that people, es Of course, in pecially mathematicians describe those problems to each other Front Matter....Pages i-xxx Front Matter....Pages 1-1 Mathematical Optimization and the Role of Modeling Languages....Pages 3-24 Models and the History of Modeling....Pages 25-36 Mathematical Model Building....Pages 37-43 Theoretical Concepts and Design of Modeling Languages for Mathematical Optimization....Pages 45-62 The Importance of Modeling Languages for Solving Real-World Problems....Pages 63-68 Front Matter....Pages 69-69 The Modeling Language AIMMS....Pages 71-104 Design Principles and New Developments in the AMPL Modeling Language....Pages 105-135 General Algebraic Modeling System (GAMS)....Pages 137-157 The LINGO Algebraic Modeling Language....Pages 159-171 The LPL Modeling Language....Pages 173-183 The MINOPT Modeling Language....Pages 185-209 Mosel: A Modular Environment for Modeling and Solving Optimization Problems....Pages 211-238 The MPL Modeling System....Pages 239-266 The Optimization Systems MPSX and OSL....Pages 267-278 The NOP-2 Modeling Language....Pages 279-291 The OMNI Modeling System....Pages 293-306 The OPL Studio Modeling System....Pages 307-350 PCOMP: A Modeling Language for Nonlinear Programs with Automatic Differentiation....Pages 351-368 The TOMLAB Optimization Environment....Pages 369-376 Front Matter....Pages 377-377 The Future of Modeling Languages and Modeling Systems....Pages 379-382 Back Matter....Pages 383-407
