TY - GEN
T1 - A petri net siphon based solution to protocol-level service composition mismatches
AU - Xiong, Pengcheng
AU - Zhou, Mengchu
AU - Pu, Calton
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70449504664&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70449504664&partnerID=8YFLogxK
U2 - 10.1109/ICWS.2009.108
DO - 10.1109/ICWS.2009.108
M3 - Conference contribution
AN - SCOPUS:70449504664
SN - 9780769537092
T3 - 2009 IEEE International Conference on Web Services, ICWS 2009
SP - 952
EP - 958
BT - 2009 IEEE International Conference on Web Services, ICWS 2009
T2 - 2009 IEEE International Conference on Web Services, ICWS 2009
Y2 - 6 July 2009 through 10 July 2009
ER -