Abstract
Web service composition involves the combination of a number of existing web services to create a value-added one. WS-BPEL is a promising language which describes Web service composition in form of business processes. However, WS-BPEL is an XML-based language and may suffer from ambiguities or some erroneous properties. The analysis and verification of business processes specified in WS-BPEL by a formal method has been a hot topic in the research community lately. In this paper, we propose a method to model and analyze WS-BPEL business processes based on ServiceNet, a special class of Petri nets. Unlike most of the existing work which analyze only control flow properties of WS-BPEL business processes but neglect data flow properties, our method models and analyzes both control properties and data properties of WS-BPEL business processes. We present the transformation rules of WS-BPEL business processes into ServiceNet and enrich the reduction rules of ServiceNet by applying them in some practical projects. Then the throughness of a business processes can be verified by reducing its ServiceNet representation based on some reduction rules. Moreover, we define some data-aspect properties of WS-BPEL business processes and give the corresponding checking algorithm.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
