Atomic commit and negotiation in service oriented computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4038 LNCS, Issue , 2006, Pages 16-27

  Bocchi, Laura ^a   Lucchi, Roberte ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS MACHINERY; COMPUTABILITY AND DECIDABILITY; COMPUTER AIDED ANALYSIS; DIFFERENTIATION (CALCULUS); NETWORK PROTOCOLS; NUMERICAL METHODS; PROBLEM SOLVING;

CONTRACT NET PROTOCOL; DISTRIBUTED SYSTEMS; PI CALCULUS (PI-CNP); SERVICE ORIENTED COMPUTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33746259630     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767954_2     Document Type: Conference Paper

References (13)

1. Roberts J. and Srinivasan K. Tentative Hold Protocol Part 1: White Paper. http://www.w3.org/TR/tenthold-1/, 2001.
2. OASIS. Business Transaction Protocol, http://www.oasis-open.org/ committees/download.php/1184/2002-06-03.BTP_cttee.spec_1.0.pdf, 2002.
3. Cabrera F., Copeland G., Cox B., Freund T., Klein J., Storey T., and Thatte S. Web Services Transaction (WS-Transaction), http://www-106.ibm.com/ developerworks/webservices/library/ws-transpec/.
4. Davis R. and Smith R. G. Negotiation as a Metaphor for Distributed Problem Solving. In Readings in Distributed Artificial Intelligence, pages 333-356. Morgan Kaufmann Publishers Inc., 1988.
5. Smith R. G. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. In Readings in Distributed Artificial Intelligence, pages 357-366. Morgan Kaufmann Publishers Inc., 1988.
6. Dalai S., Temel S., Little M., Potts M., and Webber J. Storey T. Coordinating Business Transactions on the Web. IEEE Internet Computing, 7(1):30-39, 2003.
7. Hadzilacos V. On the Relationship Between the Atomic Commitment and Consensus Problems. In B. Simons and A.Z. Spector, editors, Fault Tolerant Distributed Computing, volume 448 of Lecture Notes in Computer Science, pages 201-208. Springer-Verlag, 1990.
8. Milner R. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1989.
9. Jennings N. R., Parsons, S., Sierra C., and Faratin P. Automated Negotiation. In Proceedings of 5th Int Conf. on Practical Application of Intelligent Agents and Multi-Agent Systems (PAAM-2000), pages 23-30, 2000.
10. FIPA. FIPA Contract Net Interaction Protocol Specification. FIPA, 2001.
11. Lee K. J. and Chang Y. S. Time-Bounded Negation Framework for Multi-Agent Coordination. In Selected papers from the First Pacific Rim International Workshop on Multi-Agents, Multiagent Platforms, pages 61-75. Springer-Verlag, 1999.
12. Bocchi L. and Wischik L. A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105:119-132, 2004.
13. Bocchi L., Ciancarini P., and Lucchi R. Atomic Commit and Negotiation in Service Oriented Computing. Technical Report UBLCS-2005-16, University of Bologna, Italy, 2005. ftp://ftp.cs.unibo.it/pub/techreports/2005/2005-16.pdf.