Z的面向对象扩充COOZ的设计  

COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z

作　　者：袁晓东[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学与技术系,南京210093

出　　处：《软件学报》1997年第9期694-700,共7页Journal of Software

基　　金：国家自然科学基金;国家"九五"攻关项目

摘　　要：为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较．TQ combine Z notation with object-oriented techniques, this paper addsobject type and module mechanisrn to Z and makes it become object-oriented formal specifi-cation language COOZ. The paper includes the design ideas of COOZ, syntax and explana-tions, formal semantics, a small case and comparison with the related work.

关 键 词：Z语言 面向对象 形式化 COOZ 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]