Title
A GUI for modeling regular constraints
Date Issued
01 January 2013
Access level
open access
Resource Type
conference paper
Author(s)
Crawford B.
Riquelme D.
Monfroy E.
Pontificia Universidad Católica de Valparaíso
Publisher(s)
Springer Verlag
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. © Springer-Verlag Berlin Heidelberg 2013.
Start page
660
End page
663
Volume
373
Issue
PART I
Language
English
OCDE Knowledge area
Ingeniería de sistemas y comunicaciones Ciencias de la computación
Scopus EID
2-s2.0-84891541021
Source
Communications in Computer and Information Science
Resource of which it is part
Communications in Computer and Information Science
ISSN of the container
18650929
ISBN of the container
9783642394720
Conference
15th International Conference on Human-Computer Interaction, HCI International 2013
Sources of information: Directorio de Producción Científica Scopus