期刊文献+

一种基于广义随机Petri网的Web服务组合性能预测模型 被引量:3

GSPN Based Web Service Composition Performance Prediction Model
下载PDF
导出
摘要 Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。 The performance of individual Web service is related to the users' locations,because service interaction messages can be easily influenced by Internet environment.As a result,service composition,which is implemented by coordinating interactions between different Web services,is also greatly impacted by Internet.However,current modeling methods of service composition focus on composition itself without the impact of Internet and branch execution probability.In order to describe the relationship between service interactions,Internet environment and branch execution probability,this paper introduced a Web services performance prediction model based on generalized stochastic Petri nets.The model takes not only the situations of individual Web services but also the factors of Internet environment and branch execution probability into considerations.The model is used to evaluate and optimize the performance of service compositions.
出处 《计算机科学》 CSCD 北大核心 2011年第8期125-129,共5页 Computer Science
基金 国家自然科学基金项目(90818028) 国家863计划项目(2007AA010301) "核高基"重大专项(2009ZX01043-002-004)资助
关键词 WEB服务 性能预测模型 广义随机PETRI网 性能优化 Web service Performance prediction model Generalized stochastic petri nets Performance optimization
  • 相关文献

参考文献3

二级参考文献24

  • 1Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28~35 被引量:1
  • 2Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989 被引量:1
  • 3Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67~73 被引量:1
  • 4Milner R. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999 被引量:1
  • 5Milner R., Parrow J., Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1~77 被引量:1
  • 6Lin Hui-Min. Complete proof systems for observation congruences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443~454 被引量:1
  • 7Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442~445 被引量:1
  • 8Markus Lumpe. A Pi-calculus based approach to software composition [Ph.D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999 被引量:1
  • 9Orava F., Parrow J. An algebraic verification of a mobile network. Formal Aspect of Computing, 1992, 4(6): 497~543 被引量:1
  • 10Lin Hui-Min. A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification, North-Holland, 1993, 79~92 被引量:1

共引文献153

同被引文献23

引证文献3

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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