A GUI for modeling regular constraints

Ricardo Soto, Broderick Crawford, Diego Riquelme, Eric Monfroy

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


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 languageEnglish
Title of host publicationHCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings
PublisherSpringer Verlag
Number of pages4
EditionPART I
ISBN (Print)9783642394720
StatePublished - 2013
Event15th International Conference on Human-Computer Interaction, HCI International 2013 - Las Vegas, NV, United States
Duration: 21 Jul 201326 Jul 2013

Publication series

NameCommunications in Computer and Information Science
NumberPART I
ISSN (Print)1865-0929


Conference15th International Conference on Human-Computer Interaction, HCI International 2013
Country/TerritoryUnited States
CityLas Vegas, NV


  • Constraint Modeling
  • Constraint Satisfaction
  • Regular Constraint


Dive into the research topics of 'A GUI for modeling regular constraints'. Together they form a unique fingerprint.

Cite this