SOASPE: a Framework for the Performance Analysis of Service Oriented Software

  • Henrique Jorge Holanda UERN
  • Giovvani Cordeiro Barroso UFC
  • A. B. Serra CFET-CE


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.


W3C. (2002). Web Services Description Requirements.

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.

Hendricks, M. et al. (2002). “Java Web Services”, Alta Books.
Como Citar

Selecione um Formato
HOLANDA, Henrique Jorge; BARROSO, Giovvani Cordeiro; SERRA, A. B.. SOASPE: a Framework for the Performance Analysis of Service Oriented Software. In: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 5. , 2009, Brasília. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2009 . p. 204-215. DOI: