第一章 绪论 1
1.1 网格计算与网格软件 1
1.1.1 网格概念及其特点 1
1.1.2 网格体系结构 2
1.1.3 基于网格体系结构的软件形态 4
1.2 基于网格的软件建模与Agent抽象机制 6
1.3 主要的面向Agent软件工程方法和建模工具 8
1.3.1 面向Agent软件工程方法 8
1.3.2 面向Agent软件开发环境 13
1.4 研究意义和内容 15
1.5 论文组织结构 18
第二章 AOMG：一种基于网格计算的面向Agent建模方法 20
2.1 与AOMG相关的研究与技术 20
2.1.1 OGSA网格体系结构 20
2.1.2 i＊策略建模框架 24
2.1.3 UML建模语言 26
2.2 基于OGSA的面向Agent可视化建模框架 27
2.2.1 基于OGSA的软件体系结构 27
2.2.2 基本概念 28
2.2.3 模型框架 31
2.2.4 AOMG元模型的分层结构 31
2.2.5 面向Agent分析建模 32
2.2.6 面向Agent设计建模 40
2.3 小结 50
第三章 Formal AOMG：基于网格计算的面向Agent形式化建模框架 52
3.1 面向Agent形式化方法 52
3.2 Object-Z形式规格语言 53
3.3 Formal AOMG形式化建模框架 55
3.3.1 AOMG元模型语义结构 55
3.3.2 形式化组织模型及其元模型 56
3.3.3 形式化Agent交互模型及其元模型 60
3.3.4 形式化Agent类模型及其元模型 63
3.3.5 形式化Agent服务模型 65
3.3.6 建模实例 66
3.4 小结 70
第四章 网格分布式系统的领域资源本体建模 71
4.1 基于本体的资源匹配 71
4.2 本体（Ontology） 72
4.2.1 本体概念 72
4.2.2 本体表示和本体构造 73
4.3 基于UML的资源本体模型（Resource Ontology Model） 78
4.4 从UML到OWL的映射 81
4.5 小结 85
第五章 AOMG Toolkits：面向Agent分析与设计建模环境 87
5.1 引言 87
5.2 AOMG Toolkits基本设计框架 88
5.3 AOMG Toolkits设计模型 90
5.3.1 模型分层机制 90
5.3.2 AOMG元模型设计 91
5.3.3 模型框图设计 94
5.4 基于OWL的模型存储机制 96
5.4.1 模型抽象语义层 96
5.4.2 模型序列化存储机制 98
5.4.3 AOMG模型的文件存储 100
5.5 小结 104
第六章 AOMG模型语法检测机制 106
6.1 概念模型的语法检查机制 106
6.1.1 概念模型语法约束概要 107
6.1.2 语法约束的细化 108
6.1.3 自动检查机制的实现 111
6.2 概念模型语法的可执行验证 112
6.2.1 KBeans的刻面定义 112
6.2.2 在AOMG模型加入刻面约束声明 113
6.2.3 调用KBeans进行刻面检查 116
6.3 模型语法检查实例 117
6.4 小结 118
第七章 实例分析（电子政务网格门户应用） 120
7.1 建模过程与建模策略 120
7.1.1 建立组织视图 122
7.1.2 建立Agent视图 123
7.1.3 建立类视图 124
7.2 实例分析 125
7.2.1 问题描述 125
7.2.2 系统体系结构 126
7.2.3 第一步：需求获取与分析建模 128
7.2.4 第二步：设计建模 133
7.2.5 后续设计驱动 138
7.3 结论 139
第八章 结论与进一步的研究工作 140
8.1 论文总结 140
8.2 进一步的研究工作及展望 143
附录 145
参考文献 164
作者在攻读博士学位期间公开发表的论文 177
致谢 179