×

Applying software engineering techniques in the development and management of linear and integer programming applications. (English) Zbl 1309.90046

Summary: This work addresses characteristics of software environments for mathematical modeling and proposes a system for developing and managing models of linear and integer programming (IP) problems. The main features of this modeling environment are: version control of models and data; client-server architecture, which allows the interaction among modelers and decision makers; the use of a database to store information about the models and data scenarios; and the use of remote servers of optimization, which allows the optimization problems to be solved on different machines. The modeling environment proposed in this work was validated using mathematical programming models that exploit different characteristics, such as the treatment of conditions for generating variables and constraints, the use of calculated parameters derived from other parameters, and the use of integer and continuous variables in mixed IP models among others. This validation showed that the proposed environment is able to treat models found in various application areas of operations research and to solve problems with tens of thousands of variables and constraints.

MSC:

90C05 Linear programming
90C10 Integer programming
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bazaraa, Linear Programming and Network Flows (1977)
[2] Bertazzi, Minimizing the total cost in an integrated vendor-managed inventory system, Journal of Heuristics 11 pp 393– (2005) · Zbl 1122.90303 · doi:10.1007/s10732-005-0616-6
[3] Bisschop, On the development of a general algebraic modeling system in a strategic planning environment, Mathematical Programming Studies 20 pp 1– (1982) · doi:10.1007/BFb0121223
[4] Booch, The Unified Modeling Language User Guide (2005)
[5] Brook, GAMS, A User’s Guide, SIGNUM Newsletter 23 (3-4) pp 10– (1988) · doi:10.1145/58859.58863
[6] Collins-Sussman, Version Control with Subversion (2008)
[7] Conradi, Version models for software configuration management, ACM Computing Surveys 30 pp 232– (1998) · doi:10.1145/280277.280280
[8] Dutta, Database structure for a class of multi-period mathematical programming models, Decision Support Systems 45 pp 870– (2008) · doi:10.1016/j.dss.2008.02.010
[9] Estublier , J. 2000 Software configuration management: a roadmap
[10] Estublier, Objects control for software configuration management, Lecture Notes in Computer Science 2068 pp 359– (2001) · Zbl 0980.68765 · doi:10.1007/3-540-45341-5_24
[11] Fourer, Database structures for mathematical programming models, Decision Support Systems 20 pp 317– (1997) · doi:10.1016/S0167-9236(97)00007-9
[12] Fourer, Predictions for web technologies in optimization, INFORMS Journal on Computing 10 pp 388– (1998) · doi:10.1287/ijoc.10.4.388
[13] Fourer, Software survey: linear programming, OR/MS Today 38 pp 60– (2011)
[14] Fourer, A modeling language for mathematical programming, Management Science 36 pp 519– (1990) · Zbl 0701.90062 · doi:10.1287/mnsc.36.5.519
[15] Fourer, Optimization services: a framework for distributed optimization, Operations Research 58 pp 1624– (2010) · doi:10.1287/opre.1100.0880
[16] Freire, Provenance for computational tasks: a survey, Computing in Science & Engineering 10 pp 11– (2008) · Zbl 05333439 · doi:10.1109/MCSE.2008.79
[17] Geoffrion, An introduction to structured modeling, Management Science 33 pp 547– (1987) · doi:10.1287/mnsc.33.5.547
[18] Geoffrion, Computer-based modeling environments, European Journal of Operational Research 41 pp 33– (1989) · doi:10.1016/0377-2217(89)90036-2
[19] Haverly, OMNI model management system, Annals of Operations Research 104 pp 127– (2001) · Zbl 1007.90001 · doi:10.1023/A:1013143003516
[20] IBM Corporation 1975 IBM Mathematical Programming Language Extended 370 (MPSX/370)
[21] Jep Java 2011 Jep Java-math expression Parser open source http://sourceforge.net/projects/jep/
[22] Jeusfeld , M.A. Johnen , U.A. 1994 An executable meta model for re-engineering of database schemas
[23] Kitchenham , B. 2004 Procedures for performing systematic reviews
[24] Lamport, LaTeX: A Document Preparation System (1994)
[25] Lee, A model base for identifying mathematical programming structures, Decision Support Systems 7 pp 99– (1991) · doi:10.1016/0167-9236(91)90049-H
[26] Makowski, A structured modeling technology, European Journal of Operational Research 166 pp 615– (2005) · Zbl 1112.90351 · doi:10.1016/j.ejor.2004.03.037
[27] Maturana, Design and implementation of an optimization-based decision support system generator, European Journal of Operational Research 154 pp 170– (2004) · Zbl 1099.90554 · doi:10.1016/S0377-2217(02)00711-7
[28] Mens, A state-of-the-art survey on software merging, IEEE Transactions on Software Engineering 28 pp 449– (2002) · Zbl 05113725 · doi:10.1109/TSE.2002.1000449
[29] Murphy, Representation schemes for linear programming models, Management Science 38 pp 964– (1992) · Zbl 0825.90690 · doi:10.1287/mnsc.38.7.964
[30] Murta, Odyssey-SCM: an integrated software configuration management infrastructure for UML models, Science of Computer Programming 65 pp 249– (2007) · Zbl 1114.68381 · doi:10.1016/j.scico.2006.05.011
[31] Pressman, Engenharia de software (2006)
[32] Prudêncio, To lock or not to lock: that is the question, Journal of Systems and Software 85 pp 277– (2012) · doi:10.1016/j.jss.2011.04.065
[33] Ramirez, Independence and mappings in model-based decision support systems, Decision Support Systems 10 pp 341– (1993) · Zbl 01940175 · doi:10.1016/0167-9236(93)90067-D
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.