| 中文摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 图表索引 | 第5-8页 |
| 第一章 绪论 | 第8-13页 |
| ·工作背景 | 第8-10页 |
| ·软件体系结构研究内容 | 第10-11页 |
| ·本文的研究内容及组织安排 | 第11-13页 |
| 第二章 软件体系结构描述 | 第13-23页 |
| ·软件体系结构描述现状 | 第13-17页 |
| ·基于时序逻辑的体系结构描述语言XYZ/ADL | 第17-22页 |
| ·时序逻辑语言XYZ/E | 第17-20页 |
| ·体系结构描述语言XYZ/ADL | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 UML 建模元素及其扩展机制分析 | 第23-32页 |
| ·UML 概述 | 第23-24页 |
| ·UML 建模元素分析 | 第24-27页 |
| ·UML 扩展机制分析 | 第27-28页 |
| ·对象约束语言OCL | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 XYZ/ADL 到UML 的转换 | 第32-60页 |
| ·XYZ/E 基本结构的转换 | 第32-34页 |
| ·XYZ/ADL 到UML 的转换 | 第34-42页 |
| ·蒸汽锅炉系统的XYZ/ADL 描述到UML 描述的转换 | 第42-59页 |
| ·蒸汽锅炉系统的结构 | 第42-43页 |
| ·蒸汽锅炉系统的XYZ/ADL 描述 | 第43-53页 |
| ·蒸汽锅炉系统的UML 描述 | 第53-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 UML 到XYZ/ADL 的转换 | 第60-77页 |
| ·UML 静态视图到XYZ/ADL 的转换 | 第60-71页 |
| ·UML 类图到XYZ/ADL 的转换 | 第60-70页 |
| ·UML 组成结构图到XYZ/ADL 的转换 | 第70-71页 |
| ·UML 动态视图到XYZ/ADL 的转换 | 第71-73页 |
| ·运输业务管理系统的类图到XYZ/ADL 的转换 | 第73-76页 |
| ·本章小结 | 第76-77页 |
| 第六章 相关工作比较 | 第77-79页 |
| 第七章 总结 | 第79-81页 |
| 参考文献 | 第81-86页 |
| 攻读硕士学位期间参加的科研项目和发表(录用)的论文 | 第86-87页 |
| 致谢 | 第87-88页 |
| 中文详细摘要 | 第88-90页 |