OCL约束验证与实现方法研究
| 摘要 | 第1-8页 |
| Abstract | 第8-10页 |
| 1. 绪论 | 第10-14页 |
| ·研究背景及意义 | 第10-11页 |
| ·相关研究 | 第11-12页 |
| ·研究内容 | 第12-13页 |
| ·论文的组织 | 第13-14页 |
| 2. UML/OCL概述 | 第14-27页 |
| ·UML | 第14-17页 |
| ·OMG元模型体系 | 第15-16页 |
| ·UML工具 | 第16-17页 |
| ·OCL | 第17-27页 |
| ·概念 | 第18-21页 |
| ·OCL应用示例 | 第21-23页 |
| ·OCL工具 | 第23-26页 |
| ·OCL工具的比较 | 第26-27页 |
| 3. 代码插入方案 | 第27-36页 |
| ·简单的方案 | 第27-28页 |
| ·封装方法 | 第28-30页 |
| ·改进的方案 | 第30-36页 |
| ·前置条件 | 第32-33页 |
| ·后置条件 | 第33-34页 |
| ·不变式 | 第34-36页 |
| 4. OCL-Java代码的生成 | 第36-45页 |
| ·解析 OCL表达式 | 第36-40页 |
| ·语义分析 | 第40-41页 |
| ·类型检查 | 第40-41页 |
| ·其它语义错误 | 第41页 |
| ·规范化 | 第41-43页 |
| ·文法精简 | 第42-43页 |
| ·类型精简 | 第43页 |
| ·代码生成 | 第43-45页 |
| 5. OCL-Java代码的插入 | 第45-53页 |
| ·JavaCC | 第45-50页 |
| ·jj文件 | 第46-47页 |
| ·Java解析器的修改 | 第47-50页 |
| ·代码插入的实现 | 第50-53页 |
| 6. 实例与OCL约束的验证 | 第53-60页 |
| ·实例模型 | 第53-55页 |
| ·OCL约束的验证 | 第55-60页 |
| ·OCL约束举例 | 第55-56页 |
| ·约束的验证 | 第56-60页 |
| 7. 总结及下一步工作 | 第60-63页 |
| ·总结 | 第60-61页 |
| ·下一步工作 | 第61-63页 |
| 参考文献 | 第63-67页 |
| 附录I | 第67-69页 |
| 附录II | 第69-71页 |
| 攻读硕士学位期间发表的论文 | 第71-72页 |
| 致谢 | 第72页 |
