| 论文摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-11页 |
| ·研究的背景及意义 | 第9-10页 |
| ·研究内容和创新点 | 第10-11页 |
| 第二章 软构件及形式化方法概述 | 第11-23页 |
| ·构件的发展史 | 第11-12页 |
| ·构件的基本概念 | 第12-13页 |
| ·软件构件相关标准规范 | 第13-16页 |
| ·形式化方法概述 | 第16-21页 |
| ·形式化构件发展现状 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第三章 软构件模型的形式规范 | 第23-30页 |
| 引言 | 第23页 |
| ·几种标准构件比较 | 第23-24页 |
| ·构件的基本特征 | 第24-25页 |
| ·构件模型形式规范 | 第25-29页 |
| ·符号化规范 | 第25页 |
| ·语法 | 第25-28页 |
| ·操作语义 | 第28-29页 |
| ·小结 | 第29-30页 |
| 第四章 COM 的形式化规范 | 第30-38页 |
| 引言 | 第30页 |
| ·COM（Component Object Mode，对象构件模型） | 第30-33页 |
| ·COM 接口形式规范 | 第33-36页 |
| ·COM 接口查询形式规范 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第五章 EJB 接口的形式化规范 | 第38-58页 |
| 引言 | 第38-41页 |
| ·EJB 接口及集成 | 第41-43页 |
| ·EJB 接口形式化规范 | 第43-55页 |
| ·业务接口 | 第46-49页 |
| ·生命周期(life cycle) | 第49-51页 |
| ·依赖注入(dependency injection) | 第51-52页 |
| ·实体持久化处理和O/R 映射 | 第52-55页 |
| ·客户端调用过程的形式规范 | 第55-57页 |
| ·小结 | 第57-58页 |
| 第六章 全文总结和展望 | 第58-60页 |
| ·本文总结 | 第58-59页 |
| ·将来研究工作 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 致谢 | 第63页 |