Welcome to the InfoSci Platform
Realizability Analysis of Top-Down Web Service Composition Specifications

Realizability Analysis of Top-Down Web Service Composition Specifications

Xiang Fu, Tevfik Bultan, Jianwen Su
Copyright: © 2008 |Pages: 33
ISBN13: 9781599049045|ISBN10: 159904904X|ISBN13 Softcover: 9781616927257|EISBN13: 9781599049076
DOI: 10.4018/978-1-59904-904-5.ch003
Cite Chapter Cite Chapter

MLA

Fu, Xiang, et al. "Realizability Analysis of Top-Down Web Service Composition Specifications." Web Services Research and Practices, edited by Liang-Jie Zhang, IGI Global, 2008, pp. 50-82. https://doi.org/10.4018/978-1-59904-904-5.ch003

APA

Fu, X., Bultan, T., & Su, J. (2008). Realizability Analysis of Top-Down Web Service Composition Specifications. In L. Zhang (Ed.), Web Services Research and Practices (pp. 50-82). IGI Global. https://doi.org/10.4018/978-1-59904-904-5.ch003

Chicago

Fu, Xiang, Tevfik Bultan, and Jianwen Su. "Realizability Analysis of Top-Down Web Service Composition Specifications." In Web Services Research and Practices, edited by Liang-Jie Zhang, 50-82. Hershey, PA: IGI Global, 2008. https://doi.org/10.4018/978-1-59904-904-5.ch003

Export Reference

Mendeley
Favorite

Abstract

A conversation protocol specifies the desired global behaviors of a Web service composition in a top-down fashion. Before implementing a conversation protocol, its realizability has to be determined—that is, can a bottom-up Web service composition be synthesized so that it generates exactly the same set of conversations as specified by the protocol? This chapter presents three sufficient conditions to restrict control flows of a conversation protocol for achieving realizability. The model is further extended to include data semantics of Web services into consideration. To overcome the state-space explosion problem, symbolic analysis techniques are used for improving the accuracy of analysis. The realizability analysis can effectively reduce the complexity of verifying Web services with asynchronous communication.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.