( )

2005

II

Elizabeth Hull, BSc, PhD, CEng, FBCS
School of Computing and Mathematics, University of Ulster
Newtownabbey, Co Antrim, UK
Kenneth Jackson, BSc, MSc, MBCS
Telelogic UK Ltd., Oxford, UK
Jeremy Dick, BSc(Eng), ACGI, DPhil, DIC, MA
Telelogic UK Ltd., Oxford, UK

British Library Cataloguing in Publication Data

A catalogue record for this book is available from the British Library
Library of Congress Cataloging-in-Publication Data
A catalog record for this book is available from the Library of Congress
Apart from any fair dealing for the purpose of research of private study, or criticism or review, as permitted under the
Copyright, Design and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any from
or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in
accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquires concerning reproduction
outside those terms should be sent to the publishers.
ISBN 1-85233-879-2 Springer London Berlin Heidelberg
Springer Science+Business Media
springeronline.com
Elizabeth Hull, Ken Jackson, Jeremy Dick, 2005
The use of registered names, trademarks etc in this publication does not imply, even in the absence of a specific
statement, that such names are exempt from the relevant laws and regulations and therefore free for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in
this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.
Typesetting: Gray Publishing, Tunbridge Wells, Kent
Printed and bound in the United States of America
34/3830-543210 Printed on acid-free paper SPIN 10981719

III

,
..., . ...
,
. 10
.
- ,
, .
, .
.
, , ,
.
, .
,
.
, .
,
.
,
, ,
.
, Telelogic
.
, .

,

ilya_kornipaev@mail.ru

IV

,
, , , ,
. ,
.
,
. UML2,
OMG.
,
.
, Telelogic DOORS,
DOORS*
DOORS/Analyst.
, DOORS/Analyst
,
.
- ,
,
.
, http://www.requirementsengineering.info
.

2004

. . Telelogic DOORS
7.
, DOORS 8.0.

(Requirements Engineering)
, , ,
; .
,
, .

.
,
. ()
,
, .

,
.
,
. ,

.

,
, .
, .
,
.
.
.
, .
Telelogic DOORS,
.
DOORS ,
.
,
.
,

, ,
.
, ,
, , ,
, ,

VI
,
( ).
,
.
http://www.requirementsengineering.info
.

2002

VII

,
:
,
. QSS Ltd,
DOORS.
Astrium ,
.
Praxis Critical Systems Ltd ,
.
, Telelogic Ltd ,
, , .

VIII

......................................................................................

..........................................................................
..............................................
............................................................................
....................................
.............................
........................................
..................................................................
...................
................................................................................

1
4
6
7
11
16
19
20
23

1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9

................................ 25
2.1
2.2
2.3

2.4

2.5

2.6

2.7

...................................................................................................
..................................................................................
....................................................................
2.3.1 ...................................
2.3.2 ...............................
.................
2.4.1 ............................................................................
2.4.2 ...................

.........................................
2.5.1 ...................................................................
2.5.2 ..................................................................
2.5.3 ..........................................................................
2.5.4 .............................................................
2.5.5 .......................
............................................................
2.6.1 ...............................................................
2.6.2 ..........................................................
2.6.3 ......................
...............................................................................................

25
25
28
30
31
32
32
33
35
35
37
38
39
40
41
41
43
45
48

... 50
3.1
3.2

................................................................................................... 50
.................... 51

3.3

3.4

...................................................................................................
.................................................................
......................................................
......................................................
.....................................................................
...................................
.............................................................................
.....................................................................................
.............................................................................
.......................................................................
....................................
...............................................................................................

84
85
86
87
88
89
91
92
95
98
99
101

........................ 103
5.1
5.2
5.3
5.4

5.5

5.6

51
58
59
60
63
63
74
76
81
83

............................................. 84
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
4.9
4.10
4.11
4.12

3.2.1 .....................................................
3.2.2 - .................................................
3.2.3 ................................................................
3.2.4 - ...................................
.......................................................................................................
3.3.1 .....................................................................
3.3.2 - .....................................
3.3.3 UML .................................................................................
3.3.4 .................................................................
...............................................................................................

IX

? ................................................................
......................................................
............................................
......................................................................
5.4.1 ...............................
5.4.2 ...................................
5.4.3 ..................................................
...........................................................................
5.5.1 ............................................................
5.5.2 .........................................................................
5.5.3 ............................................
5.5.4 ...........................................
...............................................................................................

103
105
106
106
106
109
113
114
115
118
125
127
128

........................ 129
6.1

? ................................................................ 129

6.2

6.3

6.4
6.5

.............
6.2.1 .................................................
6.2.2
..........................................
6.2.3 ........................................................
6.2.4 ............................................
6.2.5 ......................
6.2.6
..................................................................

.....................................................................
6.3.1 ........................
6.3.2
.........................................

..........................................
...............................................................................................

132
139
142
147
149
149
150
151
152
153

............................................ 154
...................................................................................................
..............................................................................
.................................................................
................................................................................
..........................................................................................
..................................
................................................................
..............
.........................................
7.9.1 .....................................
7.9.2 ...................................
7.10 ......................................................
7.11 ...................................................................
7.11.1 ...........................................................................................
7.11.2 ..........................................................................................
7.11.3 ....................................................................................
7.11.4 ............................................................................
7.11.5 ....................................................................
7.12 ...............................................................................................
7.1
7.2
7.3
7.4
7.5
7.6
7.7
7.8
7.9

131
132

154
154
157
161
162
163
164
164
165
165
165
166
172
173
173
173
174
176
179

.................. 180
8.1
8.2

......................................................................... 180
......... 182

8.3

8.4

8.5

8.6

8.2.1 .........................................................................................
- ..................
8.3.1 ...............................................................................
8.3.2 ..................................
8.3.3 .....................................................................................
- .................
8.4.1 ..............................
8.4.2 ..................................................................
- ...........
8.5.1 ...............................................................................
8.5.2 ..................................
8.5.3 .....................................................................................
...............................................................................................
8.6.1 ...............................................................................
8.6.2 ..................................
8.6.3 .....................................................................................

XI
183
184
184
187
187
189
190
194
197
197
201
202
203
203
204
204

DOORS: ...................... 205

...................................................................................................
......................................
DOORS ................................................................................
, .................................................................
9.4.1 DOORS ........................................................
9.4.2 ..................................................................
9.4.3 .........................................................................................
9.4.4 ................................................................
9.4.5 .........................................................................................
9.5 ................................................................
9.5.1 .....................................................................
9.5.2 ............................................................................................
9.6 .....................................................................................
9.6.1 ........................................................................................
9.6.2 ...............................................................................................
9.7 ....................................................................................
9.7.1 ..............................................................................................
9.7.2 ...........................................................................
9.8 .....................................................................................
9.9 UML DOORS\Analyst .......................
9.10 ...............................................................................................
9.1
9.2
9.3
9.4

205
205
206
208
208
208
211
214
214
215
215
216
216
216
217
217
217
218
221
223
224

........................................................................................... 226

1
,
.
(Lucius Annaeus Seneca)
, (65-3 ..)

1.1
, , 1 .

.

.

.
:
.

, .
.
.
,
. ,


.
(Off-the-shelf) .
,
, .


.

(time to market). -
- .
(time to market with the right product).
,
.
1

, .

, , ,
,
.
, , ,
, , - .
.
(stakeholders) , , ,
, - ,
, ,
.
,
, :


.
, ,

, . ,
,
, ,
, , ,
.
,
.
, .
,
, .

. ,
, ,
, .
?
, - , ?
, ,
.
.
. ,
, ,
, (), , ,
.
, - ,
.
, :

;
;
;

();
.

, -
.
1.1 .
, (Standish Group) 1995-96 ,
, .
.
:

, ;
(stakeholders); ,
; .
, ,

;
.
.
.

1.1

13.1%
12.4%
10.6%
9.9%
9.3%
8.7%
8.1%
7.5%

: Standish Group, 1995 1996; Scientific American, September 1994

1.2

()

15.9%
13.9%
13.0%
9.6%
8.2%
7.7%
7.2%
5.3%

: Standish Group, 1995 1996; Scientific American, September 1994

, , 1.2,
.

: ,
(Scientific American, September 1994).
, ,
, .
,
(stakeholders requirements)2 . ,
.
(traceability) -
(stakeholder requirements) (system requirements)
(design) -
, .
, ,
,
, ,
.

( (designs)) ,
.
8,

.

1.2
().

, .

(West Coast Mainline) .
:
(. ) (), 250 .

:

;
;
, ,
;
;
;
(stakeholders requirements)
.

;
.

, ,

, , ..
.
. -
, .
?
:

, ,
,
.

, .
,
, , , ,
.
, ,
(
) ,
.

.
( ,
), , ,
-
.
(emergent properties),
- ,
.
, , , ,
; - , ,
, , ,
. ,
.
.
, , ,
. ,

.
,
. , ,

, , ,
. . .
,
, . ,
. ,
.
, (. 1.1).

.1.1 .

, : .
? - , ,
, , . ,
, - ,
.
.
; ;
;
; .
, :

, ,
, .

, , ,
. ,
, , , .

, :

, ;
;

;

.

