2024年8月31日
星期六
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
广西研究生教育创新计划项目(2007105950811m19)
作品数:
1
被引量:1
H指数:1
相关作者:
陈艳
董荣胜
骆翔宇
古天龙
更多>>
相关机构:
桂林电子科技大学
更多>>
发文基金:
广西研究生教育创新计划项目
广西青年科学基金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
智能体
1篇
智能体系统
1篇
时态认知逻辑
1篇
多智能
1篇
多智能体
1篇
多智能体系
1篇
多智能体系统
1篇
WEB服务
机构
1篇
桂林电子科技...
作者
1篇
古天龙
1篇
骆翔宇
1篇
董荣胜
1篇
陈艳
传媒
1篇
计算机科学
年份
1篇
2009
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于时态认知逻辑的Web服务模型检测
被引量:1
2009年
传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范的验证,这是这3个模型检测工具所不具备的。
骆翔宇
陈艳
古天龙
董荣胜
关键词:
时态认知逻辑
多智能体系统
WEB服务
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张