Web服务组合形式化验证方法研究(论文资料).pdfVIP

， （ ） 计算机工程与应用 48 2009 45 25 Computer Engineering and Applications Web 服务组合形式化验证方法研究 1 1 2 曹利培 ，孔 娟 ，刘 静 1 1 2 ， ， CAO Li-pei KONG Juan LIU Jing 1.安阳工学院计算机科学与信息工程系，河南 安阳 455000 2.华东师范大学软件学院计算机理论研究所，上海 200062 ， ， ， ， 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 ： E-mail ayclp@ ， ， CAO Li-pei KONG Juan LIU Jing.Authentication method of Web service combination formalization based on petri net. ， ， （）： Computer Engineering and Applications 2009 45 25 48-51. 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 m