用Z语言实现面向对象的说明

Specification of Object Orientation in Z

形式说明利于精确定义系统的功能，而面向对象技术则利于系统的构造。Ｚ语言是一个很流行的形式说明语言。本文阐明了通过在Ｚ语言中增加面向对象的结构来实现面向对象的系统说明。

Formal specification aids precise definition of system functions,andobject-oriented technology aids structuring. One popular formal specification language isZ.In this paper,we describe object-oriented system specification by adding object-orient-ed structuring to Z, and present a simple example of specifying a drawing system in Z.