An Authentication Method of Web Service Combination Formalization Based on Petri Net

摘要：

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-formalization,which can come out 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 show the method is an good authentication method.)

关键词： Petri net incidence matrix transfer matrix credibility

作者: Ailing Li Lipei Cao Baofeng Li

作者单位: Department of Computer Engineering Anyang Institute of Technology Anyang,China Department of Mechanics Anyang Institute of Technology Anyang,China

会议类型: 国际会议

会议名称: 2012 International Conference on Computer Science and Electronic Engineering(2012 IEEE计算机科学与电子工程国际会议 ICCSEE 2012)

会议地点: 杭州

会议语种:英文

页码: 297-300

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