UML模型与形式模型双向转换的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 绪论 | 第10-13页 |
| ·本文研究背景 | 第10-11页 |
| ·本文研究意义和主要贡献 | 第11-12页 |
| ·研究意义 | 第11-12页 |
| ·本文贡献 | 第12页 |
| ·本文组织结构 | 第12-13页 |
| 第二章 正向转换技术和逆向转换技术背景介绍 | 第13-22页 |
| ·UML | 第13-15页 |
| ·UML定义和四层架构 | 第13-14页 |
| ·UML模型和语义分析 | 第14-15页 |
| ·形式化方法 | 第15-17页 |
| ·形式化方法的优点 | 第15-16页 |
| ·形式化方法的分类 | 第16-17页 |
| ·UML和形式化方法 | 第17-22页 |
| ·UML和形式化方法分析 | 第17-18页 |
| ·UML的形式化技术 | 第18-22页 |
| 第三章 正向转换技术 | 第22-33页 |
| ·Z语言 | 第22-25页 |
| ·Z语言发展历史 | 第22-23页 |
| ·Z语言主要基本概念 | 第23-25页 |
| ·类图 | 第25-26页 |
| ·UML类图到Z模型的转换 | 第26-33页 |
| ·如何在UMLtranZ中表示面向对象分析模型 | 第26-27页 |
| ·形式化需求分析阶段类图的过程 | 第27-33页 |
| 第四章 逆向转换技术 | 第33-39页 |
| ·XMI | 第33-35页 |
| ·XMI与UML | 第33-34页 |
| ·XMI模型不同部分交换机制 | 第34-35页 |
| ·逆向转换技术 | 第35-39页 |
| ·逆向转换的过程与方法 | 第35-38页 |
| ·逆向转化技术分析和比较 | 第38-39页 |
| 第五章 逆向转换技术正确性和可行性证明 | 第39-44页 |
| ·UTP和Galois Connection | 第39-41页 |
| ·可行性和正确性的证明 | 第41-44页 |
| ·可行性的证明 | 第42-43页 |
| ·正确性的证明 | 第43-44页 |
| 第六章 逆向转换技术的具体映射规则 | 第44-57页 |
| ·基于基本类模型不同部分的逆向转换 | 第45-50页 |
| ·基本类属性Schema不同部分的逆向转换 | 第45-47页 |
| ·基本类Schema之间的不同部分的逆向转换 | 第47-50页 |
| ·基于泛化模型不同部分的逆向转换 | 第50-53页 |
| ·基于关系模型的不同部分的逆向转换 | 第53-57页 |
| 第七章 模型双向转换工具原型的设计和实现 | 第57-61页 |
| ·模型双向转换工具原型的设计 | 第57-59页 |
| ·模型双向转换工具原型的实现 | 第59-61页 |
| 第八章 结论和未来研究 | 第61-63页 |
| ·结论 | 第61-62页 |
| ·未来研究 | 第62-63页 |
| 参考文献 | 第63-69页 |
| 致谢 | 第69-71页 |
| 论文发表情况 | 第71页 |
