面向对象的形式规格说明语言OOZS

OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。

OOZS:一种面向对象的Z语言扩展

在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力．本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征．

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言，它是Ｚ规格说明语言的一种面向对象扩展．本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明．