Abstract
Web Services Business Process Execution Language (WS-BPEL) is a promising language describing the Service Oriented Software (SOS) orchestrations in form of Business Processes (BP), but it lacks of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it. Formal methods, like Petri Nets, may provide a means to analyse WS-BPEL processes, evaluating its performance, detecting weaknesses and errors in the process model already at design-time. This article addresses quality of SOS orchestrations created using the WS-BPEL and a framework ”SOASPE” for transformation of WS-BPEL into Generalized Stochastic Petri Nets is proposed to analise the performance and throughput of SOS, based on the execution of orchestrated processes.
Highlights
As the use of Web Services grows, organizations are increasingly choosing Business Process Modeling Notation (BPMN) for business process modelling while Web Services Business Process Execution Language (WS-BPEL) for services orchestration
Even though WS-BPEL is a promising language describing the Web Services orchestrations in form of Business Processes, it lacks of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it [Dun, Xu and Wang 2008]
The mission of the Integrator is execute the BPEL code of the Business Process Integrator (BPI), to orchestrate a composite service from it by filling out a Business Process description template with all information necessary to start the process - i.e. with partner links, addresses, etc., and to provide the latter to the consumers. This BPI Code will be written with WSBPEL and for having evaluated the performance of the WS orchestrated by it, we will transform it into Generalized Stochastic Petri Nets (GSPN)
Summary
As the use of Web Services grows, organizations are increasingly choosing Business Process Modeling Notation (BPMN) for business process modelling while WS-BPEL for services orchestration. This article presents a framework to transformation of Web Services (WS) orchestrating with WS-BPEL into Generalized Stochastic Petri Nets (GSPN) in a constructive way. A landscape of these languages such as Business Process Modeling Language (BPML), Web Services Business Process Execution Language (WS-BPEL, or BPEL), Web Service Choreography Interface (WSCI) and Web Services Choreography Description Language (WSCDL) has emerged and is continuously being enriched [OASIS 2007] All these proposals still remain at the descriptive level, without providing any kind of mechanisms or tools support for verifying an evaluation of performance specified in the proposed notations. For evaluating the performance of Web Services, we assume that we know the BPEL codes and the Probability Distribution Function (PDF) of the response time of individual Service Providers where the services are executed.
Sign-in/Register to view highlights & summary 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.
