摘要
本文介绍了一种基于形式化规格说明语言COOZ的面向对象设计方法并给出实例。该方法用COOZ描述类的设计规格说明,实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念:对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。
This paper describes an objectoriented 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 objectoriented 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.
出处
《计算机工程与科学》
CSCD
1998年第3期67-76,共10页
Computer Engineering & Science
基金
国家九五攻关项目
国家自然科学基金