, ,
.
, - : ,
, - - ,
.

1.3
.
, , . ,
, ,
, .
.
-.
, - -, .
.
,
.
-, , ,
- , ,
.. , , ,
( )
, .
,
, ,
.
8,
, , ,
, .
,
, .

,
,
, ,
.
, ,
.
( (Phil Crosby))
,
,
,
.
.

1.4
,
, .
, - -
.
.

(stakeholder
requirements). , ,
, , .

. 1.2 V-.

V-3 (V-model), ,
.
. 1.2 .
V- (layers),
. ,
,
.
2
. . 1.3 .

.1.3 .
, ,
. , :

;
;
;
, .

(stakeholder requirements)
, , ,
.
3

10

,
.
,
. 1.4.

1.4
,
.
, , (design)
,
. ,
.
(,
, , ,
),
, .
:

;
/;
.

, ,

11

(requirements traceability). 1.5,

2 7.
, , (change management)
.
. 1.5.

.1.5
, ,

.
, ,
.
, , ,
,
. , -
, ,
, ,
.
, ,
,
.
, .
.
,
, .

12

, ,
,
.

1.5
, ,
, , , ,
, , .. -
. , ,
.
- :

,

-.
, :

(stakeholder requirements)

,

,

.
:

.
, .
.
.
.
, .
.

, ,
.
.
(
).

13

,
.
.
,
.
, .

(drag-n-drop).
web ,
. . 1.6. ,
, ,
.

. 1.6
-
. ,
,
. :

14

- , .
:
, .

(. 1.3).
1.3

:
?

:
?

:
?

.

, (
) (. . 1.7).
,
, ,
, ,
, .
.
, , ,
,
.
, ,
, .
, ,

. ,
() . , ,
, . ,
, .
, - ,

. ,
, , , ,
.

15

. 1.7
,
, .
( -
,
,
,
!)

.
,
( )
.

.
.
. 1.8.
,
, , - , , -
.
7.

16

1.8

1.6

. , ,
, .
. 1.9
. 4 .
- , -
.
, .. .
.
. , .

, .

4

. :

17

.
, .
.

1.9

, ,
.
, .
,
( ) .
,
.
, , ,
, , ,
, .
, ,
, , ,
,
.
, ,
,
, , .

( )
.
. 1.10 ,
.

18

1.10

;
(emergent
properties) , , - ;
, ,
.

.
(stakeholder scenarios)
(stakeholder requirements).
,

. , ,
UML5-:
(class diagrams), (message sequence
charts) (state charts). (
3.)
,
.
,
,
, .
.
5

UML Unified Modeling Language (www.uml.org) .

, OMG- (Object Management Group, www.omg.org),
Telelogic.

19

.
.
.
,
.
.
,
,
. (, ,
). ( )
, ,
, , - (entityrelationship diagrams).
, ,
,
.
,
, ,
.

1.7
, , .
, ,
, .
, ,
, , ,
, , ,
, .
- ,
(qualification).
,


.
(design) ,
.
. 1.11 V-
.
V- ( ) ,
.
, .
,

.

20

1.11 V-

, ..
() ,
( , ),
( )
. ,
.

1.8

. ,

.

. ,
.
, : ,
(), .

21

, , .
1.4.
, ,
.
1.4

(
)

-

.

.

-

.


.

-


.

,
, .
,
() , ,
.
, ,
,
.
, ,
, .
,
(). ,
, ,
, .
, .
(),
,
.
,
, ,
.

22

, :

(stakeholders)
: ,

.
(system engineers)
: ;
;
,
.
(designers)
, .

. ,
( , ) ().
, , , ,
. , , ,

,
.
,
, , , ,
,
.
,
( )
( ).
, .
,
.
,
:

;
()
, ;
,
, ,
, ;
-
.

23

, , ,
.

1.9

, , , ,
, .
1
.

,
.
. ,
, ,
, .
2 - -
, .

, , , . 5 6
, ,
.
3 - -
.
5 6,

.
4 - - ,
, .
,
.
5 - -
.
6 - -
:
.
7 - -
, .
, .
8 - -
,
.

24

. 1.12 .
1
2
3
4
5
6
7
8
9 DOORS:

. 1.12

, 9 - DOORS: -
DOORS,
.
, , ,
DOORS.

25

2
,
, , , .
(W.E.Deming),
, 190093

2.1
.
.
, ,
, .

. ,
.

, .

2.2
. ,

.
, :
, .
, ,
, , .
. ,
, . ,
,
. , -
. - ;
- , -
, .
,
,
,
(stakeholder requirements).

26

, (stakeholders)
, ,
, .
5.
. 2.1 .

( )

( )

2.1 .

: () ,
. . 2.1 ,

()

() .

27

() .
,
, ,
, .
, ,
,
, .
, , .
. ,
, ,
()
.

, ,
. .
. ,
,
.

. , ,
, .
(emergent properties),
,
. ,
,
. ,
(. . 2.1)
, ,
. , , ,
,
, , ,
(maintainability).
( )
,
. ,

. ,
()
.

,
.
,
,
. 2.1.

28

,
, . . 2.1
,
( , , ),
.
.
,
.
,
:

();
;
;
;
.

, - ,
.
.
, ,
( . 2.1
).

2.3
. 2.2. .
, - ,
. , ,
,
, .

, ,
,
.
, ,
().
,
. ,
( )
.
. (),
.
, ,
.

29

,
. ,
, , , .
,
- ,
, .

. 2.2 .

2.3.1
. 2.3 . 2.2.

.2.3

30

31

. 2.3 , ,
, ,
.
, -
( )
, , , .

2.3.2
,
, ,
.
, .
, ,
,
, ( ) ,
.
,
, -
.
,
.
. ,
- ,
, .
. , ,
, , ,
.
. 2.4
.
,

,
.

. ,
,
( ). , -
, -
() .
, - ,
.
, ,
().
, ,
.

32

. 2.4

2.4
,
.
,
, , ,
.

2.4.1
. 2.5 .
()
, .
,
() .
,

() .

, .
. 2.5 ,
.
, ,
.

33

. 2.5

2.4.2
, .
. ,
, , , -, ,
.
, , ,
, . 2.6.

, .
, ,
.
, ,
() ,
, , - .
, (

34

), ,
.

. 2.6

\
. , ,
, .
, ,
8.
. 2.6,
,
. , ,
, , .

35

.
, ,
, , ,
,
.
( ) (change request)
\-, \
.
, ,
.

2.5

,
,
, .
() ,
, ,
.
- , .

, .
,
, ,
,
.

2.5.1
:

;
;
;
;
.

. 2.7 UML.
( )
, . ( )
, . (

36

) (
), .

*


*

*

*

. 2.7

, , . UML
. ,
.
.
( UML .)
,
. ,
.
, . 2.7
,
.
, , ?
. , - , ,
, .
, .
, . , -
,
(,
, ). ,
, .

37

, ; ,
, , ,
.
( )
.
,
. , , ,
.
,
.
,
.

.
, ( )
(monitor point).
(,
, ..).
.
,
, .
,
. :

;
;
.

.

:
-
- .

2.5.2
. 2.8.

.
, , - (superstate) . ,
, , .
() .
-
- . .

38

,
, - .

. 2.8

, - - .
, -
, .
, -
.
, -
- ,
.

2.5.3
. 2.9 .
.

39

,
.

. 2.9

. ,
, ,
.
,

.
. ,
,
. ,
, ,
.

2.5.4
. 2.10.
.
,
. ,
,
,
,

40

, .
, ,
.

. 2.10

, ,
.
, ,
, .

2.5.5
,
. ()
( ) : , - , -, , - ,
. ,
-,
.
, , ,
.

,
,
, .

41

2.6
2.6.1
. 2.11,
(. . 2.2).

. 2.11

,
.
,
:

?
?

42

?
?

, ,
:

,

( , ,
:
TBA (to be agreed) ,
TBC (to be complete) ,
TBD (to be decided) ).
, , ..
, .
.

,
, .
,
. ()
(. . 2.8)
. ,
.
.

, () .
,
(, ,
).
-
, , ,
- . ,
, , .

. , ,
,
, ,
. , ,
, -
, . ,
,
.
,
. ..

43

. ,
, , .
. , , ,

(,

..). . ( )
- ,
, , ,
!

2.6.2
, ,
() ,
().

,
. , ,
,
.
-
.
(stakeholder requirements)
(use cases) (users scenarios),
, .

. , ,
.

. ,

(,
,
, ). ,
,
( ).
,
. ,
. , ,
. 2.1
,
.

,
,
() .

44

, , ,
/ .
.
2.1

(. 2.12)
,
.

. 2.12 .

45

,
, ()
. , , ,
.
3 ,
, .
5 ,
.
6 ,
.

2.6.3
. 2.13.


. , , -
.
,
.
;
,

. ,
.
, ,
, , , ..
,

.

.
,
-
/ .
:
, , :

;
(..
).

46

. 2.13

/, , .
,
.
, ,
, .
, () ,
.
, ,
. ,
.

, /
.
, ,
.
,
, . ,

.

47

, ;
, , ;
, ;
, .

( ),
.

. 2.14

. ,
( )
.
, .

48

