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

Pengcheng Xiong, Mengchu Zhou, Calton Pu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

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.

Original languageEnglish (US)
Title of host publication2009 IEEE International Conference on Web Services, ICWS 2009
Pages952-958
Number of pages7
DOIs
StatePublished - Nov 19 2009
Event2009 IEEE International Conference on Web Services, ICWS 2009 - Los Angeles, CA, United States
Duration: Jul 6 2009Jul 10 2009

Publication series

Name2009 IEEE International Conference on Web Services, ICWS 2009

Other

Other2009 IEEE International Conference on Web Services, ICWS 2009
CountryUnited States
CityLos Angeles, CA
Period7/6/097/10/09

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'A petri net siphon based solution to protocol-level service composition mismatches'. Together they form a unique fingerprint.

Cite this