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

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

作　　者：袁晓东[1,2] 李宣东[1,2] 郑国梁 

机构地区：[1]电力部电力自动化研究院仿真室 [2]南京大学计算机科学与技术系

出　　处：《计算机工程与科学》1998年第3期67-76,共10页Computer Engineering & Science

基　　金：国家九五攻关项目;国家自然科学基金

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

关 键 词：面向对象 形式化设计 COOZ 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]