【基於COOZ的转换工具的设计与实现】查鸣.pdf
(签字)论文答辨日期:2七00年七月/日 指导教师
基于COOZ的转换工具的设计与实现 摘要 形式化方法与面向对象技术相结合的软件开发方法是软件工程的一 大发展方向。对Z进行面向对象扩充的COOZ可以精确描述大型软件 系统的规约,但并不能直接由此得到可执行代码,因而无法形成一个完 有鉴于此,本文着重研究由COOZ设计规约到可执行代码的转换 技术,目标是集各家所长,在分析COOZ规约的基础上提出合适的转 换技术,并开发出与COOZ规约编辑工具高度集成的转换工具,通过 本文首先介绍了COOZ中的一些重要的概念和表示法,以及 现有的COOZ规约编辑工具:然后讨论了基于COOZ的求精技 术:通过COOZ设计规约到C+的框架转换、规约语句的操作 精化、
16 6 7基于COOZ的转换工具的设计与实现 录 III 目 1问题的由来形式化方法与面向对象的结合 1Z语言的面向对象扩充 1国内外研究现状 1本文研究工作及组织.第二章COOZ及其支撑工具简介 2COOZ(CompleteObject-OrientedZ)简介 2COOZ的设计思想 2在Z中引入对象类型 2模块机制 2.