Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 6

available in:   PDF (124 kB) PS (253 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-06-0701


Constraint Programming Architectures: Review and a New Proposal

Jacques Robin (Universidade Federal de Pernambuco (CIn-UFPE), Brazil)

Jairson Vitorino (Universidade Federal de Pernambuco (CIn-UFPE), Brazil)

Armin Wolf (Fraunhofer Institut, Germany)

Abstract: Most automated reasoning tasks with prac tical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a unique, underlying engine to be reused for mu ltiple automated reasoning tasks in intelligent agents and systems. We identify six key requirements for such platform: expressive task modeling language, rapid solving method custom ization and combination, adaptive solving method, user-friendly solution explanation, efficient execution, and seamless integration within larger systems and practical applications. We then propose a novel, model-driven, component and rule-based architecture for such a platform that better satisfies as a whole this set of requirements than those of currently available platforms.

Keywords: constraint programming, model-driven architecture, software reuse

Categories: D.2.11, D.1.6, D.2.13, I.2.3, I.2.4, I.2.5, I.2.8