From theory to practice in transactional composition of Web Services

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

Volumn 3670 LNCS, Issue , 2005, Pages 272-286

  Bruni, Roberto ^a   Ferrari, Gianluigi ^a   Melgratti, Hernán ^a   Montanari, Ugo ^a   Strollo, Daniele ^b   Tuosto, Emilio ^a  

^a UNIVERSITY OF PISA   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING;

BUSINESS PROCESSES; COMPENSATION POLICY; LONG-RUNNING TRANSACTIONAL BUSINESS;

WORLD WIDE WEB;

EID: 33646126280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_20     Document Type: Conference Paper

References (31)

1. B. Anderson and D. Shasha. Persistent linda: Linda + transactions + query processing. Research Directions in High-Level Parallel Programming Languages, vol. 574 of Lect. Notes in Comput. Sci., pp. 93-109. Springer, 1992.
2. BizTalk Server Web site, http://www.microsoft.com/biztalkserver.
3. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. Proc. of FMOODS'03, vol. 2884 of Lect. Notes in Comput. Sci., pp. 124-138. Springer, 2003.
4. BPEL Specification (v.1.1). http://www.ibm.com/developerworks/library/ws- bpel.
5. BPEL and BTP issues list, http://www.choreology.com/external.
6. Business Process Modeling Language, http://www.bpmi.org/BPML.htm.
7. R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. To appear in Proc. of CONCUR 2005.
8. R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending Join. Pmc. of IFIP-TCS 2004, pp. 569-582. Kluwer, 2004.
9. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. Proc. of POPL 2005, pp. 209-220. ACM Press, 2005.
10. R. Bruni and U. Montanari. Concurrent models for Linda with Transactions. Mathematical Structure in Computer Science, 14(3):421-468, Cambridge University Press, 2004.
11. N. Busi and G. Zavattaro. On the serializability of transactions in javaspaces. Elect. Notes in Th. Comput. Sci., vol. 54. Elsevier, 2001.
12. M. Butler, M. Chessell, C. Ferreira, C. Griffin, P. Henderson, and D. Vines. Extending the concept of transaction compensation. IBM Systems Journal, 41(4):743-758, 2002.
13. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. Proc. of Coordination 2004, vol. 2949 of Lect. Notes in Comput. Sci., pp. 87-104. Springer, 2004.
14. M. Butler, T. Hoare, and C. Ferreira. A trace semantics for long-running transactions. Proc. of 25 Years of CSP, vol. 3525 of Lect. Notes in Comput. Sci., pp. 133-150. Springer, 2005.
15. T. Chothia and D. Duggan. An architecture for secure fault-tolerant global applications. Theor. Comput. Sci., 322(3):567-613, 2004.
16. V. Danos and J. Krivine. Reversible communicating systems. Proc. of CONCUR 2004, vol. 3170 of Lect. Notes in Comput. Sci., pp. 293-307. Springer, 2005.
17. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
18. A. Hosking, S. Jagannathan, J. Vitek, and A. Welc. A semantic framework for designer transactions. Proc. of ESOP 2004, vol. 2986 of Lect. Notes in Comput. Sci., pp. 249-263. Springer, 2004.
19. I. Houston, M. Little, I. Robinson, S. Shrivastava, and S. Wheater. The corba activity service framework for supporting extended transactions. Softw. Pract. Exper., 33(4):351-373, 2003.
20. S. Jagannathan and J. Vitek. Optimistic concurrency semantics for transactions in coordination languages. Proc. of Coordination 2004, vol. 2949 of Lect. Notes in Comp. Sci., pp. 183-198. Springer, 2004.
21. Java Transactional Web Services, http://www.di.unipi.it/~etuosto/jtws. html.
22. C. Laneve and G. Zavattaro. Foundations of web transactions. Proc. of FoSSaCS 2005, vol. 3441 of Lect. Notes in Comp. Sci., pp. 282-298. Springer, 2005.
23. F. Leymann. Web Services Flow Language (v.1.0). http://www-306.ibm.com/ software/webservices/pdf/WSFL.pdf.
24. M. Mazzara and S. Govoni. A case study of web services orchestration. Proc. of Coordination 2005, vol. 3454 of Lect. Notes in Comput. Sci., pp. 1-16. Springer, 2005.
25. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. Proc. of WS-FM 2004, Elect. Notes in Th. Comput. Sci., vol. 105, pp. 133-145. Elsevier, 2004.
26. Oracle BPEL Process Manager. http://www.oracle.com/technology/bpel.
27. D. Strollo. Composizionalità di transazioni e Web Services nell'ambito della telefonia mobile. Master's thesis, Dipartimento di Informatica, Pisa, 2005. In Italian.
28. WebSphere. http: //www-306.ibm.com/software/info1/websphere/index.jsp.
29. Web Services Choreography Description Language (v.1.0). http://www.w3.org/TR/ws-cdl-10
30. Web Services Conversation Language (v.1.0). http://www.w3.org/TR/wsc110/.
31. Web Services for Business Process Design (XLANG). http://www.gotdotnet. com/team/xml_wsspecs/xlang-c/default.htm.