| 第1章 引言 | 第1-22页 |
| 1．1 研究背景 | 第7-8页 |
| 1．2 遗留系统的处理方法 | 第8-10页 |
| 1．2．1 以代码为中心的遗留系统处理方法 | 第8-10页 |
| 1．2．1．1 包装（wrapping） | 第9页 |
| 1．2．1．2 分布式对象技术 | 第9-10页 |
| 1．2．2 以数据为中心的遗留系统处理方法 | 第10页 |
| 1．2．2．1 XML和遗留系统 | 第10页 |
| 1．3 问题的提出 | 第10-15页 |
| 1．3．1 根据软件生存周期的不同阶段划分的软件演化的分类和特征 | 第11页 |
| 1．3．2 演化的商业组织环境的特征以及对软件演化的要求 | 第11-12页 |
| 1．3．3 因特网环境下的计算特征以及合适的计算模型 | 第12-15页 |
| 1．3．3．1 面向Agent计算的本质 | 第14-15页 |
| 1．3．3．2 因特网环境下对系统集成的要求以及Agent技术的启示 | 第15页 |
| 1．4 软件体系结构研究及其对本论文的意义 | 第15-21页 |
| 1．4．1 软件体系结构以及软件体系结构描述语言介绍 | 第15-20页 |
| 1．4．1．1 组件的模型 | 第16-17页 |
| 1．4．1．2 连接体的模型 | 第17-18页 |
| 1．4．1．3 配置的模型 | 第18-20页 |
| 1．4．2 从软件体系结构研究软件演化和动态性的意义 | 第20页 |
| 1．4．3 本论文的主要工作 | 第20-21页 |
| 1．5 本论文的工作内容 | 第21-22页 |
| 第2章 本论文相关工作的综述 | 第22-33页 |
| 2．1 软件体系结构描述语言C2 ADL介绍 | 第22页 |
| 2．2 软件体系结构类型化理论 | 第22-23页 |
| 2．3 面向AGENT的软件工程方法学进展 | 第23-25页 |
| 2．3．1 BDI（Belief-Desire-Intention） | 第23-24页 |
| 2．3．2 Gaia方法学 | 第24页 |
| 2．3．3 MaSE软件工程方法学 | 第24-25页 |
| 2．3．4 Agent UML:在面向对象的软件工程方法学基础上扩充和调整 | 第25页 |
| 2．4 规约多AGENT系统的形式化方法和手段 | 第25-27页 |
| 2．4．1 形式化规约框架:Desire | 第25-26页 |
| 2．4．2 多Agent系统的编程语言：Concurrent METATEM | 第26页 |
| 2．4．3 基于组件方法的BRIC形式化描述方法 | 第26-27页 |
| 2．4．4 基于π演算的多Agent系统规约 | 第27页 |
| 2．5 CSP介绍 | 第27-29页 |
| 2．6 动态重配置研究介绍 | 第29-32页 |
| 2．7 小结 | 第32-33页 |
| 第3章 网络环境下软件演化的丰富性 | 第33-39页 |
| 3．1 传统的单机环境下的分散软件资源向PEER-TO-PEER分布式系统的演化 | 第33-36页 |
| 3．1．1 方案的设计 | 第33-35页 |
| 3．1．2 方案的实现 | 第35-36页 |
| 3．2 单机环境下的串行代码向网络平台上的分布式并行系统的演化 | 第36-38页 |
| 3．3 基于MOBILE AGENT技术的软件再工程案例 | 第38页 |
| 3．4 小结 | 第38-39页 |
| 第4章 基于AGENT计算模型的软件演化 | 第39-46页 |
| 4．1 引言 | 第39页 |
| 4．2 为什么选择C2 ADL作为研究AGENT演化的规约语言？ | 第39-40页 |
| 4．3 AGENT的规约 | 第40-42页 |
| 4．4 AGENT的演化 | 第42-45页 |
| 4．4．1 基于子类型关系的Agent演化 | 第42-43页 |
| 4．4．2 Agent关系之间的表达 | 第43-44页 |
| 4．4．3 非Agent的软件实体向Agent的迁移 | 第44-45页 |
| 4．5 与其他工作的比较 | 第45页 |
| 4．6 小结 | 第45-46页 |
| 第5章 面向多AGENT系统的软件体系结构描述语言：MAADL | 第46-67页 |
| 5．1 研究动机和思路 | 第46-47页 |
| 5．2 为什么要重新定义一个新的软件体系结构描述语言？ | 第47-48页 |
| 5．3 什么选择CSP作为形式化基础？ | 第48页 |
| 5．4 面向多AGENT系统的软件体系结构描述语言MAADL | 第48-54页 |
| 5．4．1 Agent的规约和表达 | 第49-50页 |
| 5．4．2 角色和抽象组织关系的规约和表达 | 第50-52页 |
| 5．4．2．1 角色的规约和表达 | 第50-51页 |
| 5．4．2．2 抽象组织关系的规约和表达 | 第51-52页 |
| 5．4．3 多Agent组织和系统的规约和表达 | 第52-54页 |
| 5．5 基于MAADL的多AGENT系统规约 | 第54-59页 |
| 5．5．1 Agent Detector的规约 | 第54-57页 |
| 5．5．2 角色的规约 | 第57页 |
| 5．5．3 抽象组织关系的规约和表达 | 第57-58页 |
| 5．5．4 多Agent组织和系统的规约和表达 | 第58-59页 |
| 5．6 多AGENT系统的层次性分析 | 第59-63页 |
| 5．6．1 文献[All1997]中有关的定义 | 第60页 |
| 5．6．2 MAADL规约的解释 | 第60-61页 |
| 5．6．3 多Agent系统的分析 | 第61-63页 |
| 5．7 规约动态多AGENT系统的方法学 | 第63-64页 |
| 5．8 MAADL支持的软件演化 | 第64页 |
| 5．9 讨论 | 第64-66页 |
| 5．9．1 与其他软件体系结构描述语言的比较 | 第65页 |
| 5．9．２ 与其他多Agent系统规约和分析方法的比较 | 第65-66页 |
| 5．10 小结 | 第66-67页 |
| 第6章 多AGENT系统的动态性 | 第67-91页 |
| 6．1 多AGENT组织的分类及其定义 | 第67-69页 |
| 6．2 MA ADL对多AGENT系统动态性的支持 | 第69-70页 |
| 6．3 MA ADL的动态改变管理模型 | 第70-77页 |
| 6．3．1 多Agent系统的模型 | 第70-71页 |
| 6．3．2 多Agent系统的事务相关性以及角色相关的Agent被动集 | 第71-76页 |
| 6．3．3 连接体在多Agent系统动态性中所起到的作用 | 第76-77页 |
| 6．4 动态重配置机制 | 第77-85页 |
| 6．4．1 角色改变 | 第77-81页 |
| 6．4．2 Agent的加入、退出以及替换 | 第81-84页 |
| 6．4．3 Agent在网络中的移动 | 第84-85页 |
| 6．5 实现相关的问题 | 第85-87页 |
| 6．6 讨论 | 第87-89页 |
| 6．6．1 基于Agent模型的动态重配置方法与其他方法的比较 | 第88页 |
| 6．6．2 MAADL对动态性的支持与其他ADL的不同 | 第88-89页 |
| 6．7 小结 | 第89-91页 |
| 第7章 计算环境改变导致的软件演化 | 第91-102页 |
| 7．1 计算环境的改变以及计算技术的调整 | 第91-92页 |
| 7．2 分布式计算范式的演化 | 第92-93页 |
| 7．3 “计算环境改变导致的软件演化”及其意义 | 第93-94页 |
| 7．4 “计算环境的改变导致的软件演化”的原则 | 第94-95页 |
| 7．5 基于MOBILE AGENT技术的软件演化 | 第95-101页 |
| 7．5．1 Agent视图下的aglet模型 | 第96-98页 |
| 7．5．2 案例 | 第98-100页 |
| 7．5．3 系统的实现 | 第100-101页 |
| 7．5．3．1 移动Agent的设计范式 | 第100-101页 |
| 7．5．3．2 交互的实现 | 第101页 |
| 7．6 小结 | 第101-102页 |
| 第8章 结论 | 第102-104页 |
| 参考文献 | 第104-111页 |
| 中英文术语表 | 第111-113页 |
| 攻读博士学位期间发表和已录用的文章 | 第113-114页 |
| 致谢 | 第114页 |
