| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 引言 | 第9-15页 |
| ·基于 Agent的软件工程 | 第9-11页 |
| ·多 Agent系统 | 第11-13页 |
| ·论文主要内容和组织结构 | 第13-15页 |
| 第二章 Agent行为形式规约 | 第15-35页 |
| ·Pi-演算简介 | 第15-18页 |
| ·Pi-演算的语法 | 第15-17页 |
| ·Pi-演算的语义 | 第17-18页 |
| ·MAS形式规约方法 | 第18-27页 |
| ·Agent形式规约 | 第19-22页 |
| ·MAS形式规约 | 第22-27页 |
| ·Agent行为的 Pi-演算规约 | 第27-31页 |
| ·一个例子: FIPA请求交互协议(定性验证) | 第31-35页 |
| 第三章 Agent行为随机分析 | 第35-42页 |
| ·MAS定量分析方法 | 第35-37页 |
| ·Agent行为定量分析 | 第37-39页 |
| ·一个例子: FIPA请求交互协议(定量分析) | 第39-42页 |
| 第四章 应用实例: Agent交互模式规约与分析 | 第42-58页 |
| ·问题与背景 | 第42-45页 |
| ·Broadcaster | 第43页 |
| ·Subscriber | 第43-44页 |
| ·Broker | 第44页 |
| ·Recruiter | 第44-45页 |
| ·Matchmaker | 第45页 |
| ·Broker交互模式的规约和分析 | 第45-52页 |
| ·Broker交互模式 | 第46页 |
| ·Broker模式的Pi-演算形式规约 | 第46-49页 |
| ·Broker模式的定量分析 | 第49-52页 |
| ·Matchmaker交互模式的规约和分析 | 第52-56页 |
| ·Matchmaker交互模式 | 第52-53页 |
| ·Matchmaker模式的 Pi-演算形式规约 | 第53-54页 |
| ·Matchmaker模式的定量分析 | 第54-56页 |
| ·定量比较 Broker模式和 Matchmaker模式 | 第56-58页 |
| 第五章 Agent交互模式仿真实验 | 第58-68页 |
| ·仿真系统的设计与实现 | 第58-65页 |
| ·设计目标 | 第58页 |
| ·设计概述 | 第58-62页 |
| ·系统实现 | 第62-65页 |
| ·实验结果分析 | 第65-66页 |
| ·模型评价 | 第66-68页 |
| 第六章 总结和展望 | 第68-69页 |
| 参考文献 | 第69-73页 |
| 致谢 | 第73-74页 |
| 攻读学位期间发表的学术论文目录 | 第74页 |