| <中文摘要> | 第1页 |
| <关键词> | 第3-4页 |
| <英文摘要> | 第4-5页 |
| <英文关键词> | 第5-10页 |
| 第一章 导言 | 第10-16页 |
| 1．1 背景与动因 | 第10-12页 |
| 1．2 Ag nt通讯系统 | 第12页 |
| 1．3 论文的主要研究方法 | 第12-14页 |
| 1．4 论文的主要研究内容 | 第14-15页 |
| 1．5 论文的总体结构 | 第15-16页 |
| 第二章 理论基础和相关工作 | 第16-28页 |
| 2．1Speech-act理论 | 第16-17页 |
| 2．2 CSP理论 | 第17-23页 |
| 2．3 Ag nt通讯语言及其语义理论 | 第23-28页 |
| 第三章 Agent通讯语言SAIL及其语义理论 | 第28-46页 |
| 3．1 引言 | 第28-33页 |
| 3．2一个简单的Agent通讯语言语义框架 | 第33-35页 |
| 3．3 Aaent通讯语言SAIL | 第35-41页 |
| 3．4 SAIL语言的简单操作语义 | 第41-43页 |
| 3．5 场景语义检查 | 第43-44页 |
| 3．6 讨论与总结 | 第44-46页 |
| 第四章 多Agent系统通讯的ARC模型和组织域理论 | 第46-68页 |
| 4．1 社会、语言交流与ARC模型 | 第46-51页 |
| 4．2社会、组织与资源域理论 | 第51-57页 |
| 4．3 Agent系统建模语言——ASML | 第57-66页 |
| 4．4 总结 | 第66-68页 |
| 第五章 Agent会话场景的分析、语义检查和协议一致性验证 | 第68-106页 |
| 5．1 引言 | 第68-69页 |
| 5．2 Agent会话的场景分析 | 第69-77页 |
| 5．3 基于会话协议的Speech-act语义检查 | 第77-81页 |
| 5．4 ASML规范中的协议验证 | 第81-103页 |
| 5．5 总结 | 第103-106页 |
| 第六章 实例研究 | 第106-136页 |
| 6．1 分布对象生成服务系统总体介绍 | 第106-108页 |
| 6．2 对象生成服务的典型会话场景 | 第108-120页 |
| 6．3 会话场景的分析过程 | 第120-128页 |
| 6．4ASML规范的生成 | 第128-132页 |
| 6．5 会话协议的验证 | 第132-133页 |
| 6．6 面向Agent的分析设计方法与传统方法的比较 | 第133-136页 |
| 第七章 总结与讨论 | 第136-140页 |
| 7．1 主要工作贡献 | 第137页 |
| 7．2 相关工作比较 | 第137-138页 |
| 7．3 未来工作讨论 | 第138-140页 |
| <引文> | 第140-146页 |
| 附录A | 第146-160页 |
| A．1 测试机的构造 | 第146-151页 |
| A．2 u/m进程间的交互 | 第151-155页 |
| A．3 测试机对u/m进程的检测 | 第155-160页 |
| 附录B | 第160-174页 |
| B．1 生命周期服务规范分析 | 第161-166页 |
| B．2 生命周期服务系统的总体设计 | 第166-174页 |
| 附录C（词汇表） | 第174-176页 |
| 致谢 | 第176-177页 |
| 作者在攻读博士学位期间发表和即将发表的文章 | 第177页 |
