Precise modelling of compensating business transactions and its application to BPEL

Journal of Universal Computer Science

Volumn 11, Issue 5, 2005, Pages 712-743

  Butler, Michael ^a   Ferreira, Carla ^b   Ng, Muan Yong ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

B Method; Compensation; Formal specification; Language semantics; Long running transactions

Indexed keywords

EID: 23844492125     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (23)

1. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. A. Avizienis, J.-C. Laprie, B. Randell, and C.E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput., (1):11-33, 2004.
3. D. Booth, H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, and D. Orchard. Web services architecture. www.w3.org/TR/ws-arch/, 2004. W3C Working Group, Note 11.
4. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL 2005, 2005.
5. M. Butler. csp2B: A practical approach to combining CSP and B. Formal Aspects of Computing, 12:182-198, 2000.
6. 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.
7. 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.
8. M. Butler, C. Ferreira, and C.A.R. Hoare. A trace semantics for long running transactions. In 25 Years of CSP, 2004.
9. M. Chessell, D. Vines, and C. Griffin. An introduction to compensation with business process beans. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories, August 2001.
10. M. Chessell, D. Vines, C. Griffin, M. Butler, C. Ferreira, and P. Henderson. Extending the concept of transaction compensation. IBM Systems Journal, 41 (4): 743-758, 2002.
11. 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.
12. 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.
13. C. Ferreira. Precise Modelling of Business Processes with Compensation. PhD thesis, University of Southampton, 2002.
14. C. Ferreira and M. Butler. Using B Refinement to Analyse Compensating Business Processes. In Third International ZB Conference (ZB'2003), volume 2651 of LNCS. Springer-Verlag, 2003.
15. H. Garcia-Molina and K. Salem. Sagas. In Proceedings of ACM SIGMOD, pages 249-259, 1987.
16. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
17. C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
18. H. Korth, E. Levy, and A. Silberschatz. A formal approach to recovery by compensating transactions. In 16th VLDB Conference, Brisbane, Australia, 1990.
19. 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.
20. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
21. J. Misra. Computation orchestration - a basis for wide-area computing. In 2004 NATO Summer School, Marktoberdorf, 2004.
22. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, September 1981.
23. H. Wachter and A. Reuter. The ConTract model. In A. Elmagarmid, editor, Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, 1992.