| 摘要 | 第1-3页 |
| ABSTRACT | 第3-6页 |
| 第一章 绪论 | 第6-9页 |
| ·研究背景 | 第6-7页 |
| ·论文的研究内容及主要工作 | 第7-8页 |
| ·论文的内容组织 | 第8-9页 |
| 第二章 形式化方法和B 方法 | 第9-22页 |
| ·形式化方法 | 第9-12页 |
| ·B 方法 | 第12-22页 |
| 第三章 统一建模语言UML | 第22-27页 |
| ·UML 基本概述 | 第22-23页 |
| ·UML 的框架 | 第23页 |
| ·UML 模型图 | 第23-26页 |
| ·UML 存在的问题 | 第26-27页 |
| 第四章 UML 模型图到B 方法形式规约的转换 | 第27-41页 |
| ·UML 类图到B 方法形式规约的转换 | 第27-34页 |
| ·UML 状态图到B 方法形式规约的转换 | 第34-40页 |
| ·小结 | 第40-41页 |
| 第五章 实例分析 | 第41-51页 |
| ·系统描述 | 第41页 |
| ·系统的UML 模型图 | 第41-43页 |
| ·系统UML 模型图的B 方法描述 | 第43-47页 |
| ·系统形式规约的模型检测 | 第47-50页 |
| ·小结 | 第50-51页 |
| 第六章 总结与展望 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 附录 | 第55-64页 |
| 致谢 | 第64-65页 |