计算机工程与科学2013，Vol.35Issue(1)：24-29,6.DOI:10.3969/j.issn.1007-130X.2013.01.003
基于Petri网的Web服务交互行为一致性检测方法
Conformance checking method for Web service interaction behaviors based on Petri nets
摘要
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.关键词
Web服务/一致性检测/服务交互行为/Petri网/运行时监控Key words
Web service/conformance check (interaction behaviors/ Petri nets/ runtime monitoring分类
信息技术与安全科学引用本文复制引用
朱俊,郭长国,吴泉源..基于Petri网的Web服务交互行为一致性检测方法[J].计算机工程与科学,2013,35(1):24-29,6.基金项目
国家自然科学基金资助项目(90818028) （90818028）
国家863计划资助项目(2007AA010301) （2007AA010301）
"核高基"重大专项资助项目(2009ZX01043-002-004) （2009ZX01043-002-004）
