Web服务的形式化验证

摘要：

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

关键词：模型检测、时态知识逻辑、多智能体系统、Web服务

所属期刊栏目：36

分类号：N945(系统科学)

资助基金：国家自然科学基金资助项目60763004;中国博士后科学基金资助项目20090450389;广西青年科学基金资助项目桂科青0728090

在线出版日期：2010-05-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：257-259