Concurrent and Distributed Programming Using Constraint Logic Programs

摘要

We describe a coordination language for high-level distributed programming. Its roots are in concurrent constraint programming where there is a shared constraint store and synchronization is achieved via constraint entailment. A system is modeled as: (a) a set of processes, and (b) a set of constraints which capture the concurrent behavior of the system. The key advantages are that (1) there is a clear separation of the concurrency and the functionality aspects of the system, (2) processes are coordinated explicitly by a declarative formalism, i.e. constraints, and (3) the processes-agents are programming language independent.