Performance Analysis of Service Oriented Software
Henrique Jorge Amorim Holanda, Giovanni Cordeiro Barroso, Antônio B. Serra · iSys - Brazilian Journal of Information Systems · 2009
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.