,
,
, .
, . 2.14.

. ,
, - .
, , ,
.
, ,
,
.

2.7
,
.
, ,
:

;
,
;

;
,
;
() ,
;

;

.

,
.
,
.
,
():

;
;
.

49

,
:

;
;
( ).

,
, , , ,
, .

50

- ,
.
- (Bulwer-Lytton),
, 180373

3.1

.
, .

, (),
() ,
.
,
.
,
. , ,
.
, - , , - , , ,
, , .
- , . ,
,
, .

. , ,
,
.
:

,
.

.

.
.

51

.
,
.
,
.

.
, .

3.2
3.2.1
(Data flow diagrams DFDs)
.

. , ,
,
,
. ,

.

. 3.1 .

52

( );
( );
( );
().

. 3.1
.
,
. ,
, ..
,
.
.
() ,
. - (Pspec) - (mini-spec), ,
.
- DFD ,
, ,
. 3.2.

. 3.2 .

53

().
, , ,
(. . 3.3).

. 3.3 .

(. 3.4).
.

. 3.4 .

54

, ,
, ,
.
, (
)
.
, ,
,
.
.
,
, , .
,
(. . 3.5).

. 3.5 .

, . 3.6.
, , DFD
,
. . 3.7, ,
, , ,
. 3.6. . 3.7 .

. 3.6 .

. 3.7 .

55

56

,
(transactions), .. ,
(. . 3.8).

. 3.8 .

, ; ,
; , . ,

,
, . 3.9,
.
,
. ,
.
,
. ,
.
.
(end-to-end transactions), . , ,

, ,
. , CASE .

57

. 3.9 .

, . 3.6, ,
, ,
,
, .
DFD ,
, ,
. ,
.
,
DFD.
, :

;
, ;
;
;
( );

58

;
( ).

3.2.2 -
,
, , , ,
, . (Entity-relationship diagrams ERDs)
, .
- (Chen) 1976
ERD.
.
, ,
, , , .
( ) , .
,
( , , ).
(,
Y, X Y).
- ,
, .
,
.

.
. 3.10 -
.

. 3.10 - .

59

3.2.3

.
, ,
.
, , ,
.

.
(statecharts) (Harel).
.

. ,
,
.
.

. 3.11 .

60

, ,
.
,
, .
. 3.11 , .
,
.
,
- .
- .

, , .
.

(history).
.
, (H),
.

3.2.4 -
-
. -
- .
-

.
- :

(encapsulate), .. (
), () ;
,
, ;
;
,
.

-
.
, , , .
, ,
.
. ,

61

,
.
, (
) , .
.

- ,
. ,
- ,
, ,
.

.
(class diagrams)
-
.
-
.
, .
,
,
()
.
, ,
, ,
,
, , .
( ), , ,
, , .
. 3.12 ( ).

. 3.12 .

62

, , ,
. ,
, -

. , .
.
-.
-, ,
, .
:

();
(generalization);
.

(Use cases)
,
(; - actors).
,
(DFD). , .
.

. 3.13 .

63

, ,
. ,
.
.
,
.
. .
. 3.13 .

3.3
- , .
, .
- ,
. , .
, ,
. ,
, - . ,
, .
, ,
.
, .
,
() ,
.
, , ( )
(DeMarco, 1978), (Yourdon, 1990), (Rumbaugh, 1991),
(Shlaer, Mellor, 1998). ,
, ,
.
, , .

3.3.1
, ( ),
,
( ). ,

(). :

(stakeholders);
, .

. ,

64

, ,
, , ,
.. , , ,
, ,
,
.
,
.

(Controlled Requirements Expression CORE)

.

. 3.14 .

65

, , ..
,
, .
, .
. 3.14 , .
( )
, .
,
[ (Darke, Shanks, 1997)
].
,
,
. ,
.
, . 3.15
(Aircraft
brake and control system ABCS), .

. 3.15 .

,
, .
. ,
.
. 3.16
.

66

. 3.16 .

,
, , .
,
(, ). ,
, (TCF =
Tabular Collection Form), 3.1.
3.1

(-)
(-)
(-),
(-)

3.2
.

67

3.2 (TCF)

, ,
.
,
(TCF) ,
, ) , ,
) ,
, ( ) \-,
.

.
, (SVMs =
Single Viewpoint Models). ,
, .
,
( ).
,
. , , ,
.

68

, ,
. - ,
, .
.
CORE .
,

. , .
, .

.

(Structured Analysis and Design Technique SADT)
(Structured Analysis and Design
Technique SADT) (Ross),
, 70- .
.
;

.
,
( ), ( ).

. 3.17 .

, ,
(
), ,

69

(,
).
. 3.17 . ,
( ):

, ,
, ,
.
, ,
, ,
.
.

.
, , ,

, , .

, .
,
,
. 3.18.

. 3.18
.

70

. 3.19
. ,
.

. 3.19 (SADT).

,
(Viewpoint-oriented Requirement Definition VORD)
, [ (Kotonya)
(Sommerville), 1996] ,
( ).
- ,
,
-. ,
() .
, (= )
, , .

.
VORD :

, ,
.

71

( ), ,
, , ,
, .

.
, ,
,
,
, .
:

;
;
.

. 3.20 , .
, ,
. ( )
, .
,
.

. 3.20 .

() .
(. . 3.21),
( VORD,
, ).
,
.
, ,
, . , ,

72

,
().

. 3.21 .

. 3.22 .

. 3.22 .

73

, , ,
, ,
;
.
,
.
, .
VORD
. , , 3.3
.
3.3 .

1.1

1.2

1.1

sv

1.2.1

sv

1.2.2

sv

1.2.3

99%

nf

1.2.4

30

nf

sv (service), nf
(non-functional requirement).
, ,
. ,
,
(. . 3.23).
,
,
(
) .
VORD
.

74

. 3.23 .

3.3.2 -
80- 90- -
(-) , - .
- ,

. ,
, , , , .
- ( = object-oriented analysis),
(OMT = object-oriented technique), (Booch)
(Objectory). 1998 (Shlaer)
(Mellor), -,
-
.

75

(Coad) (Yourdon).
.
, .
,
.
. (
), .
, ( ),
.
, ,
.
, (
), , .

(Rumbaugh).
,
,
.
.
. ,
.
. ,
(ER = Entity-Relationship
modeling). ,
.
(Harel).
(DFD).
.
(design) ,
, . ,
,
.
Booch
(Booch, 1994) -
. , ,

-
.

(incremental
and iterative approach).
.

, .

76

. ,
.
(state transition diagrams)
(timing diagrams).
Objectory
(Jacobsen).
- .
, ,
(scenarios use cases). ,
.
,
.
: ,
.
, .
UML
UML (OMG, 2003)
- ,
, : , . 90
, Rational,
, .
,
.
UML .
UML. , 1997 UML 1.0
, OMG- (Object
Management Group), 1999 1.3.
UML 2.0, 2003 .
UML .

3.3.3 UML
UML ,
.
.
UML-, :

(structure) ;
(behaviour);
(interaction).

77

. 3.24 13 , UML 2
.
.

. , ,
.
,
.

. 3.24 UML.

, - UML2, -
, - ,
.
, .
. 3.25 UML- (
UML). ,
, - , ,
. , ,

78

, (
).

. 3.25 UML .

, ,
, .
.

. 3.26 .

79

. 3.26
.
,
. :
, ,
.
.
,
. , ,
(),
(. . 3.27).

. 3.27 .

.
, .
. 3.28 .
. 3.29 .
(
), (shareholders),
, . ,
.
,
(), .. .

80

. 3.28 .

. 3.29 .

UML
.
,

81

,
. . 3.30 .
,
, .
.

ref (reference).
,
. -
.

. 3.30 .

3.3.4
,
, , ,
.

. ,

82

, ,
.
Z (Spivey, 1989), VDM (Jones, 1896), LOTOS (Bjorner, 1987) B (Abrial, 1996)

. LOTOS (Language of Temporal Ordering Specification
), VDM (Vienna Definition Language
) Z ISO. B LOTOS , B
.
, ,

, , .
.
,
, , ,
.
Z
Z -
. , ,
, , .
.
Z- , ,
. .
,
.
. . 3.31 Z.

. 3.31 Z-.

Z ,
. , ,
.

83

. 3.32 Z- () ,

.
, .

. 3.32 .

3.32 , .
:

? - ;
! - .

, , ,
.

3.4
,
. , ,
, , .
,
.

.

84

4
, .
, (William Somerset Maugham)
, 18741965

4.1
.
, ..
.
, ,
.

,
. ,
,
.
,
:

;
.

,
,
.
,
, ,
,
.
, ,
,
, , ,
.
,
.
,
.
, ,
, , ,
,

85

. .. ,
, ,
,
, .
,
.
, ()
. , ,
, , ()
.
()
.

4.2
,
,
. ,
.

(stakeholders), 4.1.
4.1 (stakeholders)

,
,

4.2 ( ),
, .
,
, , , , ,
, , . ,
, ,
.

86

4.2 ,

,
:
-
- (, , , , )
- ( )

, :
- ()
-
-

, :
-
-
-
-
-

, ..

4.3
. , ,

. ,
, .

.
:

