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 inIEEE transactions on systems, man and cybernetics. Part A, Systems and humans Vol. 40; no. 2; pp. 376 - 387
Main Authors Xiong, PengCheng, Fan, YuShun, Zhou, MengChu
Format Journal Article
LanguageEnglish
Published IEEE 01.03.2010
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
Online AccessGet full text

Cover

More Information
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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1083-4427
1558-2426
DOI:10.1109/TSMCA.2009.2037018