A petri net approach to analysis and composition of web services

Pengcheng Xiong, Yushun Fan, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

123 Scopus citations

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

Original languageEnglish (US)
Article number5398972
Pages (from-to)376-387
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume40
Issue number2
DOIs
StatePublished - Mar 2010

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Business Process Execution Language for Web Services (BPEL)
  • Business process
  • Discrete event systems
  • Petri nets
  • Siphons
  • Web service

Fingerprint

Dive into the research topics of 'A petri net approach to analysis and composition of web services'. Together they form a unique fingerprint.

Cite this