Dynamic recovering of long running transactions

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

Volumn 5474 LNCS, Issue , 2009, Pages 201-215

  Vaz, Cátia ^a   Ferreira, Carla ^b   Ravara, António ^c  

^a INSTITUTO SUPERIOR DE ENGENHARIA DE LISBOA   (Portugal)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^c INSTITUTO DE TELECOMUNICAÇÕES   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS APPLICATIONS; COMPENSATION PROCESS; FUNDAMENTAL BUILDING BLOCKS; LONG-RUNNING TRANSACTIONS; OPERATIONAL SEMANTICS; RECOVERY MECHANISMS; TYPE SYSTEMS;

COMPUTER SCIENCE;

CALCULATIONS;

EID: 67650305193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00945-7_13     Document Type: Conference Paper

References (24)

1. Gray, J.: The transaction concept: Virtues and limitations (invited paper). In: VLDB, pp. 144-154. IEEE Computer Society, Los Alamitos (1981)
2. OMG: Additional Structuring Mechanisms for the OTS Specification 1.0. (2002)
3. Sun Microsystems: J2EE Activity Service for Extended Transactions (2004)
4. Microsoft, IBM, BEA: WS-Coordination/WS-Transaction Specification (2005)
5. Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft Corporation (2001)
6. OASIS: Web Services Business Process Execution Language Version 2.0 (2007)
7. Kavantzas, N., Olsson, G., Michkinsky, J., Chapman, M.: Web services choreography description language. Technical report, Oracle Corporation (2003)
8. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.2884, pp. 124-138. Springer, Heidelberg (2003) (Pubitemid 37480792)
9. Butler, M.J., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.2949, pp. 87-104. Springer, Heidelberg (2004) (Pubitemid 39741051)
10. Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: 8th International Conference on Application of Concurrency to System Design, pp. 190-199. IEEE Computer Society, Los Alamitos (2008)
11. Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.3525, pp. 133-150. Springer, Heidelberg (2005) (Pubitemid 41422259)
12. Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 209-220. ACM, New York (2005) (Pubitemid 40493979)
13. Bruni, R., Melgratti, H.C., Montanari, U.: Nested commits for mobile calculi: Extending join. In: Ĺevy, J.J., Mayr, E.W., Mitchell, J.C. (eds.) IFIP TCS, pp. 563- 576. Kluwer, Dordrecht (2004)
14. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.3441, pp. 282-298. Springer, Heidelberg (2005) (Pubitemid 41273713)
15. Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., Ńuñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.4184, pp. 257-272. Springer, Heidelberg (2006) (Pubitemid 44849764)
16. Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. Technical report, CITI, http://pwp.net.ipl.pt/cc.isel/cvaz/dcpi. pdf
17. JBoss: Web Service Transactions Programmers Guide (2007)
18. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inf. Comput. 100(1), 1-77 (1992)
19. Veiga, L., Ferreira, P.: Asynchronous complete distributed garbage collection. In: IPDPS. IEEE Computer Society, Los Alamitos (2005)
20. Vasconcelos, V.T., Honda, K.: Principal typing-schemes in a polyadic p-calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.715, pp. 524-538. Springer, Heidelberg (1993)
21. Sangiorgi, D.,Walker, D.: The p-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
22. Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372-385 (1996)
23. Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMOD Conference, pp. 249-259. ACM Press, New York (1987)
24. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.4294, pp. 327-338. Springer, Heidelberg (2006)