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

doi:10.3778/j.issn.1002-8331.2009.25.015

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

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

曹利培¹，孔娟¹，刘静²

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-pei¹，KONG Juan¹，LIU Jing²

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

摘要/Abstract

摘要： 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

中图分类号:

TP31

曹利培¹，孔娟¹，刘静². Web服务组合形式化验证方法研究[J]. 计算机工程与应用, 2009, 45(25): 48-51.

CAO Li-pei¹，KONG Juan¹，LIU Jing². Authentication method of Web service combination formalization based on petri net[J]. Computer Engineering and Applications, 2009, 45(25): 48-51.

[1]	王运成，周春华，陈楚湘，吴善明，陈冰. 基于二叉知识树推理的可扩展智能排课系统[J]. 计算机工程与应用, 2021, 57(5): 251-257.
[2]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[3]	黄泽英，李海艳，林景亮. 迁移学习下的极限学习机代理建模方法及应用[J]. 计算机工程与应用, 2021, 57(22): 257-262.
[4]	蔡瑞光，张德生，张晓. 基于双向选择的伪近邻算法[J]. 计算机工程与应用, 2021, 57(13): 102-107.
[5]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[6]	朱丹，陈晓红，吴卿源，李舜酩. 自适应图学习诱导的子空间聚类[J]. 计算机工程与应用, 2020, 56(21): 30-37.
[7]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[8]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[9]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[10]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[11]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[12]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[13]	赵彤彤1，张春雷2，张春雨3，高世臣1. 基于模糊熵的KNN分类模型在岩性识别中的应用[J]. 计算机工程与应用, 2018, 54(24): 260-265.
[14]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[15]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.

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

Authentication method of Web service combination formalization based on petri net

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics