Title :
Performance analysis for web service composition based on Queueing Petri Net
Author :
Juan, Song ; Hao, Wang
Author_Institution :
Coll. of Software, Jiangxi Normal Univ., Nanchang, China
Abstract :
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.
Keywords :
Petri nets; Web services; queueing theory; WS-BPEL; Web service composition; formal modeling; mean service response time; mean token population; orchestration process; performance analysis; performance indicators; process description language; quantitative analysis method; queueing Petri Net; service utilization; simulation tool QPME; Analytical models; Atomic clocks; Queueing analysis; BPEL; QPME; Queueing Petri Nets; performance; web service composition;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2007-8
DOI :
10.1109/ICSESS.2012.6269514
