一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

An ObjectOriented Formal MethodFrom COOZ RequirementSpecification to Design

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。

This paper describes an objectoriented design method based on COOZ,a formal description language,and gives an application case.We use COOZ to describe design specification of classes.Therefore,the formal requirement specification can transfer to formal design smoothly.The paper emphasizes on some objectoriented concepts related to design methods:separation of object type and class,differences between subtype and inheritance,flexible message passing and parameter transition mechanism,active and passive objects,root class,etc.