| 摘要 | 第1-3页 |
| Abstract | 第3-5页 |
| 第一章 前言 | 第5-9页 |
| ·综述 | 第5页 |
| ·研究现状介绍 | 第5-6页 |
| ·研究方法和目标以及本文的组织安排 | 第6-9页 |
| 第二章 形式化方法与时序逻辑语言XYZ/E | 第9-15页 |
| ·形式化方法与规范语言 | 第9页 |
| ·线性时序逻辑语言XYZ/E简介 | 第9-11页 |
| ·XYZ/BE的组成成分介绍 | 第11-15页 |
| 第三章 统一建模语言UML及其顺序图 | 第15-22页 |
| ·统一建模语言UML | 第15页 |
| ·UML2.0顺序图介绍 | 第15-17页 |
| ·对象约束语言OCL(Object Constraint Language) | 第17-22页 |
| 第四章 从顺序图到并发控制流图的转换 | 第22-37页 |
| ·为顺图选择合适的控制流模型 | 第23-24页 |
| ·UML2.0活动图 | 第24-26页 |
| ·并发控制流图(CCFG) | 第26-27页 |
| ·从顺序图到并发控制流图CCFG的转换规则 | 第27-37页 |
| 第五章 用 XYZ/E描述基于 CCFG的UML2.0顺序图的语义 | 第37-48页 |
| ·CCFG的语法与约束 | 第37-38页 |
| ·CCFG的形式化语义 | 第38-39页 |
| ·案例研究:图书管理系统 | 第39-48页 |
| 第六章 总结 | 第48-49页 |
| 参考文献 | 第49-52页 |
| 攻读学位期间的研究成果 | 第52-53页 |
| 致谢 | 第53-54页 |