Web服务的形式化验证

【文件属性】：

文件名称：Web服务的形式化验证

文件大小：1.17MB

文件格式：PDF

更新时间：2014-07-31 10:24:24

Web服务 形式化验证

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