| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1 绪论 | 第11-33页 |
| ·研究背景和意义 | 第11页 |
| ·软件体系结构 | 第11-16页 |
| ·软件体系结构定义 | 第12-14页 |
| ·软件体系结构的生命周期 | 第14页 |
| ·软件体系结构的描述 | 第14-16页 |
| ·动态软件体系结构建模方法国内外研究现状 | 第16-23页 |
| ·典型方法比较和应用 | 第16-22页 |
| ·建模工具及应用 | 第22-23页 |
| ·模型验证方法国内外研究现状 | 第23-28页 |
| ·典型的方法比较和分析 | 第24-27页 |
| ·模型验证工具及应用 | 第27-28页 |
| ·动态软件体系结构建模和模型验证方法中存在的问题及发展方向 | 第28-30页 |
| ·研究的主要目标、内容和基本结构 | 第30-32页 |
| ·小结 | 第32-33页 |
| 2 动态软件体系结构的建模 | 第33-62页 |
| ·引言 | 第33页 |
| ·软件需求工程方法 | 第33-38页 |
| ·用例驱动的需求工程方法 | 第33-35页 |
| ·特征驱动的需求工程方法 | 第35页 |
| ·目标驱动的需求工程方法 | 第35-38页 |
| ·动态软件体系结构需求目标描述与识别方法 | 第38-43页 |
| ·动态软件体系结构需求目标的层次化结构 | 第39页 |
| ·动态软件体系结构需求目标的概念属性结构化模型 | 第39-42页 |
| ·动态软件体系结构需求目标的描述与识别 | 第42-43页 |
| ·基于需求目标的动态软件体系结构的方面(Aspect)描述与识别方法 | 第43-45页 |
| ·横切关注点问题的分析 | 第43-45页 |
| ·动态软件体系结构方面的描述与识别 | 第45页 |
| ·需求目标驱动的动态软件体系结构建模方法 | 第45-61页 |
| ·动态软件体系结构图元符号描述体系 | 第46-47页 |
| ·基于图文法的动态软件体系结构语法描述规则 | 第47-49页 |
| ·基于图文法的动态软件体系结构生产规则 | 第49-58页 |
| ·需求目标驱动的动态软件体系结构建模过程架构 | 第58-59页 |
| ·方面到动态软件体系结构的编织方法 | 第59-61页 |
| ·小结 | 第61-62页 |
| 3 动态软件体系结构的属性表示逻辑 | 第62-77页 |
| ·引言 | 第62页 |
| ·属性表示逻辑 | 第62-66页 |
| ·属性表示逻辑的发展 | 第62页 |
| ·典型的方法比较和分析 | 第62-66页 |
| ·基于谓词μ演算的空间逻辑的动态软件体系结构属性表示逻辑 | 第66-70页 |
| ·谓词μ演算的空间逻辑语法和语义 | 第66-67页 |
| ·举例说明 | 第67-70页 |
| ·属性目标部分满足性及目标部分满意度模型 | 第70-76页 |
| ·目标的部分满足性 | 第70-72页 |
| ·目标部分满意度模型 | 第72-76页 |
| ·小结 | 第76-77页 |
| 4 动态软件体系结构的模型验证 | 第77-87页 |
| ·引言 | 第77页 |
| ·基本思想和过程 | 第77-78页 |
| ·状态空间爆炸问题 | 第78-83页 |
| ·典型的缩减状态空间的方法 | 第78-79页 |
| ·需求目标驱动的基于等价理论的缩减状态空间方法 | 第79-83页 |
| ·模型验证算法 | 第83-86页 |
| ·典型的模型验证算法 | 第83-84页 |
| ·基于扩展LMC的动态软件体系结构模型验证算法 | 第84-86页 |
| ·小结 | 第86-87页 |
| 5 应用研究 | 第87-96页 |
| ·引言 | 第87页 |
| ·应用案例描述 | 第87-90页 |
| ·应用案例需求目标和方面的识别与描述 | 第90-91页 |
| ·应用案例需求目标驱动的动态软件体系结构建模 | 第91-93页 |
| ·应用案例动态软件体系结构的属性表示逻辑 | 第93页 |
| ·应用案例动态软件体系结构的模型验证 | 第93-95页 |
| ·取得实效 | 第95页 |
| ·小结 | 第95-96页 |
| 6 结论与展望 | 第96-98页 |
| 创新点摘要 | 第98-99页 |
| 参考文献 | 第99-106页 |
| 攻读博士学位期间发表学术论文情况 | 第106-107页 |
| 致谢 | 第107-108页 |
| 作者简介 | 第108-109页 |
