Compositional nested long running transactions

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

Volumn 2984, Issue , 2004, Pages 194-208

  Bocchi, Laura ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SOFTWARE ENGINEERING;

ARBITRARY NESTING; BUSINESS TRANSACTION PROTOCOLS; DISTRIBUTED SERVICE; FORMAL CONTEXTS; LONG-RUNNING TRANSACTIONS; NESTED TRANSACTIONS; PI CALCULUS;

WEB SERVICES;

EID: 35048834301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_14     Document Type: Article

References (17)

1. S. Dalai, S. Temel, M. Little, M. Potts and J. Webber. Coordinating Business Transactions on the Web. IEEE Internet Computing, January-February 2003.
2. J.J. Dubray. A novel approach for modeling business process definitions. [http://www.ebpml.Org/ebpml2.2.doc].
3. S. Thatte. XLANG: Web Services for Business Process Design. [http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm], Microsoft Corporation, 2001.
4. F. Leymann. Web Services Flow Language (WSFL 1.0). [http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf], Member IBM Academy of Technology, IBM Software Group, 2001.
5. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte and S. Weerawarana. Business Process Execution Language for Web Services (BPEL4WS 1.0). [http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/], 2002.
6. W3C Choreography Group. Web Services Choreography Requirements 1.0. [http://www.w3.org/TR/ws-chor-reqs/], 2003.
7. H. Garcia-Molina and K. Salem. Sagas. In Proc. of SIGMOND International Conference on Management of Data, pp. 249-259, 1987.
8. H. Garcia-Molina, G. Gawlick, J. Klein, K. Kleissner and K. Salem. Salem. Modelling Long Running Activities as Nested Sagas. IEEE Bulletin of Technical Committee on Data Engeneering, 14(1), 1991.
9. J. Roberts and K. Srinivasan. Tentative Hold Protocol Part 1: White paper. W3C Note 28 November 2001. [http://www.w3.org/TR/tenthold-l/]
10. F. Cabrera, G. Copeland, B. Cox, T. Freund, J. Klein, T. Storey and S. Thatte. Web Services Transaction (WS-Transaction). [http://www-106.ibm.com/ developerworks/webservices/library/ws-transpec/], 2002.
11. R. Bruni, C. Laneve and U. Montanari. Orchestrating Transactions in Join Calculus. In CONCUR'02, LNCS 2421, pp. 321-337.
12. L. Bocchi, C. Laneve and G. Zavattaro. A Calculus for Long Running Transactions. In FMOODS'03, LNCS 2884, pp. 124-138.
13. P. K. Chrysantys and K. Ramamritham. ACTA: a framework for specifying and reasoning about transaction structure and behavior. In SIGMOND International Conference on Management of Data, pp. 194-203, 1990.
14. L. Lamport. The Temporal Logic of Actions. ACM TOPLAS, 16(3), pp. 872-923, 1994.
15. R. Milner. Communicating and Mobile Systems: the Pi-calculus. Cambridge University Press, 1999.
16. F. Le Fessant and L. Maranget. Compiling Join-Patterns. Electronic Notes in Theoretical Computer Science 16(3), 2000.
17. M. Berger and K. Honda. The Two-Phase Commitment Protocol in an Extended Pi-calculus. Electronic Notes in Theoretical Computer Science 39(1), 2003.