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

摘要

为了使Ｚ规格说明与面向对象开发方法相结合。本文在Ｚ中扩充了对象类型和模拟描述机制，使之成为面向对象的形式化规格说明语言ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＺ）．内容包括ＣＯＯＺ的设计思想、语法定义及说明、形式化语义、实例以及相关研究工作的比较。