Abstract
Important current trends influencing the development of modeling environments include expectations on interconnection between optimization and analytics tools, easy and secure deployment in a web-based, distributed setting and not least, the continuously increasing average and peak sizes of data instances and complexity of problems to be solved. After a short discussion of the history of modeling languages and the contributions made by FICO Xpress Mosel to this evolution, we point to a number of implementation variants for the classical travelling salesman problem (TSP) using different MIP-based solution algorithms as an example of employing Mosel in the context of parallel or distributed computing, for interacting with a MIP solver, and for the graphical visualisation of results. We then highlight some newly introduced features and improvements to the Mosel language that are of particular interest for the development of large-scale optimization applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
mp-model was initially designed to fit data and program into a CP/M’s 64 Kb limit.
- 2.
By 1992 an Intel 486 based PC had as much power as an IBM 3090 mainframe for the numerical work required by mathematical programming.
References
Colombani, Y., Daniel, B., Heipcke, S.: Mosel: a modular environment for modeling and solving problems. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 211–238. Kluwer Academic Publishers, Norwell (2004)
FICO: Press Release, 20 February 2018. https://www.fico.com/en/newsroom/fico-opens-xpress-mosel-programming-language-to-all
Bussieck, M.R., Meeraus, A.: General algebraic modeling system (GAMS). In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 137–157. Kluwer Academic Publishers, Norwell (2004)
Fourer, R., Gay, D., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco (1993)
Ashford, R.W., Daniel, R.C.: LP-MODEL: XPRESS-LP’s model builder. IMA J. Math. Manag. 1, 163–176 (1987)
Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1998)
Bisshop, J., Roelofs, M.: The modeling language AIMMS. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 71–104. Kluwer Academic Publishers, Norwell (2004)
Kristjansson, B., Lee, D.: The MPL modeling system. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 239–265. Kluwer Academic Publishers, Norwell (2004)
Heipcke, S.: Comparing constraint programming and mathematical programming approaches to discrete optimisation. J. Oper. Res. Soc. 50(6), 581–595 (1999)
Ciriani, T.A., Colombani, Y., Heipcke, S.: Embedding optimisation algorithms with Mosel. 4OR-Q. J. Oper. Res. 1(2), 155–168 (2003)
Xpress Documentation. http://www.fico.com/fico-xpress-optimization/docs/latest
Lawler, E.L.: The Travelling Salesman Problem: A Guided Tour of Combinatorial Optimization. Wiley, Hoboken (1985)
Concorde TSP Solver. http://www.math.uwaterloo.ca/tsp/concorde
Guéret, C., Heipcke, S., Prins, C., Sevaux, M.: Applications of Optimization with Xpress-MP. Dash Optimization, Blisworth (2002)
Chlond, M., Daniel, R.C., Heipcke, S.: Fiveleapers a-leaping. INFORMS Trans. Educ. 4(1), 78–82 (2003). https://doi.org/10.1287/ited.4.1.78
FICO Xpress Examples Repository. http://examples.xpress.fico.com
Heipcke, S.: Xpress-Mosel: Implementing decomposition approaches for concurrent and distributed solving. In: Presentation at the 89th Meeting of GOR WG Praxis der Mathematischen Optimierung, Bad Honnef (2012)
Heipcke, S.: Xpress-Mosel: Multi-Solver, Multi-Problem, Multi-Model, Multi-Node Modeling and Problem Solving. In: Kallrath, J. (ed.) Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems, pp. 81–114. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Heipcke, S., Colombani, Y. (2020). Xpress Mosel: Modeling and Programming Features for Optimization Projects. In: Neufeld, J.S., Buscher, U., Lasch, R., Möst, D., Schönberger, J. (eds) Operations Research Proceedings 2019. Operations Research Proceedings. Springer, Cham. https://doi.org/10.1007/978-3-030-48439-2_82
Download citation
DOI: https://doi.org/10.1007/978-3-030-48439-2_82
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-48438-5
Online ISBN: 978-3-030-48439-2
eBook Packages: Business and ManagementBusiness and Management (R0)