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

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

单位：国防科学技术大学计算机学院 湖南长沙410073 中国电子设备系统工程公司 北京100039