Performance analysis for web service composition based on Queueing Petri Net
Juan Song, Hao Henry Wang · 2012
As a process description language of Web service composition, WS-BPEL only describes the orchestration process of the Web service composition. And we need to optimize the system performance by proposing a formal model of the process to analyze performance of the composition. This paper presents to make use of Queueing Petri Nets [1-2] to formal modeling of BPEL processes, use simulation tool QPME[3-4] to imitate simulation service composition, finally analyze and verify one of the performance indicators: mean service response time, service utilization and mean token population by the quantitative analysis method.