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

• 作者: 古天龙 董荣胜 陈艳 骆翔宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型检测 时态认知逻辑 多智能体系统 Web服务
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 153-157
• 页数: 5页
• 分类号: TP301
• 字数: 5456字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.08.036

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机与控制学院	207	1546	18.0	30.0
2	董荣胜	桂林电子科技大学计算机与控制学院	115	1521	13.0	37.0
3	骆翔宇	桂林电子科技大学计算机与控制学院	13	65	5.0	7.0
4	陈艳	桂林电子科技大学计算机与控制学院	5	21	3.0	4.0