;
;
, ;
;
() ;
(, );
;
(., );
.

87

, , , ..
.
,
. ,
,
. (
).
3 ,
.
:

;
;
.

, ,
.
, ,

, .
:

,
;
, ,
;
( , .. );
, ;
, ;
;
, ;
.

4.4

.
, KURs
(key user requirements) KPIs (key
performance indicators), ,
( ).
,
. , , ,
, :

88

, ,
, ,
.
...
: - , ,
,
:
<> (, , ..),
?
, :
<>, ?
,
. (, , -
, - ,
).
, , KUR
.
KPIs
.

4.5
, ,
4.2, ,
, .
, , -
, .
,
,
.
[SH234]
100
:
:
:
:
:
:

R. Thomas

4.1 .

89

, ,
, ..
, 4.2,
, .
. 4.1 [SH234] .

, .
, ,
; (
), , ;
, , ,
.
4.3 , ,
,
INCOSE (The International Council on Systems Engineering),
.

4.6

, .
, , ,
- , , ,
. ?
. ,
,
, ,
.

. , ,
, .
,
.

( 4.3).
(,
)
, .

,

.
, , ,
, . , ,
.

4.3

(ID)
,

/
/

/

()

, , , , ,
,
, , , , ,
, ,
, , ,
,
, , ,
, /, //,
, , /
, , ,
(Key, mandatory, optional, desirable)

, , ,
(Must, Should, Could, Wish)
1 10

(
)

(verification & Validation, V&V)

, , ,
V&V
(. )
V&V
, , ,
V&V


V&V

, ,
, ,
, ,
, ,

,

,
,

()

/
, ,

90

91

4.7
.
.. , , ,
, .
, .
, ,
100 ,
99 , ,
, , -
.
()
. , 75
,
50 , 200
,
, 100.
, ,
.
:

(): ( ) ;
(): ;
(): .

, , :
[:50, :100, :200]
.
, ( )
.
1 100 .
. 4.2 ,
.
() , ,
, , ,
50 .
(b) - (
100 ) , . 200
.
() ,
(, ), 50 .
(d) - (,
).

.

92

, , ..
.

100

100

0
50

100

50

200

(a)

100

200

(b)
100

100

0
5

10

20

(c)

10 /

(d)

. 4.2 .

, ..

.

6.
,
.

4.8
( )

.
(,
), , .
6

, Telelogic Assessment Management, Doors.

93

, (must), (should)
(may).
, , ,
, ..
,
, , (.
1.7).
5,
(), (.. ),
, .
, , ,
,
.
.
, (),
:
< > < >
,
, , ,
:
< > < >
< > < >,
< >
, ,
( ):

3 ,

,
. ,
, ,
.
,
, ,

, , , , ,
.
, ,
(), . ,

94

, , ,
.

, ,

( , , ).
:
< > <
>
:
,
.
,
.
.

, .
( ),
( ):
<> < >
<> <>
< >.
:

10 ,

, :
<> < > <>
< > < >
:
-
10
.

95

4.9

.
.
, ,
, ,
. ,
,
. , ,
, ,
.
,
:

;
.

, .
,
- .
. 4.3 , .

. 4.3 .

96

.
7:

:

, .
: , ,
< >,
,
.
: ,
,
,
.

, , .
,
, .
, .
, ( ),
, ,
:
, ..
, - ,
,
,
, . ,
( )
.
, ,
.

.
:
1. , .
2. ,
.
,
, , ,
.
, .
7

. :
.

97

3.
,
() .
.
, .
,
;
,
( N/A = not available).
4.
.
5. , .
:

, ?
(: )
, ?
(: )

4.4 .
,
, , .
, ,
.
4.4

<> < > <>

<> < >

<> < > <> <>

<> < >

<> < > <>

<>

<> < > <>

<> < > <>

<> < > <>

<> <> < >

<> < > <>

<> < > < >

<> < > <> <>

< > <> < >

<> < > <>

< >

98

4.10

-
()
.

.
, () .
?
:
, (Requirements
Management tool) .
. 4.4 ,
, , ,
.
,
,
.

. 4.4 , .

,
, , ()
- .
. 4.4,
, :

10 .
,
.

. ,
,
.

99

. 4.5.

. 4.5 .

.

, 10 .

.

, 15
.

,
( )
,
,
.

4.11
, ,
.
:

: ( )
, ;
:
;

100

:
, ;
: ;
: (
);
: ;
:
;
:
, ().

, :

: ;
: , ;
: (
);
: , , ;
: ;
:
()
: .

, ,
:
1.
, ,
125%,
15 , -
105%; ,
95%,

10% , , 30 .
2. ,
,
Ethernet,
,
, .
,
. ,
:

101

: ,
; ;
: , , ,
;
: ,
;
;
: , , , , ;
: ,
, , ;
: ., 100% ,
, , ,
, ,
, ..

, , 12.
, 4 , , 15 , ,
- .
.
. , :
.
, , ?
.

4.12
,
-.
,
,
,
.

:

.
() ,
.
,
.

102

,
.
() ,
,

,
.
, ,
, , (
).
,
.

()
:

() ;
, ;
;
.
, ,
.

103

5
, .
, .
(Gilbert Keith Chesterton),
, 18741936

5.1 ?
, ,
.
-
.

.
, ,
:
, ?
,
.
- ,
.
, .
,
,
.
,
:
?

?
, ,
, ,
, .
, ,
. , ,
,
.

104

,
,
:
, ?
:

(
). .
, ,
,
:
, , ?

, (stakeholders).

, , .
, ,
. , ,
, , ,
, ,
().
, , ,
,
.
, ,
, , ..,
, ,
.
,
100 /, 100 , .
, - ,
, .
,
, .
.
,
, , ,
. ,
.
.

105

. , ,
, ,
.
, ,
()
.

5.2
. 5.1 ()
(stakeholder requirements).

. 5.1 .

, , .
- , ,
,
, ,

106

. , , - ,

,
.
. 5.1 ,
.
.
, ,
.

5.3

. , ,
.
,
.
,
.

,
( ).

( ).
.

5.4
. 5.2 ,
.
,
.

5.4.1
, ,
, ,
, .

, , , ,
, -
.
, , ,
( ).

107

,
, , , ,
, , ,
. , ,
() , , .

. 5.2 .

,
,
.
,
.

: , ,
(), .
,
, ,
, .
: ,
, ,
, .
: , .
,
. ,
,
. , .
,

108

, .

, .
, .
: ,
,
, ,
.
:
.
,
.
: ,
, , , ,
. ,
,
, ,
.
: ,
, , , (), .

. ,
, ,
.
:
; ()
,
.
: ,
, .
, ,

(, ).
:
,
.
,
( ),
(,
, ).
: , ,
, ,
.
:
,
(, GSM), .

109

:
. ,
,
.
: ,
, ,
() ().
(Rail Regulator)
(FDA) .

, ,
.

(), ,
. ,
.
, ,
.
- .
,
(. . 5.2).

5.4.2

, .
.

.
,
(),
. ,
.

,
.
( )
, , ,
. ,
() , .
, - (),
,
,
.

110

- ,
.
( ),
.
. 5.3,
, ,
, .
, .

. 5.3 .

.

.

, .
,
. ,
: ?
?. ,
.

111

, ,
() ,
.
() .
,
:

().
( )
.
().
.
.
.

, ,
, .
, .
, ,

. ,
.
.
, ()
; , .
, , ,
, .., , .

- .
( )
, .
. ,
.
( ),
,
.
:

;
;
;
.

112

. 5.4 ,
, .

. 5.4 .

,
, , .
:

;
;
;
;
, ( );
.

113

.
,
.
,
.
(,
, ).
.
,
, , ,

, ,
:
?
?. ,
( ) :
( ),
?.
. 5.4,
, .
.
,
.
, (
) .

. ;
.

.
, -
- .
,
.

5.4.3

,
. ,
.
- , , ,
.

. ,
, ,

114

(). ,
,
. , , ,
,
.

5.5

.
, .
. 5.5 .

. 5.5 .

() , . ,
-,
. , ,
, - -
.

115

, ,
-, . 5.5 ,
.

, .

5.5.1


. , ,
.
- , :

;

;
,
( - ).

,
.
,

. ,
4,
,
, , .
, ,
, .

.
. -
,
, . , ,
.
, ,
, , , .
,
.
, . 5.6 5.8.

;
;
.

116

, , ,
.

. 5.6 .

,
.

. 5.7 .

() .
, ,
. , ,
,
, ,
, .
,
- ,
.

. 5.8 .

117

,
, , :

,

.

. 5.9 , .

. 5.9 .

( ) , .
, .
, .
, .
,
.
,
, .
(),
.
, (,
) . ,
, .
. ,
, ,
() . ,
, . ,

118

, , ,
.

5.5.2


, :

;
( );
(., , );
, ;
, , ;
;
, , , .. ;
( );
;
;
.

.
, ,
, , ,
. ,
.
,
, . , ,
, () ,
, ,
.
,
.
.
, ,

. ()
, , , ,
?, (
, , , ).

119

-,
: ? .
,
, ,
.
( ) . - ,
!!! , , ,
( )
.
,
.
, :

