A GUI for modeling regular constraints

Ricardo Soto; Broderick Crawford; Diego Riquelme; Eric Monfroy

doi:10.1007/978-3-642-39473-7_131

A GUI for modeling regular constraints

Ricardo Soto, Broderick Crawford, Diego Riquelme, Eric Monfroy

SCHOOL OF COMPUTER ENGINEERING

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

Abstract

In constraint programming, a regular constraint is a special global constraint very useful in scheduling, in particular for the easy modeling of rostering problems. This constraint enforces a sequence of variables to take a value defined by a deterministic finite automaton. In practice, when the user models the problem, regular constraints are programmed in the language of the solving engine, which is in most cases a proprietary language or a classic programming language. However, there exists several modeling languages and very different encoding patterns for the regular constraint, turning the modeling into a tedious task. In this paper, we present a simple GUI for modeling regular constraints that clearly increases the usability for end-users. The tool allows to easily draw finite automata, which are automatically translated to the corresponding code of the regular constraint for the target solving engine.

Original language	English
Title of host publication	HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings
Publisher	Springer Verlag
Pages	660-663
Number of pages	4
Edition	PART I
ISBN (Print)	9783642394720
DOIs	https://doi.org/10.1007/978-3-642-39473-7_131
State	Published - 2013
Event	15th International Conference on Human-Computer Interaction, HCI International 2013 - Las Vegas, NV, United States Duration: 21 Jul 2013 → 26 Jul 2013

Publication series

Name	Communications in Computer and Information Science
Number	PART I
Volume	373
ISSN (Print)	1865-0929

Conference

Conference	15th International Conference on Human-Computer Interaction, HCI International 2013
Country/Territory	United States
City	Las Vegas, NV
Period	21/07/13 → 26/07/13

Keywords

Constraint Modeling
Constraint Satisfaction
Regular Constraint

Access to Document

10.1007/978-3-642-39473-7_131

Cite this

Soto, R., Crawford, B., Riquelme, D., & Monfroy, E. (2013). A GUI for modeling regular constraints. In HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings (PART I ed., pp. 660-663). (Communications in Computer and Information Science; Vol. 373, No. PART I). Springer Verlag. https://doi.org/10.1007/978-3-642-39473-7_131

@inproceedings{c2fb03d301d24072858ff469cc28b749,

title = "A GUI for modeling regular constraints",

abstract = "In constraint programming, a regular constraint is a special global constraint very useful in scheduling, in particular for the easy modeling of rostering problems. This constraint enforces a sequence of variables to take a value defined by a deterministic finite automaton. In practice, when the user models the problem, regular constraints are programmed in the language of the solving engine, which is in most cases a proprietary language or a classic programming language. However, there exists several modeling languages and very different encoding patterns for the regular constraint, turning the modeling into a tedious task. In this paper, we present a simple GUI for modeling regular constraints that clearly increases the usability for end-users. The tool allows to easily draw finite automata, which are automatically translated to the corresponding code of the regular constraint for the target solving engine.",

keywords = "Constraint Modeling, Constraint Satisfaction, Regular Constraint",

author = "Ricardo Soto and Broderick Crawford and Diego Riquelme and Eric Monfroy",

year = "2013",

doi = "10.1007/978-3-642-39473-7_131",

language = "English",

isbn = "9783642394720",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

number = "PART I",

pages = "660--663",

booktitle = "HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings",

edition = "PART I",

note = "15th International Conference on Human-Computer Interaction, HCI International 2013 ; Conference date: 21-07-2013 Through 26-07-2013",

}

Soto, R , Crawford, B, Riquelme, D & Monfroy, E 2013, A GUI for modeling regular constraints. in HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings. PART I edn, Communications in Computer and Information Science, no. PART I, vol. 373, Springer Verlag, pp. 660-663, 15th International Conference on Human-Computer Interaction, HCI International 2013, Las Vegas, NV, United States, 21/07/13. https://doi.org/10.1007/978-3-642-39473-7_131

A GUI for modeling regular constraints. / Soto, Ricardo ; Crawford, Broderick; Riquelme, Diego et al.
HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings. PART I. ed. Springer Verlag, 2013. p. 660-663 (Communications in Computer and Information Science; Vol. 373, No. PART I).

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

TY - GEN

T1 - A GUI for modeling regular constraints

AU - Soto, Ricardo

AU - Crawford, Broderick

AU - Riquelme, Diego

AU - Monfroy, Eric

PY - 2013

Y1 - 2013

N2 - In constraint programming, a regular constraint is a special global constraint very useful in scheduling, in particular for the easy modeling of rostering problems. This constraint enforces a sequence of variables to take a value defined by a deterministic finite automaton. In practice, when the user models the problem, regular constraints are programmed in the language of the solving engine, which is in most cases a proprietary language or a classic programming language. However, there exists several modeling languages and very different encoding patterns for the regular constraint, turning the modeling into a tedious task. In this paper, we present a simple GUI for modeling regular constraints that clearly increases the usability for end-users. The tool allows to easily draw finite automata, which are automatically translated to the corresponding code of the regular constraint for the target solving engine.

AB - In constraint programming, a regular constraint is a special global constraint very useful in scheduling, in particular for the easy modeling of rostering problems. This constraint enforces a sequence of variables to take a value defined by a deterministic finite automaton. In practice, when the user models the problem, regular constraints are programmed in the language of the solving engine, which is in most cases a proprietary language or a classic programming language. However, there exists several modeling languages and very different encoding patterns for the regular constraint, turning the modeling into a tedious task. In this paper, we present a simple GUI for modeling regular constraints that clearly increases the usability for end-users. The tool allows to easily draw finite automata, which are automatically translated to the corresponding code of the regular constraint for the target solving engine.

KW - Constraint Modeling

KW - Constraint Satisfaction

KW - Regular Constraint

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

U2 - 10.1007/978-3-642-39473-7_131

DO - 10.1007/978-3-642-39473-7_131

M3 - Conference contribution

AN - SCOPUS:84891541021

SN - 9783642394720

T3 - Communications in Computer and Information Science

SP - 660

EP - 663

BT - HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings

PB - Springer Verlag

T2 - 15th International Conference on Human-Computer Interaction, HCI International 2013

Y2 - 21 July 2013 through 26 July 2013

ER -

A GUI for modeling regular constraints

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this