Welcome to the InfoSci Platform
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution

Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution

PengCheng Xiong, Calton Pu, MengChu Zhou
Copyright: © 2012 |Pages: 21
ISBN13: 9781466619425|ISBN10: 1466619422|EISBN13: 9781466619432
DOI: 10.4018/978-1-4666-1942-5.ch003
Cite Chapter Cite Chapter

MLA

Xiong, PengCheng, et al. "Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution." Web Service Composition and New Frameworks in Designing Semantics: Innovations, edited by Patrick Hung, IGI Global, 2012, pp. 50-70. https://doi.org/10.4018/978-1-4666-1942-5.ch003

APA

Xiong, P., Pu, C., & Zhou, M. (2012). Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution. In P. Hung (Ed.), Web Service Composition and New Frameworks in Designing Semantics: Innovations (pp. 50-70). IGI Global. https://doi.org/10.4018/978-1-4666-1942-5.ch003

Chicago

Xiong, PengCheng, Calton Pu, and MengChu Zhou. "Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution." In Web Service Composition and New Frameworks in Designing Semantics: Innovations, edited by Patrick Hung, 50-70. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-1942-5.ch003

Export Reference

Mendeley
Favorite

Abstract

Protocol-level mismatch is one of the most important problems in service composition. The state-of-the-art method to deal with protocol mismatch is to generate adaptors to check deadlock-freeness based on a reachability graph. When this property is violated, the generation process will repeat itself until no deadlock state is found; however, the main drawback of this method is that it does not take into account the future deadlock state and requires many interactions with a developer. In this regard, it suffers from low efficiency. In this paper, the authors model multiple web service interaction with a Petri net called Composition net (C-net). The protocol-level mismatch problem is transformed into the empty siphon problem of a C-net. The authors take future deadlock states into consideration through this model, while finding the optimal solution that involves fewest interactions with a developer. The proposed method is proved to achieve higher efficiency for resolving protocol-level mismatch issues than traditional ones.

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.