An Asynchronous Execution Model for Constraint Processing in Object-Oriented Software
In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
, Report No. 2017, University of Kiel
We define a new execution model for constraint processing in object-oriented
programs. Using established propagation and search algorithms, constraints
are handled by solvers running concurrently with the application.
constraint postings and retractions can be integrated into the solving
process of (distributed) constraint satisfaction problems with multiple