UML建模的形式化研究
| 原创性声明 | 第1-3页 |
| 关于学位论文使用授权的声明 | 第3-4页 |
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 引言 | 第8-10页 |
| ·背景介绍 | 第8-9页 |
| ·本文的主要工作及其意义 | 第9页 |
| ·本文的结构 | 第9-10页 |
| 第二章 形式化方法 | 第10-21页 |
| ·形式化方法介绍 | 第10-12页 |
| ·形式化方法的主要研究内容 | 第10-11页 |
| ·形式化方法研究的意义 | 第11页 |
| ·形式化方法的发展方向 | 第11-12页 |
| ·Z规格说明方法 | 第12-15页 |
| ·Z语言简介 | 第12-13页 |
| ·Z语言的基本构造单元 | 第13-14页 |
| ·Z规格说明的结构 | 第14页 |
| ·Z语言的特点 | 第14-15页 |
| ·Z的面向对象扩充OOZS | 第15-21页 |
| ·OOZS语法规则的形式 | 第16页 |
| ·OOZS常用的数据类型 | 第16-17页 |
| ·OOZS的谓词 | 第17-18页 |
| ·OOZS对Z模式的改进 | 第18页 |
| ·OOZS中的类机制 | 第18-19页 |
| ·OOZS规格说明 | 第19-20页 |
| ·OOZS语言的特点 | 第20-21页 |
| 第三章 统一建模语言UML | 第21-28页 |
| ·UML的发展历史 | 第21-22页 |
| ·UML的概念模型 | 第22-26页 |
| ·UML语义的模型框架 | 第22-23页 |
| ·UML的模型元素 | 第23-25页 |
| ·支配UML的规则 | 第25-26页 |
| ·UML的公共机制 | 第26页 |
| ·UML的语义缺陷 | 第26-27页 |
| ·UML形式语义的研究 | 第27-28页 |
| 第四章 四种UML图的形式化描述 | 第28-59页 |
| ·UML类图的形式化描述 | 第28-36页 |
| ·类 | 第28-30页 |
| ·关联 | 第30-34页 |
| ·泛化 | 第34页 |
| ·依赖 | 第34页 |
| ·类图 | 第34-35页 |
| ·类图的形式化语义 | 第35-36页 |
| ·UML用例图的形式化描述 | 第36-42页 |
| ·用例图的模型元素及其OOZS表示 | 第36-40页 |
| ·用例图的语义 | 第40-42页 |
| ·UML状态图的形式化描述 | 第42-52页 |
| ·UML状态图 | 第42-44页 |
| ·状态图各模型元素的OOZS表示 | 第44-48页 |
| ·用状态机来表示状态图 | 第48页 |
| ·对UML状态图的操作语义进行形式化 | 第48-52页 |
| ·对状态图实例的验证 | 第52页 |
| ·UML顺序图的形式化描述 | 第52-59页 |
| ·UML顺序图 | 第52-55页 |
| ·顺序图模型元素的OOZS描述 | 第55-56页 |
| ·顺序图的语义约束 | 第56-57页 |
| ·顺序图到类图的集成 | 第57-59页 |
| 第五章 结论 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 攻读硕士期间参与项目和发表论文情况 | 第63-64页 |
| 致谢 | 第64页 |
