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

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

作　　者：朱俊[1] 郭长国[1,2] 吴泉源[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073 [2]中国电子设备系统工程公司,北京100039

出　　处：《计算机工程与科学》2013年第1期24-29,共6页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(90818028);国家863计划资助项目(2007AA010301);"核高基"重大专项资助项目(2009ZX01043-002-004)

摘　　要：在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。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 envi- ronment. 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 frame- work for Web service interaction behaviors. Then, the conformance checking mechanism for services in- teraction behaviors is also fully introduced. At last, we evaluate the overhead and performance of runt- line monitor.

关 键 词：WEB服务 一致性检测 服务交互行为 PETRI网 运行时监控 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]