;
;

(
);
,
, , ,
(
);
,
,
;

;
- ,
- ,
;
, ;
, ;
;
;
, ;

, - ,
.

.
, , , ,
, .
,
.

120

, ,
, , .. ,
. ,
.
, , ,
.
,
( ).

, ,
.
( )
. ,
:
.
.
. 5.10 .

. 5.10 .

121

:

.
, , :

?
?

.
- .
, .
. -
!
, :
, ,
, !
,
4.
(requirements workshop)
.
.
,
.
, ,
, .
. 5.11,
, .
, :

;
;
.

, ,
, ,
. , ,

.
( ) .
.

122

. 5.11 .

,
.
.
.
, , ,
. ,
,
, - -
.

on-line .
,

,
.
3 4 .

123

,
.
, ,
.
, ,
, .

, , -
, -
.
, ,
.
, ,
.
, - ,
, .
(
, ),
.

, ,
, . ,
.
,

.
,
.

. ,
,
.
,
:

;

;
,
.

124

. , ,
,
, , , ,
.
, .

, .
, ,
.
:
15 .
,
.
, ,
. , ,
.

, .
- ,
( ),
.

, (,
, ).
,
. ,
, , ,

( ).
, ,
(
). , ,
,
, , , (. . 5.12).
,
.

.
, .
( )
.
.

125

, -
.

. 5.12 .

, :

;
, 4.

(. . 5.13). .

5.5.3
, ,
, .
:
, ?
.
.

126

. 5.13 .

,
, /
,
.

, ,
.
,
. ,
( \
).
- ,
.
, .
,
.
, , ,
, .
:

;
;
, ,
.., ;

127

,
(.. ).

, . , ,
, ,
- .
,
, .

5.5.4
, ,
.
, ,
, ,
, ;
;
..
.
.
, ,
.

.
,
, , ,
, ,
.

.
.
, , ,
,
,
( ),
. , ,
, , , ,
, .
, , .
,
. ,
.

128

5.6

.
,
().

,
.

:

;
, ;
,
( ).

,
, ,
.
, ,
.
(, )
, .

.
. ,
.
-.

129

6
, .
, ,
.
a (George Smith Patton),
, 18851945

6.1 ?
, ,
, .
, , ,
,

. , , -
, , -
, (
).
.
2, (.
. 6.1).
, , , , , -,

(). ,
. ,
, -
.

-,
. -, ,
, ..
.
().

(.. ),
, ,
, ,
,
, , , -
. ,
, (

130

),
.

.
, ,
, . . 6.1

( ) .

. 6.1 .

. , (. .6.1)

, .

. . 6.1 () .
, ,
, ,
.
,
(. . 6.1), ,
.

.

, .

131

, ,
.

6.2
. 6.2
.

. 6.2 .

, ,
, , .
, , , ,
,
, , .
,

( ,
).

132

6.2.1
,
(. . 6.1),
, ,
, , , ,
. , ,
() , , ,
,
, .

( ) ,
, ,
, , ,
, .
, ( !), ,
.
, ,
.
.
,
, ,
.
,
. , ,
, ,
, ,
, ,
. , ,
, ,
.

. , ,
( )
.

6.2.2

,
:

, .
,

133

, ,
;
, (
);
, ;
, ,
()
. (,
; , .)
.

. 6.3
.

. 6.3 .

,
:

,
;
, ;
, ;
, .

;
(MSC);
;
- ;
.

134

.
,
,
. ,
.
, ,
, .

() . -
,
, ,
. (. 6.4)
,
, ,
. ,
.

. 6.4 .

, , .
,
, .

, , . ,

, ,
(
). ,
, ,
.

135

,
, ( )
, . ,
, , .

.
,
.
-
,
,
, .
, ,
.
. ,
, ()
.

(Message Sequence Diagrams = MSC) (Behaviour
Diagrams). MSC-
.
70 BMEWS
(Ballistic Missile Early Warning System)
, RDD-100 (Ascent
Logic Corporation) CORE (Vitech Corporation).

(State Transition Diagrams) (State Charts).
.
; ,
.

. ,
.
,
.
.
,
, .
,
.
, , , ,
. ,
, , ,
,
, , , , ,
, , .

136

, ,
, :

, .. ,
;
, ..
(, )

, .
.


.
,
.
;
, .
\
(, , ),
.
.
.
, ,
() ,
.
ICD (Interface Control Document), .
,
,
ICD,
. , , ,
, .
,
,
. , ,
, ICD , ,
, - .
, ,
, ,
. ,
, ,
, .
, ,
. , ,

. .

137

, ,

, , ,
, .
,
,
.
, ,
, .
, , ,
;
, ,
, . ,
, .

, ,
.
,
.
.
, - , , .
. ,
on-line ,
,
.
,
, , ,
.
,
.

,
, , ,
, - .
, ,
(. . 6.3).
, , .
,
.

138

( ,
, CORE 3).

. 6.5 .

, . 6.5 ,
, . ,
, ,
,
, - .
, ,
,
. ,
, , .. ,
, ,
.


().
, , ,
,
-
.
, ,
-
.
, , ,
.

139

, ,
. - ,
.
, , ,
,
, .
,
.
, , ,
.

. , ,
,
, .

6.2.3
, , ,
, ,
, .

. 6.6 .

140

, ,
, ,
, , .
. 6.6 ,
, .

,
: ,
, , .
, .
( ) (., ,
); , (.,
);
(., , , ).
, ,
.

/ .
, ,
..
,
, ( )
, . ,
,
, . ,
,
() .


, ,
.
,
,
, , .

,
.
,

.
, :

141

online web- - ;
.
,
,
. .
,

.

, ( ,
, ).
, , ,
; ,
,
.

. ,

,
.

, ,

.

.
, ,
. ,
(), ,
.

.
, .

PIN- (Personal Identification Number) .
,
.
, ,

, ,
.
. , ,
, .

142

-
,
, , .
.


. ,
.
- , ,
, , ,
, . ,
, ,
.
,
, ,
. , ,
, , , ,
..
web-
.

.
,
- ,
, ,
.

6.2.4
, , ,
, ,
.

, - .
,
,
, , , ..

, . 6.7.
. ,
, .
, ,

143

, , ..
, ,
.

. 6.7 , .

,
, , ,
,
,
.
,
,
. , ,
, ,
, ,
:

?
?
?
?
?
?
?

144

?
?
?

,
, :

.
, ,
, .
. 100
, , ( )
..
.
;
.

,
. .

.
, ,
. ,
, , - , ,
, , , ,
:

;
;
() ,
.

. , ,
, ,
. , ,
.

,
.
! - ,
( ),
- .

145

,
.
,
(GPS), ,
, .
, ,
,
. ,
, , ,
() .
.
, ,
,
,
. ,
(),
, , ,
.
,

. ,
( - , - ,
, ).
, , ,
(),
.
,
, ,
. ,
. ,
,
,
. ,
, , -
. ,
,
,
.


, .
.

146

, .

.

,
, .
,
.
,
,
.
, ,
! ,
,
, .

ABS , . ,
,
, .
, ,
.
.
(
). , ,
, -,
..
,
,
.


. ,
, :

, , , ,
, , ,
, , , , .
, .
, ( ).
, .
, , ,
, .
/
.

147

, / , /.
, , .

,
. ,
, . ,
, . ,
,
, .
,
.

, ,
, . ,
,

, .

,
, , .
- .

.
.
,
.

6.2.5

,
.
,
. ,
,
.
, ,
- . 4.

. ,
,
- .
. ,

148

, ,
, ,
, , .
, , ,
,
( ),
.

,
. ,

. , ,
, .. .
,
,
4. -
, (..
).
, ,
, (
) .
,
, .
.
, ,
, .
.
( )
, ,
. ,
, ,
.

, .
, ,
, () .

.

, . ,
, -
.
, ,
.
. , -

149

,

.
, ,
, ,
, .

. ,
, ,
.
:

, ,
.
, , ,
, .
,
,
?
,
?

6.2.6

, .
2,
.

6.3

,
, ,
(. . 6.8).
,
.
, 2 4.
,
- . ,
.
.
( ),

150

, .
, ,
- , ,
.

. 6.8
.

,
, ,
, .

6.3.1
,
. ,
()
, .. .
, ,
, , , ,

151

.
, - , -
.
.
(.. ),
, , (
).
, ,

.
, ,
.
,
. , ,
,
.
,
.


\ .


.

6.3.2
() ,
.
, , ,
, , .

(,
),
(,
). ,
( ), , , ,
, .
() ,
(), (
) .
.
, , , .
,
.

152

6.4

, () , ,
(. . 6.1). ,
. ,
,
, , ,
, .
( ),
. . 6.9,
,
.

. 6.9 .

,
(, , ).

153

,
.
, , ,
, , .
,
( ).
, , , .

6.5

, .


.
,
, .
,
;
; ,
,
.
,
, ,
.

154

7
?, ?, ? ?,
?, ?, ?
- ?.
.
(Douglas Noel Adams),
, 19522001

7.1

,
, . ,
-
, ,
,
( ).
,

, . ,
, ,
1 .
- ?,
, ?, ?, ?,
,
.

7.2
--.
.

