| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 第一章 引言 | 第8-11页 |
| 第二章 相关研究综述 | 第11-19页 |
| ·软件体系结构简介 | 第11-14页 |
| ·软件体系结构形式化方法 | 第14-15页 |
| ·软件体系结构描述语言 | 第15-17页 |
| ·本章小结 | 第17-19页 |
| 第三章 形式化方法B方法 | 第19-24页 |
| ·B方法思想简介 | 第19-20页 |
| ·B方法的符号表示 | 第20-21页 |
| ·B方法抽象机操作 | 第21-22页 |
| ·B方法事件机制 | 第22-24页 |
| 第四章 体系结构描述研究 | 第24-37页 |
| ·ABC／ADL语言描述框架 | 第24-29页 |
| ·ABC／ADL体系结构行为规约 | 第29-36页 |
| ·本章小结 | 第36-37页 |
| 第五章 ABC／ADL精化研究 | 第37-54页 |
| ·软件体系结构精化研究现状 | 第37-38页 |
| ·ABC／ADL精化研究 | 第38-41页 |
| ·实例研究：数据库系统 | 第41-53页 |
| ·本章小结 | 第53-54页 |
| 总结和展望 | 第54-55页 |
| 参考文献 | 第55-59页 |
| 附录 | 第59-60页 |
| 致谢 | 第60-61页 |
| 原创性声明和版权使用授权书 | 第61页 |