首页 下载 编程语言 其他 下载详情 Web服务的形式化验证 上传:zjtyxy93514 浏览: 28 推荐: 0 文件:PDF 大小:1.17MB 上传时间:2019-05-13 08:36:50 版权申诉 将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。 立即下载 上传资源 微信扫一扫 用户评论 提交评论