基于Object-Z的软件体系结构描述到JAVA的实现的研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1 绪论 | 第8-12页 |
| ·研究背景和相关研究动态 | 第8-9页 |
| ·论文的主要工作 | 第9-10页 |
| ·论文的组织结构 | 第10-12页 |
| 2 相关研究综述 | 第12-26页 |
| ·软件体系结构 | 第12-16页 |
| ·软件体系结构的起源与发展 | 第12-13页 |
| ·软件体系结构的定义 | 第13-14页 |
| ·软件体系结构的研究现状 | 第14-16页 |
| ·形式化方法和Object-Z语言 | 第16-21页 |
| ·形式化方法 | 第16-17页 |
| ·Object-Z语言 | 第17-21页 |
| ·软件的实现 | 第21-23页 |
| ·编码 | 第21-22页 |
| ·Object-Z到Java编码的相关研究 | 第22页 |
| ·测试 | 第22-23页 |
| ·面向对象与Java | 第23-26页 |
| ·面向对象方法 | 第23-24页 |
| ·JAVA | 第24-26页 |
| 3 形式描述的实现方法 | 第26-40页 |
| ·过程描述结构的实现方法 | 第26-38页 |
| ·过程描述语言 | 第26-28页 |
| ·过程描述结构的实现方法 | 第28-38页 |
| ·基于Object-Z的实现方法 | 第38-40页 |
| 4 Object-Z描述到 Java的转换机制 | 第40-63页 |
| ·封装的转换机制——模块法则 | 第40-44页 |
| ·模块法则的具体描述 | 第40-42页 |
| ·模块法则的一般描述 | 第42-44页 |
| ·继承的转换机制——扩展法则 | 第44-47页 |
| ·扩展法则的具体描述 | 第44-46页 |
| ·扩展法则的一般描述 | 第46-47页 |
| ·多态的转换机制——还原法则 | 第47-51页 |
| ·还原法则的具体描述 | 第47-49页 |
| ·还原法则的一般描述 | 第49-51页 |
| ·类的转换机制——对应法则 | 第51-57页 |
| ·对应法则的具体描述 | 第51-55页 |
| ·对应法则的一般描述 | 第55-57页 |
| ·对象的转换机制——抽象具体化法则 | 第57-59页 |
| ·抽象具体化法则的具体描述 | 第57-59页 |
| ·抽象具体化法则的一般描述 | 第59页 |
| ·转换机制可行性验证 | 第59-61页 |
| ·总结 | 第61-63页 |
| 5 结束语 | 第63-64页 |
| ·总结 | 第63页 |
| ·进一步的工作 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 附录: 攻读学位期间发表的论文 | 第67-68页 |
| 致谢 | 第68-69页 |
