Specifying and verifying Web transactions

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

Volumn 5048 LNCS, Issue , 2008, Pages 149-168

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

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; FIBER OPTIC SENSORS; INFORMATION SERVICES; INTERNET; STRUCTURE (COMPOSITION); TECHNOLOGY; WORLD WIDE WEB; LOCKS (FASTENERS); SOCIAL NETWORKING (ONLINE);

AUTOMATIC MECHANISMS; BEHAVIORAL PROPERTY (BP); BUSINESS OPPORTUNITIES; CURRENT TECHNOLOGIES; DISTINCT FEATURES; DISTRIBUTED SYSTEMS; FORMAL DESCRIPTIONS; FORMAL TECHNIQUES; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; INTERNET TECHNOLOGIES; RESOURCE LOCKING; SERVICE INTERACTIONS; SPRINGER (CO); TEMPORAL CONSTRAINTS; TRANSACTION MODELS; TRANSACTIONAL BEHAVIOR; WEB TRANSACTIONS;

INFORMATION TECHNOLOGY; WEB SERVICES;

AUTOMATIC MECHANISMS; BEHAVIORAL PROPERTIES; BUSINESS OPPORTUNITIES; COMPOSITION STRUCTURE; CURRENT TECHNOLOGY; INTERNET TECHNOLOGY; SERVICE INTERACTION; TEMPORAL CONSTRAINTS;

EID: 45749085325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68855-6_10     Document Type: Conference Paper

References (18)

1. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124-138. Springer, Heidelberg (2003)
2. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209-220. ACM Press, New York (2005)
3. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transaction. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133-150. Springer, Heidelberg (2005)
4. Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 243-256. Springer, Heidelberg (2005)
5. Elmagarmid, A.K., Leu, Y., Litwin, W., Rusinkiewicz, M.: A multidatabase transaction model for interbase. In: VLDB 1990, pp. 507-518 (1990)
6. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of Web service compositions. In: ASE 2003, pp. 152-161. IEEE Computer Society, Los Alamitos (2003)
7. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, pp. 621-630. ACM Press, New York (2004)
8. Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249-259. ACM Press, New York (1987)
9. Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q.: Towards the Semantics and Verification of BPEL4WS. In: WLFM 2005. ENTCS, vol. 151, pp. 33-52. Elsevier, Amsterdam (2006)
10. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)
11. Levy, E., Korth, H.F., Silberschatz, A.: A theory of relaxed atomicity. In: PODC 1991, pp. 95-110. ACM Press, New York (1991)
12. Li, J., Zhu, H., He, J.: Algebraic Semantics for Compensable Transactions. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 306-321. Springer, Heidelberg (2007)
13. Li, J., Zhu, H., Pu, G., He, J.: A Formal Model for Compensable Transactions. In: Proc. of ICECCS 2007, pp. 64-73. IEEE Computer Society, Los Alamitos (2007)
14. Li, J., Zhu, H., Pu, G., He, J.: Looking into compensable transactions. In: Proc. of SEW-31, pp. 154-166. IEEE Computer Society, Los Alamitos (2007)
15. Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: WS-FM 2004. ENTCS, vol. 105, pp. 133-145. Elsevier, Amsterdam (2004)
16. Nakajima, S.: Model-checking of safety and security aspects in web service flows. In: Koch, N., Fraternali, P., Wirsing, M. (eds.) ICWE 2004. LNCS, vol. 3140, pp. 488-501. Springer, Heidelberg (2004)
17. Ouyang, J., Sahai, A., Machiraju, V.: An approach to optimistic commit and transparent compensation for e-service transactions. HP Laboratories Palo Alto (February 2001)
18. Solanki, M., Cau, A., Zedan, H.: Augmenting semantic web service descriptions with compositional specification. In: WWW 2004, pp. 544-552. ACM Press, New York (2004)