..

230201

, 2008

..

:
,

..

230201 .
5
. .
____________
______________

00670 5.01.2000
___________. 60 84 1\16
.-. . __. . . . __. __ .

-

302030, . , . , 65
2008
.. 2008


.......................................................................................................................5
1. .........6
1.1. ........................................6
1.2. .....................................7
1.3. ................................................................8
1.4. ..................................................................................8
2. ........................................10
2.1.

.................................................................................................................10
2.2. ..............................................................11
2.3. .....................................................................12
2.4. ......................................................................14
2.5. ...........................................16
2.6. ..............................................................18
2.7. ................................................................................18
3. .........................................................20
3.1. .........................................................20
3.2. ............................................................21
3.3. ......................................................................................22
3.4. ...............................................................................23
3.5. .........................................................................23
3.6. ....................................................................24
3.7. ..............................................................24
3.8. ................................................................................25
4. .......................................26
4.1. ..................................26
4.2. .......................................................27
4.3. ..................................................................................29
4.4. ..............................................................30
3

4.5. ................................................................................30
5. ................................32
5.1. ..........................32
5.2. ................................................32
5.3. ..............................................................35
5.4. ................................................................................35
...................................................................................................37
()
..................................38
()
............................................................................................39


5 .
, ,
. .
1,2,4 5 4 ,
3 8 .
, , , .

1.

1.1.

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

/ , .
. , ,
. , .
: , ,
, 6

,
.
,
- , .

1.2.

19.201-78 . .
:
;
;
;
;
;
- ;
;
.
. . .

:
;
;
;
;
7

 ;
;
;
.
. ,
. :
, / .

1.3.

19.201-78.
:
1. .
2. () .
3. .
4. () .

1.4.

1.
.
2. , .
3. .
4. .
8

5. () (
).
6. ?

2.
2.1.

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

.
: .
(),
. ,
10

 : ,
. ., .
,
, :
(DFD Data Flow Diagrams), ,
;
- (RRD Entity-Relationship Diagrams),
/,
, ;
(STD State Transition Diagrams),
;
( , , .);
( , , ,
).

2.2.

. , . ,
,
.
11

 : , ( ),

.
, ,
2.1.

2.1
( ; ; - )

2.3.

,
. SADT (Structured Analysis and Design
Technique ).
,
. , : , ,
( ).
, . ,
, ( 2.2), .
12

2.2
, , .
.

, ,
.
.
,
.

:
.
, , ,
.
. 3-7- .
,
, . ,
.

13

2.4.

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

.

14


: -. 2.3 -.

2.3
( , , ,
, )

,
. ,
, . .
. .

( 10-),
, .
.
,
() . , : , (),
15

, , flow- .
,
.

, : ,
, , .
. , ,
.

2.5.

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

16


. .
,
. ,
.

, . . , .
-, :
;
.
. 2.4.
A

2.4 : , ,
,
. .
17

 IDEF1
IDEF1X, CASE-.

2.6.

, 1
.

1. .
2. .
3. .
4.
( ) . .
5. ( ).
6. .
.

2.7.

1. ,
.
2. ,
.
3. .

18

4. .
5. .
6. .
7. , .

19

3.
3.1.

:
;
.
, , . ,
, .
:
1.

, . .
2.

. -

.
3.

. -

, .
, .

.

, ( , , , ) .
, , 20

.

( , ). .

3.2.

:
;
.
.
, , .
.
, :
.
, ( ) , ().
, :
1. . . .
,
. , .
2. .
, . 21

 ,
, . , ( ), , . ,
.

3.3.

,
.
,

. .

, , ,
. .

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

22

3.4.

,
.
, 19.701-90 , , .

3.5.

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

, .
,
-
, .

.

23

 .
, 3 3 , .
( 19.701-90)
, ,
.
:
;
Flow-;
-.

3.6.

. , .
.

3.7.

(
1 2) .

1. .
2. .
3. .
24

4. , .
5. .
6. ( ) .
7. ( )
8. .
9. .

3.8.

1. .
2. , .
3.
.
4.
.
5. ,
.
6. ,
.
7. .
8. .

25

4.
4.1.

, .
.

. ,

,
(

) .
, , .
, .

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

. ,
, , , ,
, .

26

4.2.

. () .
.
.
() ,
.
( ). .
, . . .
. ,
.
:
;
, .
,
.
, .
:
1. .
2. .
3. .

27

4. ,
.
. . .
. ( ) ()
.
( )
:
1. , .
2. ,
.
3.
.
.
.
.

, .
, () . ,
DU-, , , , .
:
28

1. .
2. .
3. DU-.
4.
DU-
.
5. , .
6. .

4.3.

.
4 : , , ( ), .
. , 1<<= .
. . .
, , .
:
1. .
.
2. . , .
29

3. .
.
()
.
4. ,
.
. ,
.
(, ) .
. .
.

4.4.

.

1. ( ) , .
2. .
3. .

4.5.

1. . ?
2. ?
30

3. .
4. ?
5. .
6. , ?
7. .
8. ?
9. .
10. .
11. DU-.
12. .

31

5.
5.1.

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

5.2.

. . .
.
32

 . , .
. .
1. ..., :
V_Class = {n} - ;
Inv_1ss1 = {x | : < }
;
Inv_1ss2 = {y | : > }
.
2. ,
:
V_Class = {a};
Inv_Class1 = { | : < };
Inv_1ss2 = { y | : > }.
3. {, b, }, :
V_Class = {a, b, };
Inv_1ss = {x | : ()&(b)&()}.
4. , true, :
V_Class = {true};
Inv_Class = {false}.

. , .

33

 . ,
, . , . .
:
;
, .
:
1. ...,
:
;
.
2. , :
;
.
3. 1 2 .
4.
, ,
.
5. (, , , ),
.

34

-.

,
. .
, . .
- . , .
:
1. ( ) (
). .
2. - .
3. .
4. .

5.3.

.

1. .
2. .

5.4.

1. ?
2. ?
3. .
35

4. .
5. .
6.
?
7. .
8. -.
9. , .
10. ?
11. -.

36


1. .. : .
.: - M . .. , 2002. 320 .
2. .. :
. .: , 2003. 473 .
3. [ ]:[. ]. .: ., 2006. 1 . . (CD).
4. .. . .: ,
2004. 215 .

37


()

___________________________________

. , ...

_____________..

. 21-

_____________ ..

200_
38


()

: ___________________________________

():____________________
. . .

:___________________________________________________________
:_______________________________________________________
:_____________

200_
39