一种基于随机Petri网的Web服务组合性能瓶颈定位策略

被引:24
作者
何炎祥 [1 ,2 ]
沈华 [1 ,3 ]
机构
[1] 武汉大学计算机学院
[2] 武汉大学软件工程国家重点实验室
[3] 湖北工业大学计算机学院
基金
国家自然科学基金重点项目;
关键词
随机Petri网; Web服务; Web服务组合; 性能瓶颈; 瓶颈定位;
D O I
暂无
中图分类号
TP393.09 [];
学科分类号
摘要
Web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现Web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的Web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过结构转换得到性能瓶颈定位分析结构集{顺序结构,分支结构,汇聚结构},在此基础上提出一种Web服务组合性能瓶颈定位策略.该策略首先根据库所中token消耗的速度将库所分成主动受阻库所、被动受阻库所和流通库所3类,然后分别基于3类库所在3种分析结构中的不同分布情况,通过顺向结构分析和逆向结构分析相结合的方法,讨论瓶颈可能存在的位置,并给出如何确定3种分析结构的结构发现定理.实验证明策略的预测结果是有效的.
引用
收藏
页码:1953 / 1966
页数:14
相关论文
共 12 条
[1]
基于服务关系的服务组合相关技术研究 [D]. 
徐萌 .
北京邮电大学,
2007
[2]
基于广义随机Petri网的Web服务交互行为-环境模型 [J].
朱俊 ;
郭长国 ;
吴泉源 .
计算机研究与发展, 2012, 49 (11) :2450-2463
[3]
基于排队Petri网的服务系统性能建模与分析方法 [J].
顾军 ;
罗军舟 ;
曹玖新 ;
李伟 .
计算机学报, 2011, 34 (12) :2435-2455
[4]
Web服务组合功能与QoS的形式化统一建模和分析 [J].
肖芳雄 ;
黄志球 ;
曹子宁 ;
屠立忠 ;
祝义 .
软件学报, 2011, 22 (11) :2698-2715
[5]
一种基于扩展有限自动机验证组合Web服务的方法 [J].
雷丽晖 ;
段振华 .
软件学报, 2007, (12) :2980-2990
[6]
基于Pi-演算的Web服务组合的描述和验证 [J].
廖军 ;
谭浩 ;
刘锦德 .
计算机学报, 2005, (04) :635-643
[7]
性能评价形式化方法的现状和发展 [J].
林闯 ;
李雅娟 ;
王忠民 .
电子学报, 2002, (S1) :1917-1922
[8]
随机进程代数与随机Petri网 [J].
林闯 ;
魏丫丫 .
软件学报, 2002, (02) :203-213
[9]
排队论.[M].陆传赉; 编著.北京邮电大学出版社.2009,
[10]
随机 Petri 网和系统性能评价.[M].林闯著;.清华大学出版社.2000,