A Petri Net Approach to Analysis and Composition of Web Services

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.

A Rest Service Framework for Raas Clouds

“…Petri-Net models have also been applied to create and analyze service compositions in several research work (Hamadi 2003, Decker 2008, Xiong 2010, Alarcon 2011. In a service composition, Petri-Net transitions represent activities that operate on tokens (messages and data) stored in the places, while the entire workflow is defined by a Petri-Net structure.…”

Research and Engineering Design in CPN of OWL-S Service

“…The legitimacy of the label and value in PNML is defined by PNTD (Petri Net Type Definition) [29]. PNML also describes the The structure of PNML consists of six parts [29], meta model, type definition interface, feature definition interface, practice document, Petri Net type definition and PNML file.…”

A Survey on Workflow Verifications of Petri Nets based Service Process Management

“…In literature [34], colored Petri Nets is used describe Web services, and then the communication transition sequence, similar transition sequence and equivalent transition sequence are defined, by which the compatibility and similarity of Web service process are verified. In literature [35], the Siphons theory is used to study the Petri Nets based service process compatibility. In literature [36], there definitions for service process compatibility are defined and the deadlock problem in asynchronous service process is discussed.…”