| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·论文的选题和研究意义 | 第9-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·研究内容 | 第12-13页 |
| ·本文的组织结构安排 | 第13-15页 |
| 第二章 统一建模语言UML相关理论研究 | 第15-27页 |
| ·UML概述 | 第15-16页 |
| ·UML的模型框架 | 第16-18页 |
| ·UML模型图以及对象约束语言OCL | 第18-25页 |
| ·UML模型图 | 第18-20页 |
| ·UML类图 | 第20页 |
| ·UML状态图 | 第20-21页 |
| ·UML用例图 | 第21-22页 |
| ·UML顺序图 | 第22页 |
| ·UML活动图 | 第22-23页 |
| ·对象约束语言OCL | 第23-25页 |
| ·UML的应用 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 基于Z形式化规范语言的研究 | 第27-35页 |
| ·形式化方法 | 第27-28页 |
| ·形式化方法分类 | 第28-29页 |
| ·基于Z形式化规范语言的研究 | 第29-34页 |
| ·形式化规范 | 第29-30页 |
| ·形式化验证 | 第30-31页 |
| ·Z形式化规范语言规则 | 第31-33页 |
| ·Z形式化规范语言的优势 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 一种基于UML到Z形式化建模方法UML-Z的研究 | 第35-45页 |
| ·UML-Z建模方法改进思路 | 第35-38页 |
| ·UML存在的问题 | 第35-36页 |
| ·改进思路 | 第36-38页 |
| ·基于UML到Z形式化建模方法UML-Z的研究 | 第38-43页 |
| ·UML-Z建模方法概述 | 第38-40页 |
| ·UML-Z设计目标 | 第40页 |
| ·UML-Z建模流程 | 第40-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 UML-Z原型系统设计与实现 | 第45-69页 |
| ·UML-Z原型系统设计 | 第45-52页 |
| ·系统流程设计 | 第45-49页 |
| ·系统开发架构图设计 | 第49-50页 |
| ·系统架构设计 | 第50-51页 |
| ·系统总体功能组件结构图设计 | 第51-52页 |
| ·UML-Z原型系统功能实现 | 第52-56页 |
| ·模型层功能实现 | 第52-54页 |
| ·控制层功能实现 | 第54-55页 |
| ·视图层功能实现 | 第55-56页 |
| ·UML-Z在客户关系管理系统建模中的应用 | 第56-67页 |
| ·构建类图示例 | 第56-58页 |
| ·元操作的产生 | 第58-59页 |
| ·Z形式化规范的产生 | 第59-60页 |
| ·结果输出 | 第60-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 总结与展望 | 第69-71页 |
| ·总结 | 第69-70页 |
| ·展望 | 第70-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-77页 |
| 攻读硕士期间完成的论文 | 第77页 |