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

摘要

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