Optimisation modelling for software developers

Kathryn Francis; Sebastian Brand; Peter J. Stuckey

doi:10.1007/978-3-642-33558-7_22

Optimisation modelling for software developers

Kathryn Francis, Sebastian Brand, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

6 Citations (Scopus)

Abstract

Software developers are an ideal channel for the distribution of Constraint Programming (CP) technology. Unfortunately, including even basic optimisation functionality in an application currently requires the use of an entirely separate paradigm with which most software developers are not familiar. We suggest an alternative interface to CP designed to overcome this barrier, and describe a prototype implementation for Java. The interface allows an optimisation problem to be defined in terms of procedures rather than decision variables and constraints. Optimisation is seamlessly integrated into a wider application through automatic conversion between this definition and a conventional model solved by an external solver. This work is inspired by the language CoJava, in which a simulation is automatically translated into an optimal simulation. We extend this idea to support a general interface where optimisation is triggered on-demand. Our implementation also supports much more advanced code, such as object variables, variable-sized collections, and complex decisions.

Original language	English
Title of host publication	Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings
Publisher	Springer
Pages	274-289
Number of pages	16
ISBN (Print)	9783642335570
DOIs	https://doi.org/10.1007/978-3-642-33558-7_22
Publication status	Published - 7 Nov 2012
Externally published	Yes
Event	International Conference on Principles and Practice of Constraint Programming 2012 - Quebec, Canada Duration: 8 Oct 2012 → 12 Oct 2012 Conference number: 18th http://archive.a4cp.org/cp2012/

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7514 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Principles and Practice of Constraint Programming 2012
Abbreviated title	CP 2012
Country/Territory	Canada
City	Quebec
Period	8/10/12 → 12/10/12
Internet address	http://archive.a4cp.org/cp2012/

Access to Document

10.1007/978-3-642-33558-7_22

Cite this

Francis, K., Brand, S., & Stuckey, P. J. (2012). Optimisation modelling for software developers. In Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings (pp. 274-289). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7514 LNCS). Springer. https://doi.org/10.1007/978-3-642-33558-7_22

Francis, Kathryn ; Brand, Sebastian ; Stuckey, Peter J. / Optimisation modelling for software developers. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, 2012. pp. 274-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a8380c8f6da44479ab62c62d9ea0eb80,

title = "Optimisation modelling for software developers",

abstract = "Software developers are an ideal channel for the distribution of Constraint Programming (CP) technology. Unfortunately, including even basic optimisation functionality in an application currently requires the use of an entirely separate paradigm with which most software developers are not familiar. We suggest an alternative interface to CP designed to overcome this barrier, and describe a prototype implementation for Java. The interface allows an optimisation problem to be defined in terms of procedures rather than decision variables and constraints. Optimisation is seamlessly integrated into a wider application through automatic conversion between this definition and a conventional model solved by an external solver. This work is inspired by the language CoJava, in which a simulation is automatically translated into an optimal simulation. We extend this idea to support a general interface where optimisation is triggered on-demand. Our implementation also supports much more advanced code, such as object variables, variable-sized collections, and complex decisions.",

author = "Kathryn Francis and Sebastian Brand and Stuckey, {Peter J.}",

year = "2012",

month = nov,

day = "7",

doi = "10.1007/978-3-642-33558-7_22",

language = "English",

isbn = "9783642335570",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "274--289",

booktitle = "Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings",

note = "International Conference on Principles and Practice of Constraint Programming 2012, CP 2012 ; Conference date: 08-10-2012 Through 12-10-2012",

url = "http://archive.a4cp.org/cp2012/",

}

Francis, K, Brand, S & Stuckey, PJ 2012, Optimisation modelling for software developers. in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7514 LNCS, Springer, pp. 274-289, International Conference on Principles and Practice of Constraint Programming 2012, Quebec, Quebec, Canada, 8/10/12. https://doi.org/10.1007/978-3-642-33558-7_22

Optimisation modelling for software developers. / Francis, Kathryn; Brand, Sebastian; Stuckey, Peter J.
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, 2012. p. 274-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7514 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Optimisation modelling for software developers

AU - Francis, Kathryn

AU - Brand, Sebastian

AU - Stuckey, Peter J.

N1 - Conference code: 18th

PY - 2012/11/7

Y1 - 2012/11/7

N2 - Software developers are an ideal channel for the distribution of Constraint Programming (CP) technology. Unfortunately, including even basic optimisation functionality in an application currently requires the use of an entirely separate paradigm with which most software developers are not familiar. We suggest an alternative interface to CP designed to overcome this barrier, and describe a prototype implementation for Java. The interface allows an optimisation problem to be defined in terms of procedures rather than decision variables and constraints. Optimisation is seamlessly integrated into a wider application through automatic conversion between this definition and a conventional model solved by an external solver. This work is inspired by the language CoJava, in which a simulation is automatically translated into an optimal simulation. We extend this idea to support a general interface where optimisation is triggered on-demand. Our implementation also supports much more advanced code, such as object variables, variable-sized collections, and complex decisions.

AB - Software developers are an ideal channel for the distribution of Constraint Programming (CP) technology. Unfortunately, including even basic optimisation functionality in an application currently requires the use of an entirely separate paradigm with which most software developers are not familiar. We suggest an alternative interface to CP designed to overcome this barrier, and describe a prototype implementation for Java. The interface allows an optimisation problem to be defined in terms of procedures rather than decision variables and constraints. Optimisation is seamlessly integrated into a wider application through automatic conversion between this definition and a conventional model solved by an external solver. This work is inspired by the language CoJava, in which a simulation is automatically translated into an optimal simulation. We extend this idea to support a general interface where optimisation is triggered on-demand. Our implementation also supports much more advanced code, such as object variables, variable-sized collections, and complex decisions.

UR - http://www.scopus.com/inward/record.url?scp=84868266728&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33558-7_22

DO - 10.1007/978-3-642-33558-7_22

M3 - Conference Paper

AN - SCOPUS:84868266728

SN - 9783642335570

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 274

EP - 289

BT - Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings

PB - Springer

T2 - International Conference on Principles and Practice of Constraint Programming 2012

Y2 - 8 October 2012 through 12 October 2012

ER -

Francis K, Brand S, Stuckey PJ. Optimisation modelling for software developers. In Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer. 2012. p. 274-289. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-33558-7_22

Optimisation modelling for software developers

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this