A trace semantics for long-running transactions

Lecture Notes in Computer Science

Volumn 3525, Issue , 2005, Pages 133-150

  Butler, Michael ^a   Hoare, Tony ^b   Ferreira, Carla ^c  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

^c UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONCURRENCY CONTROL; DISTRIBUTED COMPUTER SYSTEMS; FAILURE ANALYSIS; MATHEMATICAL OPERATORS; SEQUENTIAL MACHINES;

CHECK-POINTING; CSP; LONG-RUNNING TRANSACTIONS; PROCESS ALGEBRA; REMOTE COMMUNICATION;

SEMANTICS;

EID: 26444563415     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11423348_8     Document Type: Conference Paper

References (11)

1. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL 2005, 2005.
2. M. Butler and C. Ferreira. A process compensation language. In Integrated Formal Methods(IFM'2000), volume 1945 of LNCS, pages 61-76. Springer-Verlag, 2000.
3. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. In Coordination 2004, volume 2949 of LNCS. Springer-Verlag, 2004.
4. M. Chessell, D. Vines, C. Griffin, V. Green, and K. Warr. Business process beans: System design and architecture document. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories, January 2001.
5. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business process execution language for web services, version 1.1. http://www-106.ibm.com/developerworks/library/ws-bpel/, 2003.
6. H. Garcia-Molina and K. Salem. Sagas. In Proceedings of ACM SIGMOD, pages 249-259, 1987.
7. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
8. C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
9. H. Korth, E. Levy, and A. Silberschatz. A formal approach to recovery by compensating transactions. In 16th VLDB Conference, Brisbane, Australia, 1990.
10. F. Leymann. Web services flow language, version 1.0. http://www-3.ibm. com/software/solutions/webservices/pdf/WSFL.pdf, 2001. IBM.
11. B. Metha, M. Levy, G. Meredith, T. Andrews, B. Beckman, J. Klein, and A. Mital. BizTalk Server 2000 Business Process Orchestration. IEEE Data Engineering Bulletin, 24(1):35-39, 2001.