| 摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 第1章 引言 | 第9-18页 |
| 1.1 国内外 Web 服务组合验证和模型检测研究进展 | 第9-14页 |
| 1.1.1 基于模型检测方法的 Web 服务组合验证 | 第9-10页 |
| 1.1.2 模型检测、多智能体系统模型检测的发展 | 第10-13页 |
| 1.1.3 状态爆炸问题及其解决方案 | 第13-14页 |
| 1.2 论文的组织框架 | 第14-15页 |
| 1.3 本课题的来源、研究思路和主要研究内容 | 第15-18页 |
| 第2章 基础理论 | 第18-34页 |
| 2.1 多智能体系统模型检测的相关基础 | 第18-25页 |
| 2.1.1 多智能体系统的 Kripke 结构 | 第18-22页 |
| 2.1.2 时态认知逻辑 | 第22-25页 |
| 2.2 多智能体系统模型检测的系统抽象模型 | 第25-27页 |
| 2.3 抽象系统的性质保留定理 | 第27-34页 |
| 第3章 多智能体系统模型检测初始抽象系统 | 第34-51页 |
| 3.1 初始抽象系统的近似系统 | 第34-36页 |
| 3.2 获取初始抽象系统 | 第36-51页 |
| 3.2.1 初始抽象函数 | 第36-39页 |
| 3.2.2 初始抽象系统的生成方法 | 第39-43页 |
| 3.2.3 一种改进方法 | 第43-51页 |
| 第4章 多智能体系统模型检测的图状反例 | 第51-62页 |
| 4.1 时态认知逻辑反例的图状结构 | 第51-53页 |
| 4.2 图状反例的证明 | 第53-57页 |
| 4.3 图状反例的生成 | 第57-62页 |
| 第5章 图状反例向导的抽象精化 | 第62-76页 |
| 5.1 伪反例及精化 | 第62-64页 |
| 5.2 伪反例的识别 | 第64-69页 |
| 5.3 伪反例的消除 | 第69-72页 |
| 5.4 图状反例向导的抽象精化步骤 | 第72-73页 |
| 5.5 实验 | 第73-76页 |
| 第6章 Web 服务组合验证 | 第76-84页 |
| 6.1 组合验证方法的概述 | 第76-77页 |
| 6.2 Web 服务组合转换成多智能体系统 | 第77-81页 |
| 6.3 组合验证步骤 | 第81-82页 |
| 6.4 实验 | 第82-84页 |
| 第7章 结论 | 第84-89页 |
| 7.1 研究总结 | 第84-87页 |
| 7.2 需进一步开展的工作 | 第87-89页 |
| 参考文献 | 第89-95页 |
| 致谢 | 第95-96页 |
| 个人简历、在校期间发表的学术论文和研究成果 | 第96页 |