Towards a Theory of Web Service Choreographies

  • Jianwen Su
  • Tevfik Bultan
  • Xiang Fu
  • Xiangpeng Zhao
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4937)


A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the shared components that are modeled as web services. It is expected that not only the participating services are complex and have observable states, but the number of interacting services may be also large. Prior work on choreographies (conversation protocols) all focuses on specifying how the interacting web services should behave globally. Studies have shown that the relationships between global and local specifications of service interactions could be rather intricate. In this paper, we formulate a framework consisting of logical and implementation levels. We survey and discuss the technical problems and known results concerning service design, analysis and verification in this framework.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proc. 31st Int. Conf. on Very Large Data Bases (VLDB), pp. 613–624 (2005)Google Scholar
  2. 2.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)Google Scholar
  3. 3.
    Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Bhattacharya, K., Guttman, R., Lymann, K., Heath, I.F.F., Kumaran, S., Nandi, P., Wu, F., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145–162 (2005)Google Scholar
  5. 5.
    Bloomberg, J.: The seven principles of service-oriented development. XML & Web Services (August 2002)Google Scholar
  6. 6.
    Business Process Execution Language for Web Services (BPEL), Version 1.1 (May 2003),
  7. 7.
    Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Proceedings of 6th International Symposium on Software Composition (SC), Braga, Portugal, pp. 34–50. Springer, Heidelberg (2007)Google Scholar
  9. 9.
    Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. In: Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Newport Beach, California, June 2007, pp. 122–130 (2007)Google Scholar
  10. 10.
    Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. Int. World Wide Web Conf. (WWW) (May 2003)Google Scholar
  11. 11.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006)Google Scholar
  13. 13.
    OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)Google Scholar
  14. 14.
    Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: Proceedings of IEEE International Conference on Web Services (ICWS) (2007)Google Scholar
  15. 15.
    Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 81–95. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305–319. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  17. 17.
    Fu, X.: Formal Specification and Verification of Asynchronously Communicating Web Services. PhD thesis, University of California at Santa Barbara (2004)Google Scholar
  18. 18.
    Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. Int. World Wide Web Conf (WWW) (May 2004)Google Scholar
  20. 20.
    Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proceedings of 6th IEEE Int. Enterprise Distributed Object Computing Conference (2002)Google Scholar
  21. 21.
    Hanson, J.E., Nandi, P., Levine, D.W.: Conversation-enabled web services for agents and e-business. In: Proceedings of the International Conference on Internet Computing (IC), pp. 791–796 (2002)Google Scholar
  22. 22.
    Hull, R., Su, J.: Tools for composite web services: A short overview. SIGMOD Record 34(2), 86–95 (2005)CrossRefGoogle Scholar
  23. 23.
    Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Proceedings of International Workshop on Web Services and Formal Methods (2007)Google Scholar
  24. 24.
    Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)CrossRefGoogle Scholar
  25. 25.
    Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of 16th International World Wide Web Conference (WWW), pp. 973–982. ACM Press, New York (2007)CrossRefGoogle Scholar
  26. 26.
    Ramakrishnan, R.: Database Management Systems. McGraw-Hill, New York (1997)MATHGoogle Scholar
  27. 27.
    van Breugel, F., Koshkina, M.: Models and verification of BPEL (2006)Google Scholar
  28. 28.
    van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.V.: Conformance checking of service behavior. ACM Transactions on Internet Technology (to appear, 2008)Google Scholar
  29. 29.
    Web Services Choreography Description Language Version 1.0 (December 2004),
  30. 30.
    Zaha, J.M., Barros, A., Dumas, M., ter Hofstede., A.: Lets Dance: A language for service behavior modeling. In: On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE, pp. 145–162 (2006)Google Scholar
  31. 31.
    Zaha, J.M., Dumas, M., ter Hofstede, A.: Service interaction modeling: Bridging global and local views. In: Proceedings of IEEE International Enterprise Distributed Object Computing Conference (EDOC) (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jianwen Su
    • 1
  • Tevfik Bultan
    • 1
  • Xiang Fu
    • 2
  • Xiangpeng Zhao
    • 1
    • 3
  1. 1.University of California at Santa Barbara 
  2. 2.Georgia Southwestern University 
  3. 3.Peking UniversityChina

Personalised recommendations