A petri net siphon based solution to protocol-level service composition mismatches

Document Type

Conference Proceeding

Publication Date

11-19-2009

Abstract

Protocol-level mismatch is one of the most important problems in service composition. The commonly used reachability exploration method focuses on verifying deadlock-freeness. When this property is violated, the states and traces in the reachability graph only give clues to re-design the composition. The process must then repeat itself until no deadlock is found. In this paper, multiple web service interaction is modeled with a Petri net called Composition net (C-net). The protocol-level mismatch problem is transformed into the deadlock structure problem of a C-net. If mismatches are found, a solution based on Petri net siphons is proposed. The proposed method is shown to achieve higher efficiency for resolving protocol-level mismatching issues than traditional ones do. © 2009 IEEE.

Identifier

70449504664 (Scopus)

ISBN

[9780769537092]

Publication Title

2009 IEEE International Conference on Web Services Icws 2009

External Full Text Location

https://doi.org/10.1109/ICWS.2009.108

First Page

952

Last Page

958

This document is currently not available here.

Share

COinS