Internet and Web Applications and Services, International Conference on (2009)
May 24, 2009 to May 28, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2009.60
This paper addresses quality of service aspects of Web Services (WS) orchestrations created using the Business Process Execution Language for Web Services (BPEL4WS). BPEL4WS is a promising language describing the WS orchestrations in form of Business Processes, 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 (PN), may provide a means to analyse BPEL4WS processes, evaluating its performance, detecting weaknesses and errors in the process model already at design-time. A framework for transformation of BPEL4WS into Generalized Stochastic Petri Nets (GSPN) is proposed to analyse the performance and throughput of WS, based on the execution of orchestrated processes.
WebService, BPEL, Petri Nets, performance
Giovanni Cordeiro Barroso, Antonio de Barros Serra, Henrique Jorge A. Holanda, "SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS", Internet and Web Applications and Services, International Conference on, vol. 00, no. , pp. 363-369, 2009, doi:10.1109/ICIW.2009.60