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

fYear

2012

fDate

22-24 June 2012

Firstpage

501

Lastpage

504

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference on

Conference_Location

Beijing

Print_ISBN

978-1-4673-2007-8

Type

conf

DOI

10.1109/ICSESS.2012.6269514

Filename

6269514