基于时态认知逻辑的Web服务模型检测

发布时间：2021-11-21 00:47

　　传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范的验证,这是这3个模型检测工具所不具备的。 

【文章来源】：计算机科学. 2009,36(08)北大核心CSCD

【文章页数】：5 页

【部分图文】：

SAS协议的通信模型

的方式进行交互的情况。在这种共享方式下,共享变量被所有访问它的智能体所观察。SAS协议的智能体模块处理流程如图2所示。由于智能体模块内部的处理流程在MCTK中的描述机械冗长,篇幅所限,本文不罗列其中的具体细节,重点关注每一智能体可观察变量集合的定义。·155·

【参考文献】：
期刊论文
[1]数据和时间感知的Web服务组合模型检测[J]. 狄浩军,戎玫,张广泉,朱稷涵.  计算机科学. 2011(11)



本文编号：3508421