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

摘要：

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

关键词： 网页服务组合 有界性验证 死锁验证 陷阱验证 Petri网

作者: 沈华 何炎祥 张明武

作者单位: 湖北工业大学计算机学院 武汉430068 武汉大学计算机学院 武汉430072

会议类型: 国内会议

会议名称: 2014湖北省计算机学会学术年会

会议地点: 宜昌

会议语种:中文

页码: 111-115

在线出版日期: 2014-10-31（万方平台首次上网日期，不代表论文的发表时间）