This paper presents a simple example of specifying a drawing system in Z and illuminates object-oriented system specification by adding object-oriented structure to Z.

• 通过一个简单的绘图系统实例阐明了通过在Z语言中增加面向对象的结构来实现面向对象的系统说明。