| Title: |
Communicating Sequential Processes for Distributed Constraint Solving |
| Author(s): |
I. Sakellariou, I. Vlahavas, I. Futo, Z. Pasztor, J. Szeredi.
|
| Availability: |
|
| Keywords: |
|
| Appeared in: |
Information Sciences, Elsevier, 176(5), pp. 490-521, 2006.
|
| Abstract: |
CSPCONS is a programming language that supports program execution over multiple Prolog processes with constraints. The language is an extended version of CSP-II, a version of Prolog that supports channel-based communicating processes and TCP/IP communication, that is based on the CSP model introduced by Hoare. CSPCONS inherits all the advanced features of CSP-II and extends it by introducing constraint solving capabilities to the processes. In CSPCONS each Prolog process has one or more solvers attached and each solver is independent from the others, following the original CSP-II model, thus resulting to a
communicating sequential constraint logic programming system. Such a model can facilitate greatly the implementation of distributed CLP applications. This paper describes the original CSP-II system along with details of the extensions that resulted to the CSPCONS system and
presents an example demonstrating the applicability of the system to distributed constraint satisfaction problems. |
| See also : |
|
This paper has been cited by the following:
| 1 |
Soumya Banerjee, Hameed Al-Qaheri, Minimizing the ripple effect of web-centric software by using the pheromone extension, Information Sciences, Volume 193, 15 June 2012, Pages 218-232, ISSN 0020-0255, 10.1016/j.ins.2012.01.007. |
|
