基于Petri网的Web服务交互行为一致性检测方法

J4 ›› 2013, Vol. 35 ›› Issue (1): 24-29.

基于Petri网的Web服务交互行为一致性检测方法

朱俊1，郭长国1,2，吴泉源1

(1.国防科学技术大学计算机学院，湖南长沙 410073；2.中国电子设备系统工程公司，北京 100039)

收稿日期:2010-12-16 修回日期:2011-03-10 出版日期:2013-01-25 发布日期:2013-01-25
作者简介:朱俊(1981),男，浙江嘉兴人，博士，CCF会员（E200010186S），研究方向为分布式计算和可信软件。
基金资助:
国家自然科学基金资助项目(90818028)；国家863计划资助项目(2007AA010301)；“核高基”重大专项资助项目(2009ZX01043-002-004)

Conformance checking method for Web service interaction behaviors based on Petri nets

ZHU Jun1,GUO Changguo1,2,WU Quanyuan1

(1.School of Computer Science,National University of Defense Technology,Changsha 410073;2.China Electric Equipment and Systems Engineering Ltd., Beijing 100039,China)

Received:2010-12-16 Revised:2011-03-10 Online:2013-01-25 Published:2013-01-25

摘要/Abstract

摘要：

在复杂多变且不可预知的因特网环境中，Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题，提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先，提出了一个Web服务交互行为的运行时监控框架，从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后，对一致性检测方法的负载和性能进行了充分的评估。

关键词: 一致性检测, 服务交互行为, Petri网, 运行时监控

Abstract:

It is difficult to guarantee the conformance between the actual interaction behavior of Web service composition and its well defined specification in such a complicated and unpredicted Internet environment. In order to solve this problem, this paper proposes a runtime conformance checking method for Web services interaction behaviors based on Petri nets. First, it provides a runtime monitoring framework for Web service interaction behaviors. Then, the conformance checking mechanism for services interaction behaviors is also fully introduced. At last, we evaluate the overhead and performance of runtime monitor.

Key words: eb service；conformance check；interaction behaviors；Petri nets；runtime monitoring

朱俊1，郭长国1,2，吴泉源1. 基于Petri网的Web服务交互行为一致性检测方法[J]. J4, 2013, 35(1): 24-29.

ZHU Jun1,GUO Changguo1,2,WU Quanyuan1. Conformance checking method for Web service interaction behaviors based on Petri nets[J]. J4, 2013, 35(1): 24-29.

[1]	杨慧慧, 方贤文, 邵叱风. 基于Petri网的并发事件流程模型修复分析[J]. 计算机工程与科学, 2021, 43(10): 1773-1780.
[2]	王吴松, 方欢, 郑雪文. 基于Petri网的流程变体合并方法[J]. 计算机工程与科学, 2021, 43(06): 1095-1103.
[3]	王帅辉, 袁杰. 复合Petri网的主从式多智能体通信建模方法[J]. 计算机工程与科学, 2021, 43(02): 304-311.
[4]	张晶, 袁振宇. 基于增广混合Petri网的CPS事件建模[J]. 计算机工程与科学, 2020, 42(03): 550-556.
[5]	钱文高1，耿宏1，马红岩2. 装配序列约束下的飞机虚拟维修过程建模仿真[J]. 计算机工程与科学, 2019, 41(08): 1482-1489.
[6]	王松，陈曦，乐晓波. 基于Petri网的五笔画输入法算法优化研究[J]. 计算机工程与科学, 2016, 38(12): 2567-2573.
[7]	顾鸿儒，孙连坤. 基于层次颜色Petri网的全感应控制交通信号灯建模与仿真[J]. 计算机工程与科学, 2016, 38(09): 1887-1892.
[8]	赵冬,张文宁,车战斌. 基于工作流的第二课堂活动管理平台的研究与实现[J]. 计算机工程与科学, 2016, 38(07): 1419-1424.
[9]	陈星佑1,2，乐晓波1，曹伟1，周恺卿3. 基于分层模糊有色Petri网的防空C3I系统建模研究[J]. J4, 2016, 38(01): 102-107.
[10]	申蔓蔓1，乐晓波1，周恺卿2. 一种新的基于直觉模糊Petri网的模糊推理算法[J]. J4, 2015, 37(02): 354-358.
[11]	孙晓玲，王宁. 基于直觉模糊Petri网的故障诊断[J]. J4, 2014, 36(09): 1736-1741.
[12]	许呈嫣，白焰，王仁书. 基于模糊Petri网的无线顺序控制系统的故障诊断[J]. J4, 2014, 36(08): 1512-1518.
[13]	张弛1，乐晓波1，周恺卿2，莫礼平3. 采用差分进化算法优化模糊Petri网参数[J]. J4, 2014, 36(06): 1095-1100.
[14]	张卉,李续武，赵媛莉，校云超. 改进型有色Petri网的安全协议分析[J]. J4, 2013, 35(7): 60-63.
[15]	周彦1,乐晓波1,匡迎春2. Petri网并分解技术及其应用研究[J]. J4, 2013, 35(4): 125-129.