Skip to main content
SpringerLink
Log in

Towards a Theory of Web Service Choreographies

  • Conference paper
Web Services and Formal Methods (WS-FM 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4937))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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)

    Chapter  Google Scholar 

  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. Bloomberg, J.: The seven principles of service-oriented development. XML & Web Services (August 2002)

    Google Scholar 

  6. Business Process Execution Language for Web Services (BPEL), Version 1.1 (May 2003), http://www.ibm.com/developerworks/library/ws-bpel

  7. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  17. Fu, X.: Formal Specification and Verification of Asynchronously Communicating Web Services. PhD thesis, University of California at Santa Barbara (2004)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Hull, R., Su, J.: Tools for composite web services: A short overview. SIGMOD Record 34(2), 86–95 (2005)

    Article  Google Scholar 

  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. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  26. Ramakrishnan, R.: Database Management Systems. McGraw-Hill, New York (1997)

    MATH  Google Scholar 

  27. van Breugel, F., Koshkina, M.: Models and verification of BPEL (2006)

    Google Scholar 

  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. Web Services Choreography Description Language Version 1.0 (December 2004), http://www.w3.org/TR/ws-cdl-10/

  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. 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 

Download references

Author information

Authors and Affiliations

  1. University of California at Santa Barbara,  

    Jianwen Su, Tevfik Bultan & Xiangpeng Zhao

  2. Georgia Southwestern University,  

    Xiang Fu

  3. Peking University, China

    Xiangpeng Zhao

Authors
  1. Jianwen Su
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tevfik Bultan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xiang Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xiangpeng Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marlon Dumas Reiko Heckel

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Su, J., Bultan, T., Fu, X., Zhao, X. (2008). Towards a Theory of Web Service Choreographies. In: Dumas, M., Heckel, R. (eds) Web Services and Formal Methods. WS-FM 2007. Lecture Notes in Computer Science, vol 4937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79230-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-79230-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-79229-1

  • Online ISBN: 978-3-540-79230-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation