| 作者简介 | 第1-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-27页 |
| ·研究动机 | 第11-15页 |
| ·研究目标 | 第15-16页 |
| ·研究思路及主要技术路线 | 第16-25页 |
| ·基础构件模型 | 第16-20页 |
| ·面向构件与面向服务 | 第20-23页 |
| ·研究步骤 | 第23-25页 |
| ·论文的主要工作及组织结构 | 第25-27页 |
| 第二章 相关研究概述 | 第27-37页 |
| ·软件体系结构理论研究 | 第27-30页 |
| ·以体系结构为中心的构件模型研究 | 第30-32页 |
| ·面向侧面的构件建模技术研究 | 第32-36页 |
| ·小结 | 第36-37页 |
| 第三章 形式化方法及研究实例简介 | 第37-45页 |
| ·形式化方法概述 | 第37-41页 |
| ·模态行为逻辑 | 第37-38页 |
| ·π演算 | 第38-41页 |
| ·应用系统实例——基于移动 agent 的在线拍卖系统 | 第41-44页 |
| ·小结 | 第44-45页 |
| 第四章 SABACM 模型及形式化分析 | 第45-81页 |
| ·SABACM 概述 | 第45-48页 |
| ·接口（Interface） | 第48-49页 |
| ·服务（Service） | 第49-51页 |
| ·角色（Played_Role） | 第51页 |
| ·构件型侧面（Component Based Aspect） | 第51-61页 |
| ·属性（Attributes） | 第53-54页 |
| ·服务（Services） | 第54-55页 |
| ·赋值（Valuations） | 第55-58页 |
| ·事务（Transactions） | 第58-59页 |
| ·角色（Played_Role）和协议（Protocol） | 第59-61页 |
| ·端口（Port） | 第61-62页 |
| ·织入（Weaving） | 第62-70页 |
| ·后织入（after） | 第64-65页 |
| ·前织入（before） | 第65-66页 |
| ·替代织入（instead） | 第66页 |
| ·有条件后织入（afterif） | 第66-68页 |
| ·有条件前织入（beforeif） | 第68-69页 |
| ·有条件替代织入（insteadif） | 第69-70页 |
| ·小结 | 第70页 |
| ·基本体系结构元素 | 第70-72页 |
| ·侧面化连接子 | 第71-72页 |
| ·侧面化构件 | 第72页 |
| ·联接（Attachment） | 第72-75页 |
| ·绑定（Binding） | 第75-77页 |
| ·系统（System） | 第77-78页 |
| ·模型配置（Configuration of Model） | 第78-80页 |
| ·小结 | 第80-81页 |
| 第五章 侧面化的体系结构描述语言 A-ADL | 第81-95页 |
| ·接口 | 第81-82页 |
| ·构件型侧面 | 第82-88页 |
| ·侧面化构件和连接子 | 第88-91页 |
| ·联接 | 第91-92页 |
| ·系统（组合构件） | 第92-94页 |
| ·SABACM 模型的配置描述 | 第94页 |
| ·小结 | 第94-95页 |
| 第六章 SABACM 元模型 | 第95-113页 |
| ·SABACM 元模型包结构 | 第95-96页 |
| ·类型（Types）包 | 第96-112页 |
| ·接口（Interfaces）包 | 第96-98页 |
| ·侧面（Aspects）包 | 第98-105页 |
| ·体系结构元素（Architectural Elements）包 | 第105-111页 |
| ·联接（Attachments）包 | 第111-112页 |
| ·体系结构规约（Architecture Specification）包 | 第112页 |
| ·小结 | 第112-113页 |
| 第七章 SABACM 中构件型侧面的实现框架及常见系统横切关注点的映射 | 第113-135页 |
| ·SABACM 中构件型侧面的实现框架 | 第113-115页 |
| ·通用切点描述语言 GPDL | 第115-121页 |
| ·连接点类型 | 第115-118页 |
| ·域定义 | 第118-120页 |
| ·切入点表达式模型 | 第120-121页 |
| ·分布式系统通用横切关注点分析 | 第121-123页 |
| ·分布式（Distribution）构件型侧面 | 第123-128页 |
| ·分布式环境的主要关注点 | 第123-125页 |
| ·分布式横切关注点在构件型侧面实现框架中的映射 | 第125-126页 |
| ·分布式横切关注点的 GPDL 描述 | 第126-127页 |
| ·分布式横切关注点对微内核架构功能的影响 | 第127-128页 |
| ·移动性（Mobility）构件型侧面 | 第128-133页 |
| ·移动性横切关注点在构件型侧面实现框架中的映射 | 第128-132页 |
| ·移动性横切关注点的 GPDL 描述 | 第132-133页 |
| ·小结 | 第133-135页 |
| 第八章 建模方法及实例研究——一个移动分布式系统的 SABACM 建模 | 第135-165页 |
| ·系统描述 | 第135-136页 |
| ·建模系统移动分布式特征的关键元素——环境连接子 | 第136-150页 |
| ·基本功能及结构 | 第136-139页 |
| ·环境连接子接口 | 第139-141页 |
| ·环境连接子织入的侧面 | 第141-148页 |
| ·环境连接子和其它体系结构元素的联接关系 | 第148-150页 |
| ·系统的 SABACM 建模过程 | 第150-156页 |
| ·SABACM 与其它面向侧面建模方法的比较研究 | 第156-163页 |
| ·小结 | 第163-165页 |
| 第九章 总结 | 第165-169页 |
| ·本文研究的主要贡献 | 第165-167页 |
| ·研究的不足及未来的工作方向 | 第167-169页 |
| 致谢 | 第169-170页 |
| 参考文献 | 第170-179页 |
| 附录 A. A-ADL 语法 | 第179-184页 |
| 附录 B. 基于移动 agent 的网上拍卖系统 SABACM 模型定义 | 第184-192页 |
| 攻读博士学位期间的研究成果 | 第192-194页 |
