Comparing two approaches to compensable flow composition

Lecture Notes in Computer Science

Volumn 3653, Issue , 2005, Pages 383-397

  Bruni, Roberte ^a   Butler, Michael ^b   Ferreira, Carla ^c   Hoare, Tony ^d   Melgratti, Hernán ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^c UNIVERSITY OF LISBON   (Portugal)

^d MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PARALLEL PROCESSING SYSTEMS; SEMANTICS; XML;

PROCESS DESCRIPTION LANGUAGES; WEB SERVICES COMPOSITIONS; XML-CONSTRUCTS;

CONCURRENT ENGINEERING;

EID: 27244450867     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11539452_30     Document Type: Conference Paper

References (16)

1. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. In E. Najm, U. Nestmann, and P. Stevens, editors, Proceedings of FMOODS 2003, 6th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, volume 2884 of Lect. Notes in Comput. Sci., pages 124-138. Springer Verlag, 2003.
2. BPEL Specification (v.1.1). http://vww.ibm.com/developerworks/library/ws- bpel.
3. Business Process Modeling Language (BPML). http://www.bpmi.org/BPML.htm.
4. R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending Join. In J.-J. Lévy, E. Mayr, and J. Mitchell, editors, Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pages 569-582. Kluwer Academic Publishers, 2004.
5. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In Proceedings of POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 209-220. ACM Press, 2005.
6. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. In R. De Nicola, G. Ferrari, and G. Meredith, editors, Proceedings of Coordination 2004, volume 2949 of Lect. Notes in Comput. Set., pages 87-104. Springer Verlag, 2004.
7. M. Butler, T. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In A. Abdallah, C.B. Jones, and J. Sanders, editors, Proceedings of 25 Years of CSP, volume 3525 of Lect. Notes in Comput. Sci., pages 133-150. Springer Verlag, 2005.
8. H. Garcia-Molina and K. Salem. Sagas. In U. Dayal and I.L. Traiger, editors, Proceedings of the ACM Special Interest Group on Management of Data Annual Conference, pages 249-259. ACM Press, 1987.
9. C. Laneve and G. Zavattaro. Foundations of web transactions. In V. Sassone, editor, Proceedings of FoSSaCS 2005, 8th International Conference on Foundations of Software Science and Computational Structures, volume 3441 of Lect. Notes in Comput. Sci., pages 282-298. Springer Verlag, 2005.
10. F. Leymann. WSFL Specification (v.1.0). http://www-306.ibm.com/software/ solutions/webservices/pdf/WSFL.pdf, May 2001.
11. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. In M. Bravetti and G. Zavattaro, editors, Proceedings of WS-FM 2004, 1st International Workshop on Web Services and Formal Methods, 2004. To appear as ENTCS.
12. H. Melgratti. Models and Languages for Global Computing Transaction. PhD thesis, Computer Science Department, University of Pisa, 2005. Submitted.
13. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci.
14. Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/ wsc110/.
15. Web Service Description Language (WSDL). http://www.w3.org/TR/wsdl.
16. Web Services for Business Process Design (XLANG). http://www.gotdotnet. com/team/xml-wsspecs/xlang-c/default.htm.