Author(s): Pimenta Rodrigues, Irene ; Matos, Nuno ; Pinto Abreu, Salvador ; Deneckere, Rebecca ; Diaz, Daniel
Date: 2014
Persistent ID: http://hdl.handle.net/10174/9453
Origin: Repositório Científico da Universidade de Évora
Subject(s): Data base; Constraint
Declarative techniques such as Constraint Programming are very useful in modeling complex requirements. They have the added benefit of being executable specifications and, when properly tuned, high-performance ones. In this paper we argue that Information Systems ought to include constraint-based techniques in their design and implementation. We support this claim by introducing tools based on constraint programming, which we apply to an actual use-case: the academic timetable construction and maintenance problem, as developed at the University of Evora. The system we built was implemented using the GNU Prolog language. Moreover, Constraints have the potential to describe global properties that a model must observe, which makes them a semantically very interesting extension to the capabilities of present model-driven techniques and tools.
