Web服务的形式化验证

• 作者: 陈艳 骆翔宇
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 模型检测 时态知识逻辑 多智能体系统 Web服务
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 257-259
• 页数: 3页
• 分类号: N945
• 字数: 3196字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.05.094

摘要

将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范.在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例.实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆翔宇	桂林电子科技大学计算机与控制学院	13	65	5.0	7.0
2	陈艳	桂林电子科技大学计算机与控制学院	5	21	3.0	4.0