OOZE求精技术自动化的探讨

RESEARCH ON AUTOMATIC REFINEMENT OF OOZE

文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。

OOZE is a wide spectrum language which is object oriented extension of Z. The technique of automatic refinement from software specification in OOZE to executable program is discussed with emphasis on data refinement.The corresponding automatic refinement rules are given for the nested composite types in Z and the class structure in OOZE. The steps of the operation refinement using automatic technique are also described.