An Asynchronous Execution Model for Constraint Processing in Object-Oriented Software

Georg Ringwelski

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. Thus asynchronous constraint postings and retractions can be integrated into the solving process of (distributed) constraint satisfaction problems with multiple solvers.