文献类型：期刊文章

作　　者：曹利培[1] 孔娟[1] 刘静[2]

机构地区：[1]安阳工学院计算机科学与信息工程系,河南安阳455000 [2]华东师范大学软件学院计算机理论研究所,上海200062

出　　处：《计算机工程与应用》

基　　金：国家自然科学基金No.60373032~~

年　　份：2009

卷　　号：45

期　　号：25

起止页码：48-51

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

关 键 词：PETRI网 关联矩阵 转移矩阵 可信度  

分 类 号：TP31]