广义随机Petri网下的组合Web服务建模与评价

• 作者: 段振华 门鹏
• 来源期刊: 西安交通大学学报
• 关键词: 语义Web服务标记语言 广义随机Petri网 组合Web服务 性能评价 形式化验证
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 专题研究
• 页码范围: 967-971
• 页数: 5页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2008.08.009

摘要

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算机学院	47	363	10.0	16.0
2	门鹏	西安电子科技大学计算机学院	5	79	4.0	5.0