In this paper we argue for an alternative way of designing cooperative constraint solver systems using a control-oriented coordination language. The idea is to take advantage of the coordination features of MANIFOLD for improving the constraint solver collaboration language of BALI. We demonstrate the validity of our ideas by presenting the advantages of such a realization and its (practical as well as conceptual) improvements of constraint solving. We are convinced that cooperative constraint solving is intrinsically linked to coordination, and that coordination languages, and MANIFOLD in particular, open new horizons for systems like BALI.

Constraint solver cooperation, Coordination model, Dynamic coordination, Solver collaboration language
ACM Symposium on Applied Computing
Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

Arbab, F, & Monfroy, E.B.G. (1998). Using coordination for cooperative constraint solving. In Proceedings of the ACM Symposium on Applied Computing (pp. 139–148). doi:10.1145/330560.330661