计算机科学 ›› 2013, Vol. 40 ›› Issue (6): 37-40.

• 综述 • 上一篇    下一篇

一种考虑QoS的Web服务组合Petri网建模方法

刘丽,方金云   

  1. 中国科学院计算技术研究所计算机应用研究中心 北京100190;中国科学院计算技术研究所计算机应用研究中心 北京100190
  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本文受国家高技术研究发展计划(863)(2011AA120302)资助

Modeling Web Service Composition Using Alternative Petri Net Considering QoS

LIU Li and FANG Jin-yun   

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

摘要: Petri网是一种适合描述Web服务组合的建模方法,但是它无法对Web服务的服务质量(QoS)进行建模和分析。为此,将用户最为关心的服务时间、价格和概率3种QoS因素引入到Petri网模型中进行建模,提出了概率时间价格Petri网PTCPN,给出了PTCPN的语义及分析求解算法,并进行了实例建模和分析。结果表明,PTCPN可以有效支持服务组合功能和QoS的形式化统一建模和分析。

关键词: Web服务组合,QoS,Petri网,建模,分析

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!