Towards a Theory of Web Service Choreographies


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.

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

Extracted Key Phrases

7 Figures and Tables


Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Su2007TowardsAT, title={Towards a Theory of Web Service Choreographies}, author={Jianwen Su and Tevfik Bultan and Xiang Fu and Xiangpeng Zhao}, booktitle={WS-FM}, year={2007} }