摘要
在复杂多变且不可预知的因特网环境中,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.
出处
《计算机工程与科学》
CSCD
北大核心
2013年第1期24-29,共6页
Computer Engineering & Science
基金
国家自然科学基金资助项目(90818028)
国家863计划资助项目(2007AA010301)
"核高基"重大专项资助项目(2009ZX01043-002-004)
