Towards a theory of web service choreographies

  • Authors:

  • Jianwen Su;Tevfik Bultan;Xiang Fu;Xiangpeng Zhao

  • Affiliations:

  • University of California at Santa Barbara;University of California at Santa Barbara;Georgia Southwestern University;University of California at Santa Barbara and Peking University, China

  • Venue:
  • WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.