期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于限界模型检查的Web服务行为失配检测
1
作者
戎玫
陈圣标
张广泉
《计算机科学》
CSCD
北大核心
2012年第6期129-132,共4页
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检...
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。
展开更多
关键词
限界模型检查
WEB服务
行为失配检测
可满足性模理论
在线阅读
下载PDF
职称材料
题名
基于限界模型检查的Web服务行为失配检测
1
作者
戎玫
陈圣标
张广泉
机构
暨南大学深圳旅游学院
苏州大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2012年第6期129-132,共4页
基金
国家自然科学基金(60973149)
江苏省自然科学基金(BK2011281)
+1 种基金
江苏省高校自然科学研究项目(08KJB520010
10KJB520019)资助
文摘
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法首先将服务失配检测问题转化为逻辑公式的可满足性判定问题,然后利用Yices工具实现Web服务行为失配检测,最后通过实例进一步阐述该方法的有效性。
关键词
限界模型检查
WEB服务
行为失配检测
可满足性模理论
Keywords
Bounded model checking
Web service
Behavioral mismatch detection
Satisfiability modulo theories
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于限界模型检查的Web服务行为失配检测
戎玫
陈圣标
张广泉
《计算机科学》
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
