Consistency for web services applications

VLDB 2005 - Proceedings of 31st International Conference on Very Large Data Bases

Volumn 3, Issue , 2005, Pages 1199-1203

  Greenfield, Paul ^a   Kuo, Dean ^a   Nepal, Surya ^a   Fekete, Alan ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; INFORMATION SERVICES; NETWORK PROTOCOLS; PROBLEM SOLVING;

INTERNAL SERVICE STATES; PROTOCOL VERIFICATION TOOLS; SERVICE-ORIENTED APPLICATIONS; WEB SERVICES;

WORLD WIDE WEB;

EID: 33745586610     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. WS-Coordination. http://msdn.microsoft.com/library/enus/dnglobspec/html/ WS-Coordination.pdf
2. WS-AtomicTransaction. http://msdn.microsoft.com/library/enus/dnglobspec/ html/WS-AtomicTransaction.pdf
3. WS-BusinessActivity. http://msdn.microsoft.com/library/enus/dnglobspec/ html/WS-BusinessActivity.pdf
4. BPEL4WS. http://www-128.ibm.com/developerworks/library/ws-bpel/
5. BTP. http://www.oasis-open.org/business-transactioa/
6. WS-CAF. http://developers.sun.com/techtopics/webservices/wscaf/
7. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci/
8. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl
9. SOAP Service Description Languages (SSDL). www.ssdl.org
10. F. Cabrera, G. Copeland, J. Johnson and D. Langworthy. Coordinating Web Services Activities with WS-Coordination, WS-AtomicTransaction and WS-BusinessActivity. http://msdn.microsoft.com/library/default.asp?url=/library/ en-us/dnwebsrv/html/wsacoord.asp
11. Communicating Sequential Processes, C.A.R. Hoare, Prentice-Hall 1985.
12. A. Elmagarmid, editor. Database Transaction Models for advanced Applications. Morgan Kaufmann, 1992.
13. Kuo, D., Greenfield, P., Parastatidis, S., Webber, J. Rules SSDL Protocol Framework V1.0. http://ssdl.org/docs/v1.0/html/Rules
14. H. Garcia-Molina and K. Salem. Sagas. In Proceedings of the ACM SIGMOD, pages 249-259. ACM Press, 1987.
15. P. Greenfield, A. Fekete, J. Jang and D. Kuo. Compensation is Not Enough. In proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC) 2003.
16. Jim Gray, Andreas Reuter. Transaction Processing: Concepts and Techniques, Morgan Kaufmann 1992.
17. G. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley.
18. R. Milner. Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.
19. R. Milner. Communicating and mobile systems: the n-calculus. Cambridge University Press 1999.
20. J. Widom and S. Ceri. Active Database Systems: Trigger and Rules for Advanced Database Processing. Morgan Kaufmann, 1995.