.
... ,
, ,
, -
. , -
, ,
.

155

, ,
, ,
- , !!!
, , , ,
.
, ,
, ,
, .

.
:

,
,
.
, ,
, , .
,
, ..
.
.

, ,
(hyperlinks).
, ,
, , .
(traceability)
, :

, ,
.
,
.
.

()
, ,
.

.
. , ,
,
\ .
, (
) :

156

,
;
;
(+ )
;
(coverage analysis)
, ( ) ;
- ()
(impact analysis) ,
;
-
() : - ;

( ) .

. 7.1 .
.
,
, . . 7.2
. .

. 7.1 : .

. 7.2 : .

157

7.3
,
7.2, .
, -
, . , , .
. 7.1 7.2 , ,
, .
, ,
. ,
(), .
,
, . ,
. 7.1, ,
, -
(), , ,
,
.
.
(),
,
. 7.3, .

. 7.3 : .

, ,

, ,

158

.
:

(& = ) (conjunction) ,
;
(or = ) (disjunction) ,
.

. 7.3 ,
UR 21 ,
SR 15, SR 32 SR 53.
. 7.4 .
, ,
.
.

. 7.4 : .

, ,
. ,
,
.
,
.
( ) . 7.2
. 7.4. ,
, . 7.4

159

. - ,
, .


(Network Rail, - Railtrack - West Coast Route Modernization).
, Praxis Critical Systems
, (design
justifications).
,
, :
, , ..
,
( ). . 7.5 ,
(DK = Domain Knowledge).
,
, , ,
.
(
).

. 7.5 .

.
, , . ,
,

160

,
.
- ,
70 -
. , ,
, , .
, , ,
.


.
,
, .

, -
.
. 7.6 , ,
- ,
.

.

.

. 7.6 .

, ,
, (impact analysis)

161

, ,
.
,
. , . 7.7
, .

. 7.7 .

7.4
,
() ,
,
, .
.
, , ( )
,
. ,
.

. or &
,
=.

162

7.8, ,
.

. 7.8 .

7.5
, ,
. ,
, ,
, ,
, , .
. 7.9 ,
.
, ..
, ,
.

,
. .. ,
, .

163

. 7.9 .

7.6
,
- .
, ,
: ... <> ...,

.
, (. 4),
. ,

164

,
, .. .
,
,
.

7.7


, 1. ,

.
, (& or)
.
, ,
, .
,
. 7.4, UR3
:
SR37 or (SR 31 & SR41)
, , , - , ,
() :
[SR37 & (not SR 31) & (not SR41)]
[SR37 & SR 31 & (not SR41)]
[SR37 & (not SR 31) & SR41]
[SR37 & SR 31 & SR41]
[(not SR37) & SR 31 & SR41]

,
, ,
.
,
,
, .

7.8
.
, , ,

165

.

.
.

7.9

.

7.9.1
. 7.10.

.
, -- (
).
, (&)
(or), ( ).

. 7.10 .

7.9.2

,
, .
,
. , ,
, . 7.11.

166

. 7.11 .

.
, - ,
,
.

7.10
, , ,
,
. 1.9, - .
: ,
.
.

. 7.12 .

167

,
,
,
.
, ,
.
.

, , .
. 7.12 .
. ,
.
, - ().
,
.

1
.
UML.

1.1
, .
0 .

1.2
,
.

1.3
,
.

1.3.1
.

1.4

. 7.13 .

168

,
. , , ,
,
(. . 7.12),
UML 2 .
, :
.
UML.
UML, - UML.
. . 7.13
. ,
UML .
.
, , ,
. . 7.14
.

3
.
UML.

3.1
- , .

3.2
- , .
, .

3.3

, , .

. 7.14 .

. (. 7.15)
, .
,
, .
. ,
.

169

3
,
.

3.1
.

3.2
. ( -.)
,
, .

3.3
- .
, .

3.4
- .
, .

3.5 ()
- .
, .

3.6
- .
, .

3.7

. 7.15 .

 7
4
( ).

4.1.2 :
.

. 7.16 .

170

171

. ( )
. ,
. . 7.16
,
.

( )
( ), ,
.
1.
[SoN-9]

80 .
[SoN-8]

1.1

,



.
.

25 .

:



;


.
1.2


,

.



()
.

:


;


();


() .

[-233]
UML :

[SHR-3]


, 25 ,
,
.

[-3]
,
.

[-6]
,


.
...
[-263]
.
[-233]
UML :

[SHR-3]
,
.

. 7.17 .

172

.
,
.

(). ,
. ,
,
(. . 7.17).
,
,
, .
, , : ,
, .

,
.

7.11

,
.
, , ,
, ,
:

:
( ) ?
: ( )
?
: ?

, ,
,
:

: ,
(., ).
: ,
.

,
.

173

7.11.1
( )
. 1,
,
. ()
, ( ,
).
, - , ,
,
;
,
.

7.11.2
( )
. ,
. ,
, .
, ,
, , ;

?

7.11.3
- .
. ,
.
. 7.18, .
(),
, ,
1. (b), , ,
, 6.
?
, :

(b) , ,

(b) , (), ,
, , ;
(b), ,
(), , ,
.

174

. 7.18 .

,
, .
() (d),
.
, ?
, :

(c) ;
(d) .

,
, ,
.

,

.

7.11.4


, 8.

. . () , 25%
. : Q1 - 25%, Q2 - 50% (), Q3 - 75%.

175

, ,
.
.
. 7.19 ,
.

. 7.19 .

,
,
. ,
2 6,
1, , 6.
.
, ,
, ..
( ). ,
.
, .. .
. 7.20, ,
--.
(, 2 3)
, .. , .
? ,
(), ,
, , .

176

. 7.20 .

. . 7.21
.

. 7.21 .

7.11.5
, ,
. ,
2, ,
.

177

, (change
request), , ,
( - suspect) , .
, , ,
.
, ,
,
, .
. 7.22
.
,
.

. 7.22 , .

() ,
(,
,
). (b) ,

178

.
.
,
(-),
(-). , ,
, ,
, ,
.
,
- !
, ,
,
, , , ;
.

, . ,
, , ,
. ,
, .. ,
,
, , ,
, .
. 7.23 , - ,
, ,
- .

. 7.23 .

179

, ,
, .
,
, . ,
,
.

7.12
,
, 1.5,
.
,
.
.
,
, ,
.
, , 500
,
. ,
2 5 , .
, .
,
, ,
,
.
,
, .

.

180

,
. .
(Yogi Berra),
, 1925 ..

8.1

. , , ,
. ,
. , -
, ,
. , ,
,
.
,
,
. ,
.
, ,
, ,
.
,
.
, ,
,
.
. -,
, (
,
). -,
, (,
,
, ,
).

. ,
. ,
,

181

. ,
,
. .
,
( )
( ),
, ,
( ,
- ). ,
.
, :

;
;
.

(. . 8.1).
.
,
.
.
,
,
. ,
.

. 8.1 , .

182

8.2
,
,
.
,
. , , ,

. ,
, .
,
.
, .
, ,
, :
!
:
,
, .
,
.
,
. ,
. ,
, ,
, .
.
,
.
.

.
:

- -
.
,
.
- -
- .
(
- ).
, -
-,
, ,
- , .

183

- , .

,
.
. -
() .
, ,
, ,
,
- -.

.
, ,
,
. ,
,
, . ,

, .
,
. ,
, ,
? ,
, ?
.
.
.
,

.

8.2.1
, ,
:

;
;
.

, ,
. ,
,
.

.

184

8.3 -
8.3.1
-
. ,

. ,
, ; , ,
, , ().
, .. ,
(), ,
.
, , ,
.
, ,

() ,
( -).

, ,
, , ( )
() . ,
,
, .
:
1.
. ,

. ,
(
,
).
,
.

( ) -
.

.
2. , ,
, ..
, .

185

3.
( , , ,
). , ,
,
, ..
4. ( )
,
.
, ,
.
5. ,
.
,
.
6. ,
.
7. , ,
.
8.
( ).
9. .
, ,
, ( )
.
, , , .. ,
(, ,
, , )
.
10. , ,
.
; -
.
: , , ,
.
11. ,
, .
, .
, - ,
, .
, , ,
.
12.
. . 8.2
.
.

186

.
, .

. 8.2 .

, , ,
.
,
, .
13.
.
,
.
,
(
), , .
, ,
. , , ,

, ;
.

,
90-. ,
. ,

.
. -, ,

,
. , ,
, ( )
. .
, .
,
.

187

8.3.2
.
.
, ,
, .
.

:

;
;

.

,
, , ( )
.
.
,
.
,

, .

8.3.3

. ,
,
, , .
,
, ,
.
,
(. . 8.2).

. ,
. :

;
;
;
;
.

188

,
.
, ,
, ,
.
,
:
1.
2.
3.
4.

;
;
- - , , :
, .

()
(, ), ,
. , , ,
.
, , ,
, .
,
, ,
, .. ,
,
, , .
()
.
, ,
.
, .
,
, .
. ,
,
.

( ). . 8.3 .
,
, , .
.
, , ,
, ,
. ,
, ,
, , ,
,

189

. (
2.)
, ,
, ,
-
( ).

