面向对象软件规格语言的设计

本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享