Algebraic semantics for compensable transactions

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

Volumn 4711 LNCS, Issue , 2007, Pages 306-321

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

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; OPTIMIZATION; PARALLEL PROGRAMMING;

ALGEBRAIC SEMANTICS; BUSINESS PROCESS; PROGRAMMABLE COMPENSATION; TRANSACTIONAL OPERATORS;

SEMANTIC WEB;

EID: 38049110879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75292-9_21     Document Type: Conference Paper

References (15)

1. Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD'87, pp. 249-259. ACM Press, New York (1987)
2. Li, J., Zhu, H., Pu, G., He, J.: Looking into compensable transactions. In: SEW-31, IEEE Computer Society Press, Los Alamitos (to appear, 2007)
3. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)
4. Plotkin, G.D.: A structural approach to operational semantics. Technical report, Aarhus University (1981)
5. Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensable flow languange for web service. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 251-266. Springer, Heidelberg (2006)
6. Zhu, H., Pu, G., He, J.: A detational approach to scope-based compensable flow language for web services. In: Proc. of ASIAN'06 (2006)
7. He, J., Zhu, H., Pu, G.: A model for BPEL-like languages. Frontiers of Computer Science in China (2006)
8. Li, J., He, J., Pu, G., Zhu, H.: Towards the semantics for web service choreography description language. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 246-263. Springer, Heidelberg (2006)
9. Li, J., He, J., Zhu, H., Pu, G.: Modeling and verifying web services choreography using process algebra. In: SEW-31, IEEE Computer Society Press, Los Alamitos (to appear, 2007)
10. Butler, M., Ferreira, C.: A process compensation language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 61-76. Springer, Heidelberg (2000)
11. Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87-104. Springer, Heidelberg (2004)
12. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transaction. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) CSP 2004. LNCS, vol. 3525, pp. 133-150. Springer, Heidelberg (2005)
13. Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol. 3670, pp. 243-256. Springer, Heidelberg (2005)
14. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL'05, pp. 209-220. ACM Press, New York (2005)
15. Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 383-397. Springer, Heidelberg (2005)