. 8.3 .

.
, ,
.
.
,
, .

, .

8.4 -
- ,
. , ,
, ,

190

.
,
-, . ,
-
( )
.

8.4.1

, .

-
(invitation to tender = ITT)
(request for proposal = RFP).
, .
,
.
, , ,
, .
(),
, , \
. , , -
. ,
,
, , ,
.
, ,
, :

;
();
();
,
.

, ,
.
,
.

, ,

191

, , ,
() .
,
.
.
.
,
, . ,
, - .
, -
. , ,
, .
, .
:

;
- (), , ,
, ;
, , , .

,
.

. ,
.
, , , ,
,
.
(-)

.
, .
,
.

,
.
, ,
.
( ), , ,
.

, , ,
, -
. , - !

192

, ,
, ,
.
, ,
,
. ,
,
, , ,
, .
, ,
,
(, 68 ). ,
,
, ,
, . -
-
.

().
.
.

;
.
, . (.
, 2.)

()
,

. ,
,
. ,
, . ,
. , ,
,
, , , ,
(, ,
).
, ,
.
, , ,
, \ ,
.

193

, .
.
,
.
, - ( 8.3),
. ..
,
,
.

,
:

;
();
.

, , ,
() ,
. , ,
.
( ).

(RFP).
,
. ,
,
, .
RFP (
) .
( )
- ,
. ,
, ,
, .
, - ,
.
.
, (), .
- ,
, .
, , ,
.

194

, ,

. -
, ,
. ,
:

;
( );
, , ,
.

8.4.2

,
, ,
.
, ,
. , ,
, ,
, .
.
,
. ,
, ,
.
, , ,
,
. :
,
. ,
,
.

, .
, / .
,
-
. ,
.
,
.

195

,
( , ,
) .

.
, ,
.
,

, . , ,
.

, ,
.
, , ,
,
.
(
).
, ,
. ,
(
).
.
,

(
).

,
. ,
. ,
.
:
{ TBD, 1, 2, 3 } ,
TBD (to be decided = )
, .. .
, , ,
, .

,
, .

196

.
, .
, ,
.
, ,
.
,
(, ).
()
.
. , , ,

.
.

.
, .
, , .
.
, , ,
.
- .
.
, ,
. ,
,

\ .
,
,
,
.
, .
-, , ,
, .
.
()
. () ,
, ,
,
.

197

8.5 -
-
, . ,
-, -.
, -
.

8.5.1

, ,
- -. ,

. , , ,
, .

.
, .
. , ,

, . ..

.
: ,
, ,
.

.
, .
,
,
, , ,
.
. (
) ,
.
, ,
. -
.

, - ,
,
. ,

198

. ,
,
.

, . 8.4.

. 8.4 .

( 0) ,
. ,
,
, ; ,
.

, ..

, .
, -
() .
, ( 1)
, ,

199

. , ,

.
,
.

. ,
, ,
:

;
;

(-, -);
;
..

,


.
, .

- ,

. , ,
,
, .

. ,
,
. , ,
, .

, ,
.
, ,
, . ,
,
, .
, , ,
, - ().
, ( ),
,
,

200

.
. .. ( )
- ( /
).
. 8.5
, ,
. S, D, U
(specification), (development)
(use). ,
.

. 8.5 .

,
,
,
. ,
,

201

,
( ,
).
,
, .
, , () .
, ,
.

,
.
,
,
.
-
, -
-.
,
.
, ,

.
,
,
(. ).

8.5.2
-
, .

,
. () , ,
.
(), , :

,
(, , ,
, );
;
;
()
(, ;
; -
).

202

,
,
, .

8.5.3
, , ,
,
.
:

?;
?

-
, !
(.
. 8.6),
,
.

. 8.6
.

203

. 8.6 ,
, , .

.
, -
, - -.
, -
,
.

8.6
,
, .

8.6.1
, .
, ,
.
:

(, ,
, ,
);
, ;
, ,
, ..;

;
(,
).

.
- -

\ , .
-
, ,
.
.
- -
() . , ,

204

, , , ,
.

8.6.2

.

.
, ,
.

8.6.3

, , , .
,
( ) .
() .

.
, .

 9 DOORS:

205

9 DOORS:
.
,
, .
(Johann Sebastian Bach),
, 1685 1750

9.1

.
, .
Telelogic DOORS ( 8.09).
DOORS (Dynamic Object Oriented Requirements System )
,
. QSS Ltd (),
, Telelogic.
DOORS ,
,
, - .
DOORS .
DOORS
, ,
. , DOORS
. DOORS , -
, .
DOORS
.

9.2

.
,
, ,
,
.
9

. : 7.1,
, DOORS 8.0.

 9 DOORS:

206

, ,
,
, .
,
.
- , ,
,
. ,
,
, , ,

.

.

9.3 DOORS
DOORS
. DOORS
.
DOORS (module) (.
. 9.1). (project) (folder) DOORS
. , , ,
,
.

. 9.1 DOORS.

DOORS
. , .
().

 9 DOORS:

207

, ,
.
DOORS
, . ()
, , , , ,
.
, ,
( ),
DOORS.
DOORS ,
. :

formal () ,
;
descriptive () ,
(, );
link () ,
.

DOORS Windows Explorer

() .

. 9.2 DOORS.

 9 DOORS:

208

9.4 ,
9.4.1 DOORS
DOORS
. . 9.2 DOORS,
,
, .
DOORS
.
. DOORS
, , Copy, Cut Paste.

9.4.2
DOORS
: File New Formal Module,
. 9.3.

. 9.3 .

 9 DOORS:

209

Name (!)
Description ().
,
, (Start at:).
(Prefix),
.
; , ,
, . ,
, ,

. ( )
, .
, , ,
(Module Explorer), ,
(. . 9.4).

. 9.4 ( ).

,
, . ,
,
(Windows Explorer), .. (-) (+) .

 9 DOORS:

210

,
. ID
, Description. ID
,
. DOORS
,
(., ), .
, ..
, ().
DOORS (. . 9.5).
Standard View .
, , ,
, , Outline View. DOORS
, . ,
. Explorer View
.

. 9.5 .

Graphics Mode ,
, (. . 9.6).
, .

(Object Heading) (Object Text).

 9 DOORS:

211

. 9.6 .

9.4.3
,
. ,
, .
,
.
9.7 , .
(Object Identifier),
DOORS. :

( , );
, DOORS.

,
(1, 2, 3 ..)
.
() .
(Main) (Text)
:

 9 DOORS:

212

(, 1, 2.1, 3.2.3),
;
;
.

, .

. 9.7 .

, ,
(Current Object). DOORS,
(., , ,
..), .
,
(Change Bars). ,
,
(baseline). ,
- . ,
, , .
-
(Link Indicator).
, ( ),
, - ( ),
( ), .
DOORS
,

 9 DOORS:

213

.
,
.
DOORS (. . 9.8)

:

, (
Insert Object),

( Insert Object Below).

. 9.8 .

DOORS .
,
(Cut Paste).

. 9.9 .

 9 DOORS:

214

(Cut) (!)
.
,
. (Paste)
,
(. . 9.9).

9.4.4
DOORS OLE- (Object Linking and Embedding)
, , .
, , , MS Word.
, ,
, , , ,
, .

9.4.5
, , .

. 9.10 .

 9 DOORS:

215

/ ,
, .
,
. 9.10.
, , DOORS,
( Excel,
OLE-). , , ,
.

9.5
9.5.1
DOORS , .
, ,
.
, .

. 9.11

 9 DOORS:

216

,
(. . 9.7), .
. 9.11.

9.5.2
(baseline) - .
(.,
, - ,
, , ).
,
.
DOORS .
DOORS (read-only)
.

() ,
( ) .
, .

9.6
9.6.1
,
, .
,
, , ,
.. ,
.
: ,
.
(., ,
.).
, ,

.
DOORS
, .
, , (integer), (real),
(date), (string), (text), (user name).
.

 9 DOORS:

217

, ,
.
, , ,
, .
( ),
DOORS ,
.
drag-and-drop ,
.

9.6.2
, , DOORS
, (Views), ..
, ( ).

, .

, ,
(., ,
). ,
.

9.7
Doors ,
.

9.7.1
DOORS .
DOORS Link.
. DOORS
.
() ,
. , , DOORS ,
.
, DOORS ,
, ,
,
.
DOORS
.

 9 DOORS:

218

drag-and-drop (
). ()
. , copy and link
.

.
, (),
, - , (),
.

9.7.2
DOORS ,
, , .
(,
, - ) (
Analysis Traceability Explorer),
(. . 9.12).

. 9.12 (Traceability Explorer).

 9 DOORS:

219

, ,
(View),
. ( ).
DOORS Analysis
Wizard, -, .
, ,
,
.
,
, .
. 9.13 , .

. 9.13 , .

,
( ), (
), , ..
,
.
( )
:

 9 DOORS:

220

;
, / (
);
(
);
( );
,
, .
,
, .
,

.

. 9.14 ,
, ..
.

. 9.14 .

 9 DOORS:

221

, ,
(
).
, ,
(),
(.,
). , DOORS
, .

9.8
DOORS
.
DOORS, DOORS
(., ).

