Coordination and Components in Cooperative Constraint Solving

Coordination programming deals with building complex software systems from largely autonomous component systems. Cooperative constraint solving, which is widely recognized as a technique for improving the efficiency of constraint solving, is an area that may benefit from techniques developed in Coordination Programming: the solvers that we want to have cooperate are generally high-level stand-alone applications, and orchestration of their interaction is a non-trivial task. In this talk we present the OpenSolver, an experimental constraint solver that is being developed with the purpose of facilitating coordination in mind. The OpenSolver is used to implement the DICE (DIstributed Constraint Environment) framework for distributed constraint solving, where it plays the role of both a component solver as well as a wrapper that allows other solvers to be coordinated through it.  

hosted by