首页> 中文会议>第18届全国信息存储技术学术会议 >一种基于Petri网的语义Web服务组合动态检测技术

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第18届全国信息存储技术学术会议》|2012年|426-430|共5页
会议地点无锡
作者
ZHOUJie; 周洁; RENJiang-Chun; 任江春; WANGZhi-Ying; 王志英; CHENGYong; 程勇; MEISong-Zhu; 梅松竹;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP393.01;
关键词
Web服务组合; 动态检测技术; Petri网; 可行性分析;

相似文献

中文文献
外文文献
专利

1. 一种基于Petri网的Web服务组合安全性动态检测技术 [J] . 周洁 ,任江春 ,王志英 . 计算机工程与科学 . 2014,第002期
2. 一种基于有色Petri网的语义Web服务组合验证机制 [J] . 罗楠 ,严隽薇 ,刘敏 . 计算机集成制造系统 . 2007,第011期
3. 基于Petri网的语义Web服务组合方法 [J] . 吴敏敏 . 泰山学院学报 . 2016,第003期
4. 基于模糊Petri网的语义Web服务组合 [J] . 盛建家 . 电子世界 . 2016,第005期
5. 基于Petri网的语义Web服务组合建模研究 [J] . 杨波 ,李颖芳 ,傅锦伟 . 红河学院学报 . 2016,第002期
6. 基于模糊Petri网的语义Web服务组合 [C] . 吴亮 ,袁兆山 . 全国第20届计算机技术与应用（CACIS）学术会议 . 2009
7. 基于有色Petri网的语义Web服务组合的验证与测试方法 [A] . 苏萌 . 2014

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

摘要

著录项

相似文献

相关主题

期刊订阅