. ,
,
, ..,
. DOORS
, .

. 9.15 DOORS MS Word.

 9 DOORS:

222

, , . 9.15 MS Word DOORS.

Export to DOORS, Word DOORS.
(, ),
. DOORS
, .. 1 (Heading 1) DOORS
( ).
, DOORS ,
.
. 9.16 DOORS Word.

. 9.16 DOORS MS Word.

. Word
, DOORS -
DOORS Word .., ( Word
- Normal style).

 9 DOORS:

223

DOORS
, RTF, Word, WordPerfect, Excel, Lotus, Access, Plain Text,
HTML, PowerPoint, MS Project, Outlook .

9.9 UML DOORS/Analyst

DOORS/Analyst DOORS Telelogic TAU G2 (
UML).
, DOORS/Analyst UML
DOORS, .

. 9.17 UML c DOORS/Analyst.

, UML, ,
, . , -
DOORS, ,
, .

.

 9 DOORS:

224

. 9.17 DOORS,
UML UML
DOORS/Analyst. , UML element,
,
Object Type ( ) UML .
UML ,
DOORS/Analyst, . 9.18.

. 9.18 UML DOORS/Analyst.

-
DOORS.

9.10
DOORS,
. , ,
,
: .
,
( ), DOORS/Analyst.

 9 DOORS:

225

.
, ,
, .

 9 DOORS:

226

Abrial J (1996) The B Book. Cambridge University Press.

Alderson A, Hull MEC, Jackson K and Griffiths LE (1998) Method Engineering for Industrial
Real-time and Embedded Systems. Information and Software Technology, 40, 443454.
Andriole SJ (1996) Managing Systems Requirements: Methods, Tools and Cases. New York,
McGraw-Hffl.
Babich W (1986) Software Configuration Management Coordination for Team Productivity.
Addison-Wesley.
Bernstein P (1996) Against the Gods the Remarkable Story of Risk. Wiley.
Bjorner D (1987) On the Use of Formal Methods in Software Development. 9th IEEE
International Conference on Software Engineering, Washington, DC.
Boehm B (1981) Software Engineering Economics. Prentice-Hall.
Booch G (1994) Object-oriented Design with Applications. Redwood City, CA, Benjamin
Cummins.
Brown AW, Earl AN, et al. (1992) Software Engineering Environments. London, McGraw-Hill.
Budgen D (1994) Software Design. Addison-Wesley.
Chen P (1976) EntityRelationship Approach to Data Modelling. ACM Transactions on
Database Systems, 1(1), 936.
Clark KB and Fujimoto T (1991) Product Development Performance. Harvard Business School.
Coad P and Yourdon E (1991a) Object-oriented Analysis. Prentice-Hall.
Coad P and Yourdon E (1991 b) Object-oriented Design. Prentice-Hall.
Crosby PB (1979) Quality is Free. New York, McGraw-Hill.
Crosby PB (1984) Quality without Tears. New American Library.
Cooper RG (1993) Winning at New Products. Addison Wesley.
Darke P and Shanks G (1997) User Viewpoint and Modelling: Understanding and Representing
User Viewpoints During Requirements Definition. Information Systems Journal, 7,213239.
Davis AM (1993) Software Requirements: Objects, Functions and States. Englewood Cliffs, NJ,
Prentice-Hall.
DeGrace P (1993) The Olduvai Imperative: CASE and the State of Software Engineering Practice.
Prentice-Hall International.
DeMarco T (1978) Structured Analysis and System Specification. Yourdon Press.
DeMarco T (1982) Controlling Software Projects. Yourdon Press.

 9 DOORS:

227

DeMarco T and Lister T (1987) Peopleware Productive Projects and Teams. Dorset House.
Easterbrook S and Nuseibeh B (1996) Using Viewpoints for Inconsistency Management. Software
Engineering Journal, 11(1), 3143.
Finkeistein A, Kramer J, Nuseibeh B and Goedicke M (1992) Viewpoints: A Framework for
Integrating Multiple Perspectives in Systems Development. International Journal of Software
Engineering and Knowledge Engineering, 2(10), 3 158.
Fowler M and Scott K (1997) UML Distilled: Applying the Standard Object Modeling Language.
Reading, MA, Addison-Wesley.
Gilb T (1988) Principles of Software Engineering Management. Addison-Wesley.
Gorchels L (1997) The Product Managers Handbook. NTC Business Books.
Gotel OCZ and Finkelstein ACW (1995) Contribution Structures. In Proceedings RE 95, York,
IEEE Press.
Harel D (1987) Statecharts: a Visual Formalism for Complex Systems. Science of Computer
Programming, 8, 231274.
Hull MEC, Taylor PS, Hanna JRP and Millar RJ (2002) Software Development Processes An
Assessment. Information and Software Technology, 44(1), 112.
Humphrey WM (1989) Managing the Software Process. Addison-Wesley.
Jackson M (1995) Software Requirements and Specifications: a Lexicon of Practice, Principles
and Prejudices. Addison-Wesley.
Jacobsen I, Christerson M, et al. (1993) Object-oriented Software Engineering. Wokingham, MA,
Addison-Wesley.
Jones CB (1986) Systematic Software Development Using VDM. London, Prentice-Hall.
Kotonya G and Sommerville I (1996) Requirements Engineering with Viewpoints. Software
Engineering Journal, 11(1), 511.
Kotonya G and Sommerville I (1998) Requirements Engineering: Processes and Techniques.
Chichester, Wiley.
Leite JCP and Freeman PA (1991) Requirements Validation through Viewpoint Resolution.
Transactions of Software Engineering, 12(2), 12531269.
Loucopulos P and Karakostas V (1995) Systems Requirements Engineering. McGraw-Hill.
Mazza C, et al. (1994) ESA Software Engineering Standards. Prentice-Hall.
Monroe RT, Kompanek A, Metlon R and Garlan D (1997) Architectural Styles, Design Patterns,
and Objects. IEEE Software.
Mumford E (1989) User Participation in a Changing Environment Why We Need IT. In
Participation in Systems Development, ed. Knight K. London, Kogan Page.
Nuseibeh B, Kramer I and FinkelsteinA (1994) A Framework for Expressing the Relationships
between Multiple Views in Requirements Specification. Transactions of Software
Engineering, 20(10), 760773.

 9 DOORS:

228

Oliver DW, Kelliher TP and Keegan JG (1997) Engineering Complex Systems with Models and
Objects. New York, McGraw- Hill.
OMG (2003) The Unified Modelling Language Version 2, www.omg.org.
Page-Jones M (1980) The Practical Guide to Structured Systems. Yourdon Press.
Perrow C (1984) Normal Accidents. Basic Books.
Petroski H (1982) To Engineer is Human the Role of Failure in Successful Design. St Martins
Press.
Petroski H (1996) Invention by Design: How Engineers Get from Thought to Thing. Harvard
University Press.
Poots C, Takahashi K, et al. (1994) Inquiry-based Requirements Analysis. IEEE Software, 11(2), 2
132.
Pressman RS (1997) Software Engineering: a Practitioners Approach. McGraw-Hill.
Ross DT (1977) Structured Analysis (SA): a Language for Communicating Ideas. IEEE
Transactions on Software Engineering, 3(1), 1634.
Ross DT (1985) Applications and Extensions of SADT. IEEE Computer, 18(4), 2534.
Ross DT and Schoman KE (1977) Structured Analysis for Requirements Definition. IEEE
Transactions on Software Engineering, 3(1), 615.
Rumbaugh J, Blaha M, et al. (1991a) Object Modeling and Design. Englewood Cliffs, NJ,
Prentice-Hall.
Rumbaugh J, Blaha M, Premerlani W, Eddy F and Lorenzen W (1991b) Object- oriented
Modeling and Design. Prentice-Hall.
Shlaer S and Mellor SI (1991) Object Life Cycles Modeling the World in States. Yourdon
Press.
Shlaer S and Mellor SI (1998) Object-oriented Systems Analysis. Englewood Cliffs, NJ, PrenticeHall.
Software Engineering Institute (Carnegie-Mellon) (1991) Capability Maturity Model for Software.
Tech. Report CMU/SEI-91 - TR-24.
Sommervile I (1996) Software Engineering. Wokingham, MA, Addison-Wesley. Sommervile I
and Sawyer P (1997) Requirements Engineering: a Good Practice Guide. Chichester, Wiley.
SpiveyJM (1989) The ZNotation: a Reference Manual. Prentice-Hall.
Stevens R, Brook P, Jackson K and Arnold S (1998) Systems Engineering: Coping with
Complexity. Prentice-Hall Europe.
Yourdon EN (1990) Modern Structured Analysis. Prentice-Hall.

229

,
:
http://www.requirementsengineering.info

Elizabeth Hull,
Ken Jackson,
Jeremy Dick

Requirements Engineering
Second Edition

Springer-2005
Telelogic :
Enterprise System Architect
Focal Point
Doors
Doors\Analyst
Doors XT
Synergy\Change
Synergy\CM
Tau G2
Tau Tester
Tau SDL
Tau TTCN
Logiscope
DocExpress
: www.telelogic.com
c : anatoly.volokhov@telelogic.com