Paper Info
Title
Analyzing BPEL Compositionality Based on Petri Nets
Abstract
Process of service composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. This paper presents a Petri net-based approach to analyzing the soundness and compositionality of services in BPEL. A set of translation rules is proposed to transform BPEL processes into Petri nets, by which behaviors of the BPEL processes are articulated. The instantiation net of target services are used to capture all of the possible implementation flows of composition processes. Based on theories of Petri nets, the principles for analyzing soundness and compositionality of Web services are provided. A detailed example is given to demonstrate the applicability of our method.
Year
DOI
Venue
2008
10.1109/COMPSAC.2008.44
COMPSAC
Keywords
Field
DocType
analyzing bpel compositionality,formal modeling,petri net-based approach,petri nets,petri net,detailed example,bpel process,analysis method,web service,service composition,composition process,possible implementation flow,algebra,compositionality,business,bpel,web services,soundness,verification,computational modeling
Principle of compositionality,Petri net,Programming language,Business data processing,Computer science,Process architecture,Service composition,Business Process Execution Language,Soundness,Web service
Conference
Citations 
PageRank 
References 
1
0.36
5
Authors
4
Name
Order
Citations
PageRank
Guisheng Fan19125.45
Huiqun Yu219136.27
Liqiong Chen37519.61
Dongmei Liu47512.42