Looking into compensable transactions

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 154-163

  Li, Jing ^a   Zhu, Huibiao ^a   Pu, Geguang ^a   He, Jifeng ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; ERROR COMPENSATION; ERRORS; INFORMATION SERVICES; SOFTWARE ENGINEERING; STANDARDS;

ALGEBRAIC PROPERTIES; BUSINESS TRANSACTIONS; ERROR RECOVERY MECHANISMS; EXCEPTION HANDLING; LONG-RUNNING TRANSACTIONS; SERVICE ORIENTED COMPUTING;

ERROR ANALYSIS;

EID: 47749150316     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2007.62     Document Type: Conference Paper

References (26)

1. Business process modeling language (bpml). http://www.bpmi.org.
2. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. In Proc. of FMOODS'03, LNCS 2884, pages 124-138. Springer, 2003.
3. R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. In CONCUR 2005, pages 383-397, San Francisco, 2005. Springer.
4. R. Bruni, G. L. Ferrari, H. C. Melgratti, U. Montanari, D. Strollo, and E. Tuosto. From theory to practice in transactional composition of web services. In EPEW/WS-FM, LNCS 3670, pages 272-286. Springer, 2005.
5. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL'05, pages 209-220. ACM Press, 2005.
6. M. Butler and C. Ferreira. A process compensation language. In Proc. of IFM2000, LNCS 1945, pages 61-76. Springer, 2000.
7. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. In Proc. of Coordination'04, LNCS 2949, pages 87-104. Springer, 2004.
8. M. Butler, T. Hoare, and C. Ferreira. A trace semactics for long-running transaction. In Proc. of 25 Years of CSP, LNCS 3525, pages 133-150. Springer, 2004.
9. M. Butler and S. Ripon. Executable semantics for compensating CSP. In Proc. of WS-FM'05, LNCS 3670, pages 243-256. Springer, 2005.
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. F. Curbera, Y. Goland, J. Klein, F. Leymann, D.Roller, S.Thatte, and S. Weerawarana. Business Process Execution Language for Web Services (BPEL4WS 1.1), 2003. http://www-106.ibm.com/developerworks/webservices/library/ wsbpel/.
12. H. Garcia-Molina and K. Salem. Sagas. In Proc. of ACM SIGMOD'87, pages 249-259. ACM Press, 1987.
13. J. He, H. Zhu, and G. Pu. A model for bpel-like languages. Frontiers of Computer Science in China, 2006.
14. C. A. R. Hoare. Communicating Sequential Process. Prentice Hall, 1985.
15. H. F. Korth, E. Levy, and A. Silberschatz. A formal approach to recovery by compensating transactions. In 16th VLDB Conference, ENTCS 105, Brisbane, Australia, 1990.
16. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FoSSaCS'05, LNCS 3441, pages 282-298. Springer, 2005.
17. F. Leymann. Web Services Flow Language (WSFL 1.0). Member IBM Academy of Technology, IBM Software Group, 2001.
18. J. Li, J. He, G. Pu, and H. Zhu. Towards the semantics for web service choreography description language. In ICFEM'06, LNCS 4260, pages 246-263. Springer, 2006.
19. J. Li, J. He, H. Zhu, and G. Pu. Modeling and verifying web services choreography using process algebra. Technical report, Software Engineering Institute, East China Normal University, 2006.
20. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. In Proc. of WS-FM'04, ENTCS 105, pages 133-145. Elsevier, 2004.
21. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
22. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
23. G. Pu, H. Zhu, Z. Qiu, S. Wang, X. Zhao, and J. He. Theoretical foundations of scope-based compensable flow languange for web service. In IFIP FMOODS'06, LNCS 4307, pages 251-266. Springer, 2006.
24. S. Thatte. XLANG: Web services for business process design. Microsoft Corporation, 2001.
25. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0, 2005. http://www.w3.org/TR/ws-cdl-10/.
26. H. Zhu, G. Pu, and J. He. A detational approach to scope-based compensable flow language for web services. In Proc. of ASIAN'06, 2006.