Towards constraint-informed information systems

Abstract

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.

DOI: 10.1109/RCIS.2013.6577690

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@article{Rodrigues2013TowardsCI, title={Towards constraint-informed information systems}, author={Irene Pimenta Rodrigues and Nuno Matos and Salvador Abreu and R{\'e}becca Deneck{\`e}re and Daniel Diaz}, journal={IEEE 7th International Conference on Research Challenges in Information Science (RCIS)}, year={2013}, pages={1-10} }