| 面向对象软件规格语言的设计 |
| |
| 引用本文： | 全炳哲,金淳兆.面向对象软件规格语言的设计[J].软件学报,1995,6(12):705-711. |
| |
| 作者姓名： | 全炳哲 金淳兆 |
| |
| 作者单位： | 吉林大学计算机科学系，长春 130023;吉林大学计算机科学系，长春 130023 |
| |
| 基金项目： | 本文研究得到“八五”攻关项目、国家“863”计划和国家自然科学基金的支持. |
| |
| 摘 要： | 本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。
|
| 关 键 词： | 面向对象开发模型，面向对象设计，形式规格语言，自动程序设计，软件重用。 |
| 收稿时间： | 1994/6/27 0:00:00 |
| 修稿时间： | 1994/9/23 0:00:00 |
AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE |
| |
| Quan Bingzhe and Jin Chunzhao.AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE[J].Journal of Software,1995,6(12):705-711. |
| |
| Authors: | Quan Bingzhe and 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. |
| |
| Keywords: | Object-oriented development model Object-oriented design formal specification language automatic programming software reuse |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
