JUCS - Journal of Universal Computer Science 13(6): 701-720, doi: 10.3217/jucs-013-06-0701
Constraint Programming Architectures: Review and a New Proposal
expand article infoJacques Robin‡, Jairson Vitorino‡, Armin Wolf§
‡ Universidade Federal de Pernambuco (CIn-UFPE), Brazil§ Fraunhofer Institut, Germany

Corresponding author: Jacques Robin ( robin.jacques@gmail.com )

© Jacques Robin, Jairson Vitorino, Armin Wolf.
This article is freely available under the J.UCS Open Content License.
Citation: Robin J, Vitorino J, Wolf A (2007) Constraint Programming Architectures: Review and a New Proposal. JUCS - Journal of Universal Computer Science 13(6): 701-720. https://doi.org/10.3217/jucs-013-06-0701
Open Access
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