A formal model for compensable transactions

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 64-73

  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

CALCULATIONS;

BISIMULATIONS; BUSINESS FLOW; COMPOSITIONAL STRUCTURE; EXCEPTION HANDLING; FORMAL MODELING; OPERATIONAL SEMANTICS; PARALLEL COMPOSITION; PARTIAL EXECUTIONS; SEQUENTIAL COMPOSITIONS;

SEMANTICS;

EID: 45749143175     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.8     Document Type: Conference Paper

References (27)

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 semantics 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/ws- bpel/.
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. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FoSSaCS'05, LNCS 3441, pages 282-298. Springer, 2005.
16. F. Leymann. Web Services Flow Language (WSFL 1.0). Member IBM Academy of Technology, IBM Software Group, 2001.
17. 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.
18. J. Li, J. He, H. Zhu, and G. Pu. Modeling and verifying web services choreography using process algebra. In SEW-31 (31st Software Engineering Workshop). IEEE Computer Society, 2007. To appear.
19. J. Li, H. Zhu, G. Pu, and J. He. Looking into compensable transactions. In SEW-31 (31st Software Engineering Workshop). IEEE Computer Society, 2007. To appear.
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. D. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, 1981.
24. 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.
25. S. Thatte. XLANG: Web services for business process design. Microsoft Corporation, 2001.
26. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0, 2005. http://www.w3.org/TR/ws-cdl-10/.
27. 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.