SOASPE: a Framework for the Performance Analysis of Service Oriented Software
Resumo
Business Process Execution Language for Web Services (BPEL4WS) is a promising language describing the Service Oriented Software (SOS) 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, evaluatingits performance, detecting weaknesses and errors in the process model already at design-time. This paper addresses quality of SOS orchestrations created using the BPEL4WS and a framework for transformation of BPEL4WS into Generalized Stochastic Petri Nets (GSPN) is proposed to analise the performance and throughput of SOS, based on the execution of orchestrated processes.
Referências
OASIS. (2007). Web Services Business Process Execution Language 2.0.
Menascé, D. A. and Almeida, V. F. (2001). Capacity Planning for Web Service: metrics, models, and métodos. Prentice Hall. 608p.
Rud D., Schmietendorf A. and Dumke R (2006). Performance modeling of WS BPELbased web service compositions. In Proceedings of the IEEE Service Computing Workshops (SCW 2006), pages 140-147, Los Alamitos, CA, USA, September 2006.
Silva, A. N. And Lins, F. A. (2006). Avaliação de Desempenho da Composição de Web Services Usando Redes de Petri. In: SBRC, 2006, Curitiba. 24o. Simpósio Brasileiro de Redes de Computadores.
PE group (2006) . GreatSPN User’s Manual (version 2.0.2). University of Torino, Italy. http://www.di.whito.it/greatspn
Hendricks, M. et al. (2002). “Java Web Services”, Alta Books.
