| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-7页 |
| 1 绪论 | 第7-14页 |
| ·论文研究背景 | 第7-11页 |
| ·UML概述 | 第7-8页 |
| ·MDA软件开发 | 第8-10页 |
| ·形式语义概述 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·本文研究工作与组织结构 | 第13-14页 |
| 2 对象精化演算系统rCOS概述 | 第14-21页 |
| ·rCOS的发展简介 | 第14页 |
| ·rCOS的基本内容 | 第14-19页 |
| ·rCOS的语法简介 | 第15-16页 |
| ·rCOS的语义简介 | 第16-19页 |
| ·rCOS的应用意义 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 3 基于指称语义构建UML形式化模型 | 第21-34页 |
| ·指称语义的基本概念 | 第21-22页 |
| ·类图的语义模型 | 第22-25页 |
| ·序列图的语义模型 | 第25-27页 |
| ·用例图的语义模型 | 第27页 |
| ·学生课程管理系统实例研究 | 第27-29页 |
| ·状态图的语义模型 | 第29-30页 |
| ·构件图的语义模型 | 第30-33页 |
| ·构件的模型 | 第31页 |
| ·构件的语义 | 第31-32页 |
| ·构件的组合与互操作 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 4 UML模型融合与一致性检验 | 第34-43页 |
| ·建立需求模型 | 第34-35页 |
| ·基于rCOS规范的需求模型 | 第35-36页 |
| ·学生课程管理系统实例研究 | 第36-38页 |
| ·模型之间的一致性检验 | 第38-39页 |
| ·类图与状态图一致性检验 | 第38页 |
| ·状态图与状态图一致性检验 | 第38页 |
| ·序列图与状态图一致性检验 | 第38-39页 |
| ·战斗机导弹系统实例研究 | 第39-41页 |
| ·本章小结 | 第41-43页 |
| 5 相关工作介绍与比较 | 第43-45页 |
| 6 总结与未来工作 | 第45-47页 |
| ·本文工作总结 | 第45页 |
| ·下一步工作 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 附 | 第50-52页 |
| 1.作者在攻读硕士学位期间发表的论文目录、科研情况 | 第50-51页 |
| 2. 致谢 | 第51-52页 |