| 摘要: |
| 本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。 |
| 关键词: 面向对象开发模型，面向对象设计，形式规格语言，自动程序设计，软件重用。 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到“八五”攻关项目、国家“863”计划和国家自然科学基金的支持. |
|
| AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE |
|
Quan Bingzhe,Jin Chunzhao
|
| Abstract: |
| JOOSL is an object-oriented formal specification language, which can be used to describe requirement specification, preliminary design and detailed design of an object-oriented software. From the view point of specification method, requirement specification is about the same as priliminary design. In these specifications the data and operations should be described abstractly. The detailed design is concerned with specifying algorithmic details and concrete data representations. In JOOSL, an object is considered as an abstract state machine and inheritance is defined as sharing of behavior. |
| Key words: Object-oriented development model, Object-oriented design, formal specification language, automatic programming, software reuse. |
