An integrated modelling, debugging, and visualisation environment for G12

Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John Slaney

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Abstract

We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is to let users define special events which, once reached in a search, cause the debugger to halt and give back, possibly in a visual manner, useful information on the current state of the search. G12IDE also includes a number of visualisation tools for drawing graphs and trees, and additionally allows users to create arbitrary domain-specific visualisations, such as the drawing of a sequential plan when the constraint problem is in fact a planning problem. The inclusion of such powerful and flexible visualisation toolkit and its tight integration with the available debugging facilities is, to the best of our knowledge, completely novel.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming - CP 2010
EditorsDavid Cohen
Place of PublicationBerlin
PublisherSpringer
Pages522-536
Number of pages15
ISBN (Print)364215395X, 9783642153952
DOIs
Publication statusPublished - 2010
Externally publishedYes
EventInternational Conference on Principles and Practice of Constraint Programming 2010 - University of St Andrews, Scotland, United Kingdom
Duration: 6 Sep 201010 Sep 2010
Conference number: 16th
http://cp2010.cs.st-andrews.ac.uk/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6308
ISSN (Print)0302-9743

Conference

ConferenceInternational Conference on Principles and Practice of Constraint Programming 2010
Abbreviated titleCP 2010
CountryUnited Kingdom
CityScotland
Period6/09/1010/09/10
Internet address

Cite this

Bauer, A., Botea, V., Brown, M., Gray, M., Harabor, D., & Slaney, J. (2010). An integrated modelling, debugging, and visualisation environment for G12. In D. Cohen (Ed.), Principles and Practice of Constraint Programming - CP 2010 (pp. 522-536). (Lecture Notes in Computer Science; Vol. 6308). Berlin: Springer. https://doi.org/10.1007/978-3-642-15396-9_42
Bauer, Andreas ; Botea, Viorica ; Brown, Mark ; Gray, Matt ; Harabor, Daniel ; Slaney, John. / An integrated modelling, debugging, and visualisation environment for G12. Principles and Practice of Constraint Programming - CP 2010. editor / David Cohen. Berlin : Springer, 2010. pp. 522-536 (Lecture Notes in Computer Science).
@inproceedings{bf8ffb890daf4a62afb436b55d4b5452,
title = "An integrated modelling, debugging, and visualisation environment for G12",
abstract = "We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is to let users define special events which, once reached in a search, cause the debugger to halt and give back, possibly in a visual manner, useful information on the current state of the search. G12IDE also includes a number of visualisation tools for drawing graphs and trees, and additionally allows users to create arbitrary domain-specific visualisations, such as the drawing of a sequential plan when the constraint problem is in fact a planning problem. The inclusion of such powerful and flexible visualisation toolkit and its tight integration with the available debugging facilities is, to the best of our knowledge, completely novel.",
author = "Andreas Bauer and Viorica Botea and Mark Brown and Matt Gray and Daniel Harabor and John Slaney",
year = "2010",
doi = "10.1007/978-3-642-15396-9_42",
language = "English",
isbn = "364215395X",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "522--536",
editor = "David Cohen",
booktitle = "Principles and Practice of Constraint Programming - CP 2010",

}

Bauer, A, Botea, V, Brown, M, Gray, M, Harabor, D & Slaney, J 2010, An integrated modelling, debugging, and visualisation environment for G12. in D Cohen (ed.), Principles and Practice of Constraint Programming - CP 2010. Lecture Notes in Computer Science, vol. 6308, Springer, Berlin, pp. 522-536, International Conference on Principles and Practice of Constraint Programming 2010, Scotland, United Kingdom, 6/09/10. https://doi.org/10.1007/978-3-642-15396-9_42

An integrated modelling, debugging, and visualisation environment for G12. / Bauer, Andreas; Botea, Viorica; Brown, Mark; Gray, Matt; Harabor, Daniel; Slaney, John.

Principles and Practice of Constraint Programming - CP 2010. ed. / David Cohen. Berlin : Springer, 2010. p. 522-536 (Lecture Notes in Computer Science; Vol. 6308).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

TY - GEN

T1 - An integrated modelling, debugging, and visualisation environment for G12

AU - Bauer, Andreas

AU - Botea, Viorica

AU - Brown, Mark

AU - Gray, Matt

AU - Harabor, Daniel

AU - Slaney, John

PY - 2010

Y1 - 2010

N2 - We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is to let users define special events which, once reached in a search, cause the debugger to halt and give back, possibly in a visual manner, useful information on the current state of the search. G12IDE also includes a number of visualisation tools for drawing graphs and trees, and additionally allows users to create arbitrary domain-specific visualisations, such as the drawing of a sequential plan when the constraint problem is in fact a planning problem. The inclusion of such powerful and flexible visualisation toolkit and its tight integration with the available debugging facilities is, to the best of our knowledge, completely novel.

AB - We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is to let users define special events which, once reached in a search, cause the debugger to halt and give back, possibly in a visual manner, useful information on the current state of the search. G12IDE also includes a number of visualisation tools for drawing graphs and trees, and additionally allows users to create arbitrary domain-specific visualisations, such as the drawing of a sequential plan when the constraint problem is in fact a planning problem. The inclusion of such powerful and flexible visualisation toolkit and its tight integration with the available debugging facilities is, to the best of our knowledge, completely novel.

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

U2 - 10.1007/978-3-642-15396-9_42

DO - 10.1007/978-3-642-15396-9_42

M3 - Conference Paper

SN - 364215395X

SN - 9783642153952

T3 - Lecture Notes in Computer Science

SP - 522

EP - 536

BT - Principles and Practice of Constraint Programming - CP 2010

A2 - Cohen, David

PB - Springer

CY - Berlin

ER -

Bauer A, Botea V, Brown M, Gray M, Harabor D, Slaney J. An integrated modelling, debugging, and visualisation environment for G12. In Cohen D, editor, Principles and Practice of Constraint Programming - CP 2010. Berlin: Springer. 2010. p. 522-536. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-15396-9_42