DocumentCode
1976523
Title
Modeling and Optimizing Resource Scheduling for Service Composition Based on Queuing Petri Nets
Author
Guisheng Fan ; Huiqun Yu ; Liqiong Chen ; Dongmei Liu
Author_Institution
Dept. of Comput. Sci. & Eng., East China Univ. of Sci. & Technol., Shanghai, China
fYear
2013
fDate
22-26 July 2013
Firstpage
529
Lastpage
538
Abstract
Service composition is an important means for integrating the individual Web services to create new value added systems. However, because highly dynamic nature of service composition poses new challenges to resource management, efficient resource scheduling schemes are highly demanded. In this paper, a hierarchal service scheduling net is proposed to model different components of service composition, queuing theory is used to describe the competition process of available service, thus forming the scheduling model of service composition. On this basis, the evaluation function and resource scheduling strategy of service composition are proposed by considering the preference, the price and response time of available service. The related theories of Petri net are used to formally verify the correctness of proposed method. Both case study and simulation results show that the method can optimize the resource scheduling process of service composition, which has the merits of rich expressivity, while improving the performance.
Keywords
Petri nets; Web services; formal verification; queueing theory; scheduling; formal verification; individual Web services; queuing Petri nets; queuing theory; resource management; resource scheduling schemes; service composition; Analytical models; Computational modeling; Dynamic scheduling; Processor scheduling; Queueing analysis; Time factors; Petri nets; Queuing theory; Resource scheduling; Service composition;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual
Conference_Location
Kyoto
Type
conf
DOI
10.1109/COMPSAC.2013.87
Filename
6649877
Link To Document