Welcome to the InfoSci Platform
Reference Hub15
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: © 2010 |Volume: 7 |Issue: 4 |Pages: 20
ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781613502297|DOI: 10.4018/jwsr.2010100101
Cite Article Cite Article

MLA

Xiong, PengCheng, et al. "Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution." IJWSR vol.7, no.4 2010: pp.1-20. http://doi.org/10.4018/jwsr.2010100101

APA

Xiong, P., Pu, C., & Zhou, M. (2010). Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution. International Journal of Web Services Research (IJWSR), 7(4), 1-20. http://doi.org/10.4018/jwsr.2010100101

Chicago

Xiong, PengCheng, Calton Pu, and Mengchu Zhou. "Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution," International Journal of Web Services Research (IJWSR) 7, no.4: 1-20. http://doi.org/10.4018/jwsr.2010100101

Export Reference

Mendeley
Favorite Full-Issue Download

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.