Towards a Theory of Web Service Choreographies

  • Jianwen Su
  • Tevfik Bultan
  • Xiang Fu
  • Xiangpeng Zhao
Conference paper

DOI: 10.1007/978-3-540-79230-7_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4937)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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