web服务形式化验证

【文件属性】：

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

文件大小：334KB

文件格式：PDF

更新时间：2016-08-09 17:04:34

模型检测 时态知识逻辑

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