一种基于Petri网的语义Web服务组合动态检测技术

摘要：

　　Web服务组合验证对增强服务安全、保证系统质量具有重要意义。为保障Web服务组合的正确运行，提出了一种形式化和在线检测结合的Web服务组合验证方法。在动态检测的实时数据的基础上，通过语义Web服务组合到Petri网的映射和基于可达图的服务组合一致性检测方法，实现语义Web服务组合动态交互的形式化验证，最后通过实例进一步说明该方法的可行性。

关键词： Web服务组合 动态检测技术 Petri网 可行性分析

作者: ZHOUJie 周洁 RENJiang-Chun 任江春 WANGZhi-Ying 王志英 CHENGYong 程勇 MEISong-Zhu 梅松竹

作者单位: School of Computer, National University of Defense Technology, Changsha 410073, China 国防科学技术大学计算机学院,湖南长沙410073

会议类型: 国内会议

会议名称: 第18届全国信息存储技术学术会议

会议地点: 无锡

会议语种:中文

页码: 426-430

在线出版日期: 2012-07-12（万方平台首次上网日期，不代表论文的发表时间）