A Petri Net Approach to Analysis and Composition of Web Services

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 ve...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2010-03, Vol.40 (2), p.376-387
Main Authors: Xiong, PengCheng, Fan, YuShun, Zhou, MengChu
Format: Article
Language:English
Subjects:
Access protocols
Business
Business process
Business Process Execution Language for Web Services (BPEL)
Channels
Computer architecture
Cybernetics
Discrete event systems
Educational technology
Exploration
Internet
Mathematical models
Petri nets
Policies
Publishing
Redesign
Simple object access protocol
siphons
System recovery
Web service
Web services
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 redesign the composition. The redesign 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 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 the policy can offer a good solution that can be mapped back into the BPEL models automatically.
ISSN:1083-4427
2168-2216
1558-2426
2168-2232
DOI:10.1109/TSMCA.2009.2037018