基于Petri网的Web服务组合验证方法

• 作者: 何炎祥 张明武 沈华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 服务组合 结构验证 有界性 死锁 陷阱
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 111-115
• 页数: 5页
• 分类号: TP302.7
• 字数: 5561字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2015.4.021

摘要

对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的.Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web服务或子Web服务组合;死锁验证用来发现是否存在可能的服务盲区;陷阱验证用来发现是否存在可能的服务异常区.给出了上述各项验证的实现算法,测试实验验证了该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何炎祥	武汉大学计算机学院	179	1866	22.0	35.0
2	张明武	湖北工业大学计算机学院	25	84	5.0	7.0
3	沈华	湖北工业大学计算机学院	30	133	6.0	10.0