Negotiation as a metaphor for distributed problem solving
Distributed Artificial Intelligence
The contract net protocol: high-level communication and control in a distributed problem solver
Distributed Artificial Intelligence
On the relationship between the atomic commitment and consensus problems
Fault-tolerant distributed computing
Coordinating Business Transactions on the Web
IEEE Internet Computing
Time-Bounded Negation Framework for Multi-Agent Coordination
PRIMA '98 Selected papers from the First Pacific Rim International Workshop on Multi-Agents, Multiagent Platforms
A Process Calculus of Atomic Commit
Electronic Notes in Theoretical Computer Science (ENTCS)
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A java inspired semantics for transactions in SOC
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks
Science of Computer Programming
Hi-index | 0.00 |
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: atomic commit and negotiation. We will show that there exists a rather strict interdependency between the two problems by discussing how negotiation could be expressed as an instance of the atomic commit problem, and vice versa. To this end we exploit the Contract Net Protocol, a well known negotiation protocol, that will be described by means of the asynchronous pi calculus (Pi-CNP). Besides modeling CNP we also formally describe some basic properties of the CNP protocol.