| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-6页 |
| 第1章 引言 | 第6-10页 |
| ·面向对象技术 | 第6-7页 |
| ·UML | 第7-10页 |
| ·UML的架构 | 第8页 |
| ·UML的模型、视图、图与系统架构建模 | 第8-9页 |
| ·UML的应用 | 第9-10页 |
| 第2章 软件模式 | 第10-17页 |
| ·模式的发展 | 第10页 |
| ·模式的定义 | 第10-11页 |
| ·模式的分类 | 第11-12页 |
| ·分析模式 | 第12-17页 |
| ·分析模式的相关概念 | 第12-14页 |
| ·分析模式与设计模式 | 第14-15页 |
| ·面向对象分析与分析模式 | 第15-17页 |
| 第3章 形式化方法与RAISE | 第17-23页 |
| ·形式化方法的发展 | 第17-18页 |
| ·形式化方法的优点与不足 | 第18-19页 |
| ·形式化方法的发展方向 | 第19-20页 |
| ·RAISE | 第20-23页 |
| ·RSL | 第20-21页 |
| ·RAISE方法 | 第21-23页 |
| 第4章 分析模式的形式化研究 | 第23-42页 |
| ·关于模式形式化的意见 | 第23-24页 |
| ·分析模式形式化 | 第24页 |
| ·基于RAISE的分析模式形式化 | 第24-42页 |
| ·分析模式的UML表示 | 第24-26页 |
| ·分析模式的主要形式化定义 | 第26-32页 |
| ·分析模式Inventory and Accounting的形式化 | 第32-42页 |
| 第5章 应用实例 | 第42-44页 |
| ·电话服务 | 第42页 |
| ·结构模型 | 第42-43页 |
| ·使用分析模式建立TT的帐务模型 | 第43-44页 |
| 第6章 总结与下一步工作 | 第44-45页 |
| 参考文献 | 第45-48页 |
| 致谢 | 第48-49页 |
| 附录 | 第49-52页 |