Object-oriented software requirements definition and its automatic transformation

被引：0

作者：

Zhang, JZ ^{[1
]}

Xu, JF ^{[1
]}

机构：

[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Peoples R China

来源：

PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL | 1999年 / 9卷 / 03期

关键词：

object-orientation; requirements definition; functional specification; automatic transformation; support system;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Software requirements definition and its automatic transformation are explored in the object-oriented style. First a hierarchical object-oriented requirements model NDHORM and a graphical requirements definition language NDORL are proposed. Then the automatic transformation technique of a semiformal requirements definition into the formal functional specification is outlined. Further the design and implementation of NDORASS are presented, which is a support system of requirements analysis. The system can aid the user to construct a requirements definition in NDORL, and automatically generate a formal functional specification in an object-oriented Z environment OOZE.

引用

页码：161 / 170

页数：10

共 16 条

[1]

ALENCAR AJ, 1991, P 5 EUR C OBJ OR PRO

[2] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS [J].

BOURDEAU, RH ;

CHENG, BHC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) :799-821

[3]

DAI M, 1989, SCI CHINA SER A, V19, P546

[4] INFORMAL AND FORMAL REQUIREMENTS SPECIFICATION LANGUAGES - BRIDGING THE GAP [J].

FRASER, MD ;

KUMAR, K ;

VAISHNAVI, VK .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) :454-466

[5]

HARTRUM TC, 1994, P COMPUTER SCI ED, P389

[6] DEVELOPING FORMAL OBJECT-ORIENTED REQUIREMENTS SPECIFICATIONS - A MODEL, TOOL AND TECHNIQUE [J].

JACKSON, RB ;

EMBLEY, DW ;

WOODFIELD, SN .

INFORMATION SYSTEMS, 1995, 20 (04) :273-289

[7]

LU J, 1993, SCI B, V38, P184

[8]

LU J, 1990, SCI CHINA SER A, V20, P1320

[9] THE REQUIREMENTS APPRENTICE - AUTOMATED ASSISTANCE FOR REQUIREMENTS ACQUISITION [J].

REUBENSTEIN, HB ;

WATERS, RC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (03) :226-240

[10] INTEGRATED STRUCTURED ANALYSIS AND FORMAL SPECIFICATION TECHNIQUES [J].

SEMMENS, LT ;

FRANCE, RB ;

DOCKER, TWG .

COMPUTER JOURNAL, 1992, 35 (06) :600-610

← 1 2 →