• 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