Exploring the connection of choreography and orchestration with exception handling and finalization/compensation

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

Volumn 4574 LNCS, Issue , 2007, Pages 81-96

  Hongli, Yang ^a   Xiangpeng, Zhao ^a   Chao, Cai ^a   Zongyan, Qiu ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Choreography; Compensation; Exception handling; Finalization; Orchestration; Projection

Indexed keywords

COMPUTER SIMULATION; DATA HANDLING; FEATURE EXTRACTION; COMPENSATION (PERSONNEL); FORMAL LANGUAGES; INTERNET PROTOCOLS; SEMANTICS;

CHOREOGRAPHY; EXCEPTION HANDLING; ORCHESTRATION; FINALIZATION; PROJECTION;

COMPUTER MUSIC; WEB SERVICES;

EID: 38149040795     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73196-2_6     Document Type: Conference Paper

References (17)

1. SOAP service description language, http://ssdl.org
2. Web services choreography description language version 1.0 (2005) http://www. w3. org/TR/2005/CR-ws-cdl-10-20051109/
3. Business process execution language for web services, version 1.1 (May 2003) http://www-106.ibm.com/developerworks/webservices/library/ws-bpe1
4. Baldoni, M., Badoglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol. 3670, Springer, Heidelberg (2005)
5. Brookes, S.: Traces, pomsets, fairness and full abstraction for communicating processes. In: Brim, L., Jančarr, P., Křetí nský, M., Kuèera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, Springer, Heidelberg (2002)
6. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL'05, ACM Press, New York (2005)
7. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, Springer, Heidelberg (2005)
8. Busi, N., Gorrieri, R., Guidi, O., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, Springer, Heidelberg (2006)
9. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, Springer, Heidelberg (2005)
10. 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, Springer, Heidelberg (2005)
11. Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006) http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf
12. Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, Springer, Heidelberg (2003)
13. Li, J., He, J., Pu, G., Zhu, H.: Towards the semantics for web services choreography description language. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, Springer, Heidelberg (2006)
14. Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensation flow language for web service. In: Ning, P., Qing, S., Li, N. (eds.) ICICS 2006. LNCS, vol. 4307, Springer, Heidelberg (2006)
15. Qiu, Z., Wang, S., Pu, G., Zhao, X.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, Springer, Heidelberg (2005)
16. Qiu, Z., Zhao, X., Chao, C., Yang, H.: Towards the theoretical foundation of choreography. Accepted by WWW'07. Available as a tech. report at http://www.is.pku.edu.cn/~fmows/
17. Zhao, X., Yang, H., Qiu, Z.: Towards the formal model and verification of web services choreography description language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)