Title:
A Petri Net Approach to Analysis and Composition of Web Services
A Petri Net Approach to Analysis and Composition of Web Services
Author(s)
Xiong, PengCheng
Fan, YuShun
Zhou, MengChu
Fan, YuShun
Zhou, MengChu
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
Abstract
Business Process Execution Language for Web
Services (BPEL) is becoming the industrial standard for modeling
web service-based business processes. Behavioral compatibility for
web service composition is one of the most important topics. 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 services
interaction is modeled with a Petri net called Composition net
(C-net for short). The problem of behavioral compatibility among
web services is hence transformed into the deadlock structure
problem of a C-net. If services are incompatible, a policy based on
appending additional information channels is proposed. It is
proved that it can offer a good solution that can be mapped back
into the BPEL models automatically.
Sponsor
Date Issued
2009
Extent
Resource Type
Text
Resource Subtype
Technical Report