摘要3-4
ABSTRACT4-6
缩略语表6-11
章 绪论11-19
1.1 信息系统的发展11-12
1.2 军事综合电子信息系统概述12-15
1.2.1 军事综合电子信息系统的发展13
1.2.2 基于SOA的军事综合电子信息系统的特点13-15
1.3 军事综合电子信息系统开发方法15-17
1.3.1 结构化开发方法15
1.3.2 面向对象开发方法15-16
1.3.3 构件化开发方法16
1.3.4 面向Agent的开发方法16-17
1.4 作者的主要工作17
1.5 的章节安排17-19
章 面向Agent开发方法的理论基础19-43
2.1 Agent的基本和思想19-21
2.1.1 Agent的和特点19-20
2.1.2 Agent所驻留的环境20
2.1.3 多Agent系统的特点20-21
2.2 Agent的逻辑学基础21-26
2.2.1 模态逻辑21-25
2.2.2 动态逻辑25
2.2.3 时间逻辑25-26
2.3 Agent的形式化模型26-34
2.3.1 Cohen和Levesque的意图理论26-28
2.3.2 Rao和Georgeff的BDI逻辑28-33
2.3.3 Linder的KARO框架33-34
2.4 多Agent系统的理论框架34-41
2.4.1 Agent之间的交互34-36
2.4.2 多Agent系统逻辑36-37
2.4.3 多Agent的联合意图37-40
2.4.4 面向怎么写作的多Agent合作模型40-41
2.5 小结41-43
章 面向Agent开发方法概述43-61
3.1 面向Agent的分析和设计方法43-52
3.1.1 MaSE方法43-47
3.1.2 Gaia方法47-49
3.1.3 Tropos方法49-52
3.2 Agent的体系结构52-57
3.2.1 Agent的抽象体系结构53-54
3.2.2 Agent的实现体系结构54-57
3.3 面向Agent的程序设计语言57-58
3.4 面向Agent开发的CASE工具和环境简介58-59
3.5 小结59-61
章 基于SOA的多Agent系统开发方法研究61-77
4.1 多Agent逻辑模型框架61-63
4.1.1 形式化逻辑模型61-62
4.1.2 模型约束62-63
4.2 核心建模63-64
4.3 模型的形式化描述64-69
4.3.1 组织模型64-67
4.3.2 Agent类模型67-68
4.3.3 Agent怎么写作模型68-69
4.4 分析和设计69-73
4.4.1 需求分析69-71
4.4.2 设计71-72
4.4.3 设计72-73
4.5 系统的实现73-76
4.5.1 Agent的实现73-74
4.5.2 应用怎么写作的实现74-76
4.6 小结76-77
第五章 原型系统开发和简单实现77-89
5.1 系统的分析和设计77-82
5.1.1 建立的组织模型77-79
5.1.2 建立的Agent类模型79-81
5.1.3 建立的Agent怎么写作模型81-82
5.2 系统的实现82-88
5.2.1 Agent的实现82-85
5.2.2 应用怎么写作的实现85-88
5.3 小结88-89
第六章 展望和总结89-93
6.1 对未来工作的展望89-90
6.2 对论文的总结90-93