您的位置： 专家智库 > >

广西研究生教育创新计划项目(2007105950811m19)

作品数：1 被引量：1H指数：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