计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (25): 48-51.DOI: 10.3778/j.issn.1002-8331.2009.25.015

• 研究、探讨 • 上一篇    下一篇

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

曹利培1,孔 娟1,刘 静2   

  1. 1.安阳工学院 计算机科学与信息工程系,河南 安阳 455000
    2.华东师范大学 软件学院 计算机理论研究所,上海 200062
  • 收稿日期:2009-03-27 修回日期:2009-05-18 出版日期:2009-09-01 发布日期:2009-09-01
  • 通讯作者: 曹利培

Authentication method of Web service combination formalization based on petri net

CAO Li-pei1,KONG Juan1,LIU Jing2   

  1. 1.Department of Computer Science and Information Engineering,Anyang Institute of Technology,Anyang,Henan 455000,China
    2.Software Engineering Institute,East China Normal University,Shanghai 200062,China
  • Received:2009-03-27 Revised:2009-05-18 Online:2009-09-01 Published:2009-09-01
  • Contact: CAO Li-pei

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

关键词: Petri网, 关联矩阵, 转移矩阵, 可信度

Abstract: The authentication of Web service combination is the key to ensure the normal working of the combination service.Many methods of current Web service combination are half-formalized,which can produce many errors and not easy to be detected,so the correctness is hard to be ensured.The paper introduces the transfer matrix to analyze the deadlock problem in Web service combination,and adopt incidence matrix to ensure the accessibility of combination.Fuzzy reasoning Petri net is the reasoning method of formalization authentication,which can achieve the credibility authentication,credibility and accessibility of the service combination.The result of the experiment shows that the method is a good authentication method.

Key words: Petri net, incidence matrix, transfer matrix, credibility

中图分类号: