共 2 条
[2]
随机Petri网和系统性能评价.[M].林闯著;.清华大学出版社.2005,
广义随机Petri网下的组合Web服务建模与评价
被引：11
作者：
门鹏
段振华
机构：
[1] 西安电子科技大学计算机学院
来源：
关键词：
语义Web服务标记语言;
广义随机Petri网;
组合Web服务;
性能评价;
形式化验证;
D O I：
暂无
中图分类号：
TP393.09 [];
学科分类号：
080402 ;
摘要：
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.
引用
收藏
页码：967 / 971
页数：5
相关论文