Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1145/967900.968005 | SAC |
Keywords | Field | DocType |
key advantage,concurrent behavior,constraint entailment,constraint logic program,clear separation,shared constraint store,declarative formalism,functionality aspect,coordination language,concurrent constraint programming,separation of concern,separation of concerns,programming language,concurrency | Constraint satisfaction,Fifth-generation programming language,Programming language,Computer science,Inductive programming,Constraint programming,Theoretical computer science,Concurrent constraint logic programming,Concurrent object-oriented programming,Logic programming,Constraint logic programming,Distributed computing | Conference |
ISBN | Citations | PageRank |
1-58113-812-1 | 0 | 0.34 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rafael Ramirez | 1 | 7 | 4.58 |
Andrew Santosa | 2 | 146 | 13.36 |