The Community for Technology Leaders
RSS Icon
Subscribe
Venice/Mestre, Italy
May 24, 2009 to May 28, 2009
ISBN: 978-0-7695-3613-2
pp: 363-369
ABSTRACT
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.
INDEX TERMS
WebService, BPEL, Petri Nets, performance
CITATION
Giovanni Cordeiro Barroso, Henrique Jorge A. Holanda, "SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS", ICIW, 2009, Internet and Web Applications and Services, International Conference on, Internet and Web Applications and Services, International Conference on 2009, pp. 363-369, doi:10.1109/ICIW.2009.60
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool