Verifying compensating transactions

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

Volumn 4349 LNCS, Issue , 2007, Pages 29-43

  Emmi, Michael ^a   Majumdar, Rupak ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

BUSINESS PROCESSES; COMPENSATING TRANSACTIONS; SAFETY VERIFICATION PROBLEM;

VERIFICATION;

EID: 36348968728     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69738-1_2     Document Type: Conference Paper

References (18)

1. BPEL Specification v 1.1.http://www.ibm.com/developerworks/library/ws- bpel.
2. Business Process Modeling Language BPML. http://www.bpmi.org/.
3. R. Bruni, M.J. Butler, C. Ferreira, C.A.R. Hoare, H.C. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. In CONCUR 05, LNCS 3653, pages 383-397. Springer, 2005.
4. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL 05, pages 209-220, 2005. ACM.
5. M. Butler and C. Ferreira. An operational semantics for STAC, a language for modeling business transactions. In Proc. Co-ordination 04, LNCS 2429, pages 87-104. Springer, 2004.
6. M. Butler, C.A.R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In Proc. 25 years of CSP, LNCS 3525, pages 133-150. Springer, 2005.
7. H. Comon, V. Cortier, and J. Mitchell. Tree automata with one memory, set constraints, and ping-pong protocols. In ICALP 01, pages 682-693, 2001. Springer.
8. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on: http://www.grappa.univ-lille3.fr/tata, 1997.
9. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In PODS 04, pages 71-82. ACM, 2004.
10. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In CIAA 03, LNCS 2759, pages 188-200. Springer, 2003.
11. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW 04, pages 621-630. ACM, 2004.
12. H. Garcia-Molina and K. Salem. Sagas. In SIGMOD 87, pages 249-259. ACM, 1987.
13. J. Gray and A. Reuter. Transaction processing: Concepts and techniques. Morgan Kaufmann, 1993.
14. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In PODS 03, pages 1-14. ACM, 2003.
15. A. Kučera and R. Mayr. Simulation preorder over simple process algebras. Info, and Comp., 173:184-198, 2002.
16. R. Mayr. Decidability of model checking with the temporal logic EF. TCS, 256, 31-62, 2001.
17. Web Services Conversation Language WSCL 1.0. http://www.w3.org/TR/wscl10/ .
18. WSFL Specification v 1.0. http://www-306.ibm.com/software/solutions/ webservices/pdf/WSFL.pdf.