Computer Science ›› 2013, Vol. 40 ›› Issue (6): 37-40.

Previous Articles     Next Articles

Modeling Web Service Composition Using Alternative Petri Net Considering QoS

LIU Li and FANG Jin-yun   

  • Online:2018-11-16 Published:2018-11-16

Abstract: Petri net is a proper method used to model Web service,but it cannot support for QoS modeling and analysis.This paper proposed a Petri net called PTCPN(Probability Time Cost Petri Net) by extending an existing Petri net with QoS modeling capability.It presened its syntax and semantics to prove that it can model not only functionality,but also non-functionality,such as reliability,time and cost.The result illustrates the effectiveness with an example to prove that PTCPN can support formal modeling and analyzing of QoS of Web service composition.

Key words: Web service,QoS,Petri net,Modeling,Analysis

[1] Ben Mabrouk N,et al.QoS-aware service composition in dynamicservice oriented environments[C]∥Middleware 2009.2009:123-142
[2] Menasce D A.Composing Web Services:A QoS View[J].Internet Computing,IEEE,2004,8(6):88-90
[3] Huan L,et al.An Approach for QoS-Aware Web Service Composition Based on Improved Genetic Algorithm in Web Information Systems and Mining (WISM)[C]∥2010International Conference.2010
[4] Zeng L,et al.Quality-driven Web services composition[C]∥Proceedings of the 12th International Conference on World Wide Web.2003
[5] 李金忠,等.基于QoS的Web服务选择算法综述[J].计算机应用研究,2010,27(10):3622-3627,8
[6] 闫春钢,蒋昌俊,李启炎.基于Petri网的Web服务组合与分析[J].计算机科学,2007,34(2):100-103,4
[7] Hamadi R,Benatallah B.A Petri Net-based Model for WebService Composition[C]∥ADC’03Proceedings of the 14th Austrasaian Databased Conference.2003:191-200
[8] 刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析[J].电子学报,2005,33(8):1416-1420
[9] 肖芳雄,等.Web服务组合功能与QoS的形式化统一建模和分析[J].软件学报,2011,22(11):2698-2715
[10] 肖芳雄,等.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报,2012(5):918-936
[11] Petri网原理与应用[M].北京:电子工业出版社,2005
[12] Roux O,Lime D.Time Petri nets with inhibitor hyperarcs,formal semantics and state space computation[C]∥Applications and Theory of Petri Nets 2004.2004:371-390
[13] Adam N R,Atluri V,Huang W K.Modeling and analysis of workflows using Petri nets[J].Journal of Intelligent Information Systems,1998,10(2):131-158

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!