Web服务组合形式化验证方法研究

• 作者: 刘静 孔娟 曹利培
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Petri网 关联矩阵 转移矩阵 可信度
• 年，卷（期）: 2009,（25）
• 所属期刊栏目: 研究、探讨
• 页码范围: 48-51,70
• 页数: 5页
• 分类号: TP31
• 字数: 4763字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.25.015

摘要

Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证.采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性.利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性,对于Web服务组合是一种可以推理的形式化验证方法.实验结果表明这种方法是一种很好的验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹利培	安阳工学院计算机科学与信息工程系	9	50	3.0	7.0
2	孔娟	安阳工学院计算机科学与信息工程系	14	44	4.0	6.0
3	刘静		1	6	1.0	1.0