期刊文献+

一种模型驱动的WS-CDL服务组合可靠性预测方法 被引量:2

Model-driven approach for dependability prediction of WS-CDL based service composition
下载PDF
导出
摘要 WS-CDL是一种主流的Web服务组合标准,描述了基于编排机制的端对端服务组件的组合方式。对基于WS-CDL的服务组合进行可靠性预测,能帮助Web服务的使用和管理者定量考察服务的可信性,并帮助他们从功能相同的服务组件中择优选取以优化整体服务流程的可靠性。然而,学术界对WS-CDL可靠性研究非常匮乏。提出了一种模型驱动的方法来预测基于WS-CDL的组合服务的可靠性。该方法首先引入一系列的转换规则,将WS-CDL中的各种活动和结构转换为等效的NMSPN网描述。在生成的NMSPN网基础上,引入了一个预测算法以分析组合服务的"流程正常结束概率"。为了对理论模型和结果进行检验,还通过WS-CDL+执行引擎对服务组合的实例进行执行并获得了流程正常结束率的实验数据。比较发现,由实验数据导出的95%置信区间完好地覆盖了理论分析结果,表明了该方法的正确性和精确性。 Web Services Choreography Description Language(WS-CDL) is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition.The dependability of composite service processes specified in WS-CDL is predicted.It allows service designers and uses to decide whether the process meets the non-function requirements of trustworthiness,and to choose the process with better dependability from those with identical function.But, very limited research attention is paid to dependability of WS-CDL.This paper proposes a model-driven approach for dependability prediction of composite service based on WS-CDL.To model a composite service in a quantitative manner,a set of translation rules is given to map WS-CDL elements into Non-Markovian-Stochastic-Petri-Nets(NMSPN).Based on the NMSPN representation,the prediction algorithm is introduced to calculate the process-normal-completion-probability as the metric of dependability of service composition.The accuracy of the approach in the experimental study is also validated by showing 95% confidence intervals obtained from experimental dependability results cover corresponding theoretical prediction values.
出处 《计算机工程与应用》 CSCD 北大核心 2011年第11期60-66,101,共8页 Computer Engineering and Applications
关键词 可靠性 网络服务编排定义语言(WS-CDL) 非马尔科夫随机Petri网(NMSPN) 置信区间分析 dependability Web Services Choreography Description Language(WS-CDL) Non-Markovian-Stochastic-Petri-Nets (NMSPN) confidence interval analysis
  • 相关文献

参考文献10

  • 1Web Services Choreography Description Language,Version 1.O[Z]. 2005-10. 被引量:1
  • 2Zhou Lei, Zhang Hanyi, Wang Tao, et al.Static check of WS-CDL documents[C]//Proc SOSE,2008:142-147. 被引量:1
  • 3Pu Geguang, Zhao Yongxin, Wang Zheng, et al.A denotational model for Web services choreography[C]//Proc ICDCIT, 2008 : 1-12. 被引量:1
  • 4Valero V, Cambronero M E,Daz G,.et al.A Petri net approach for the design and analysis of Web services choreographies[J]. The Journal of Logic and Algebraic Programming,2009,78(5): 359-380. 被引量:1
  • 5Daz G,Pardo J J,Cambronero M E,et al.Automatic translation of WS-CDL Choreographies to timed Automata[C]//Proc EPEW/ WS-FM, 2005 : 230-242. 被引量:1
  • 6Daz G, Cambronero M E, Pardo J J, et al.Automatic generation of correct Web services choreographies and orchestrations with model checking techniques[C]//Proc AICT 2006 2006:186-196. 被引量:1
  • 7Tobias P,Trindade D.Applied reliability[M].2nd ed.Kluwer: Dordrecht, 1995. 被引量:1
  • 8Trivedi K.Probability and statistics with reliability, queuing, and computer science applications[M].West Sussex: John Wiley and Sons, England, 2001. 被引量:1
  • 9Kang Zuling,Wang Hongbing,Hung P C K.WS-CD+:WS-CDL+ for web service collaboration[J].Information System Frontiers, 2007,9(4) : 375-389. 被引量:1
  • 10Welcome to the WS-CDL+ Execution Engine Project, Version 0.1.1 [EB/OL]. ( 2008-01 ) .http://wscomposition.seu.edu.crdindex.html. 被引量:1

同被引文献44

  • 1海燕,王志坚,刘志中,周晓峰,尚领.一种支持Web服务QoS动态预测的方法[J].南京理工大学学报,2013,37(1):52-59. 被引量:3
  • 2李建华,马华,刘星沙.面向服务工作流的分布式事务管理研究[J].计算机工程,2007,33(4):58-60. 被引量:3
  • 3IBRAHIM N, MOUEL F L. A survey on service composition middleware in pervasive environments [ J ]. International Jour- nal of Computer Science Issues, 2009,1 ( 1 ) : 1-12. 被引量:1
  • 4ARSANJANI A, GHOSH S, ALLAM A, et al. SOMA-A method for developing service-oriented solutions [ J ]. IBM Systems Journal,2008,47 ( 3 ) : 377-396. 被引量:1
  • 5CAMBRONERO M, DIAZ G, MARTINEZ E et al. WST: a tool supporting timed composite web services model transfor-mation[ J]. Simulation: Transactions of the Society for Modeling and Simulation International,2011,88 (3) :349-364. 被引量:1
  • 6DUSTDAR S, SCHREINER W. A survey on web services composition [ J ]. International Journal on Web and Grid Serv- ices ,2005,1 ( 1 ) : 1-30. 被引量:1
  • 7RAO J, SU X. A survey of automated web service composition methods [ J ]. Lecture Notes in Computer Science, 2005, 3387:43-54. 被引量:1
  • 8NEMATZADEH H, MOHAMAD R, MOTAMENI H. Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition [ C ]//Software Engineering and Service Science (ICSESS). 2011 IEEE 2nd International Conference, 2011:316-321. 被引量:1
  • 9BIUNDO S, BERCHER P, GEIER T, et al. Advanced user assistance based on AI planning [ J ]. Cognitive Systems Research, 2011,12 ( 3-4 ) :219-236. 被引量:1
  • 10KOLLER A, PETRICK R. Experiences with planning for natural language generation [ J ]. Computational Intelligence, 2011,27 ( 1 ) :23-40. 被引量:1

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部