摘要
本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需求规格、概要设计和详细设计．从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了ＯＯ开发模型中需求和设计之间的重叠．在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示．ＪＯＯＳＬ认为对象是一种抽象的状态机，继承是行为特性的共享．
OOSL 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 preliminary design specification, and it characterizes the overlap between requirement analysis and 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.
出处
《软件学报》
EI
CSCD
北大核心
1995年第12期705-711,共7页
Journal of Software
基金
"八五"攻关项目
国家"863"计划
国家自然科学基金
关键词
面向对象
形式规格语言
软件
程序语言
Object-oriented development model, object-oriented design, formal specification language, automatic programming, software reuse
