| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 图目录 | 第10-12页 |
| 表目录 | 第12-13页 |
| 第1章 绪论 | 第13-20页 |
| ·研究背景 | 第13-14页 |
| ·问题提出 | 第14-16页 |
| ·研究内容 | 第16-18页 |
| ·论文结构 | 第18-20页 |
| 第2章 国内外相关研究综述 | 第20-38页 |
| ·关注点多维分离研究 | 第20-33页 |
| ·关注点的基本概念 | 第20-22页 |
| ·关注点分离及其应用 | 第22-23页 |
| ·关注点多维分离发展及研究现状 | 第23-33页 |
| ·面向方面软件体系结构设计 | 第33-36页 |
| ·综述性研究工作 | 第33-34页 |
| ·面向方面软件体系结构描述语言 | 第34-36页 |
| ·小结 | 第36-38页 |
| 第3章 体系结构关注点多维分离模型SA-MDSoC | 第38-61页 |
| ·SA-MDSoC模型概述 | 第38-42页 |
| ·建模的必要性 | 第38-39页 |
| ·基本概念 | 第39-40页 |
| ·三个不同抽象层次的SA-MDSoC模型 | 第40-42页 |
| ·一个贯穿全文的案例 | 第42-43页 |
| ·通用多维模型 | 第43-52页 |
| ·通用多维模型中的主维 | 第43-44页 |
| ·通用多维模型中的横切维 | 第44-48页 |
| ·通用多维模型中的关系 | 第48-52页 |
| ·领域多维模型 | 第52-58页 |
| ·领域多维模型中的主维 | 第53-54页 |
| ·领域多维模型中的横切维 | 第54-56页 |
| ·领域多维模型中的关系 | 第56-58页 |
| ·具体多维模型 | 第58-60页 |
| ·具体多维模型中的主维和横切维 | 第59-60页 |
| ·具体多维模型中的关系 | 第60页 |
| ·小结 | 第60-61页 |
| 第4章 SA-MDSoC描述语言 | 第61-75页 |
| ·SA-CDL概述 | 第61-62页 |
| ·SA-CDL的设计原则 | 第61-62页 |
| ·SA-CDL的基本语法结构 | 第62页 |
| ·主维的语法结构 | 第62-66页 |
| ·横切维的语法结构 | 第66-71页 |
| ·关系的语法结构 | 第71-74页 |
| ·小结 | 第74-75页 |
| 第5章 基于时段时序逻辑的横切关系形式化研究 | 第75-91页 |
| ·时段时序逻辑理论基础 | 第75-81页 |
| ·时间的结构 | 第76-79页 |
| ·时段时序逻辑 | 第79-81页 |
| ·横切关系的形式化描述 | 第81-84页 |
| ·SA-CDL中时序运算符的语义解释 | 第81-83页 |
| ·横切关系的形式化描述 | 第83-84页 |
| ·时序冲突的形式化检测方法 | 第84-90页 |
| ·小结 | 第90-91页 |
| 第6章 支持SA-MDSoC到体系结构的映射规则 | 第91-105页 |
| ·面向方面软件体系结构描述语言AC2-ADL | 第91-99页 |
| ·映射规则的定义 | 第99-104页 |
| ·小结 | 第104-105页 |
| 第7章 支持面向方面SA设计的SA-MDSoC建模方法 | 第105-115页 |
| ·具体多维模型的建立 | 第105-110页 |
| ·确定并规约主维 | 第105-107页 |
| ·确定并规约横切维 | 第107-110页 |
| ·具体多维模型向初始体系结构的映射 | 第110-114页 |
| ·小结 | 第114-115页 |
| 第8章 SA-MDSoC建模支撑工具 | 第115-124页 |
| ·建模支撑工具总体概览 | 第115-117页 |
| ·建模支撑工具的功能 | 第117-121页 |
| ·Concern Editor的功能 | 第117-120页 |
| ·Concern Analyzer的功能 | 第120-121页 |
| ·SA-MDSoC Transformer的功能 | 第121页 |
| ·建模支撑工具的总体设计 | 第121-123页 |
| ·小结 | 第123-124页 |
| 第9章 总结与展望 | 第124-126页 |
| ·本文的主要贡献 | 第124-125页 |
| ·下一步工作的展望 | 第125-126页 |
| 参考文献 | 第126-132页 |
| 攻读博士学位期间发表的文章及主要科研成果 | 第132-134页 |
| 发表的学术论文 | 第132-133页 |
| 参与的科研项目 | 第133-134页 |
| 致谢 | 第134页 |