A Minimal Closure Algorithm for Quantifying Impact of Requirement Changes on Network Performance

(1)

!

! ""## !! $$

% &

' ( $

)&" "* ! " # $

% " ! & # &"

% # & '

# # # % $

& ( $ &

"( &

&" % # # ) % "

% # *

% * " * % #

+ "$ & " * # #

"

+,-. %&* , % # $ - "$

# $ . !

/0

/ # #"

$ #* * $ & ! 0

$ # # $ & ' !

#

! % # *

! & "$ "$ & "

' $ 12 . & #3

(2)

506 # " & "

4 7- ! 8 9: ; $ %

* 3 * . !

& " 8 3. :

"$ < # =< >$ ! %

# * "" < # ! $

7#7 0 !

7 7 7 5 & %

< # =< > ! $ < $ ; < #

0* & & #

% # 8 %6?:

$ * & & %

# " * % # $

* @ ! #

% # $ $ ' #

% % " " ' #

% * % #

% # "

& # &" 8 <6?: 8A+; : & &

" & &"

" " # ' # *

& # & "

$ & * &" "( # & #

& #

( &

% # % # )

% " "$ # # "

! *

% " $

% ?$ " #

" 1$ # ) % " % "

% # 2$ " 9 "

(3)

1 % !

& % $ #

% * % $

" ! *

& $ $ ! " * #

" # # %

% /* % " #

# # % %

# = > %

# " "

8 :

% , % ,

, % - "=,->C

% , % ,

, % - "=,->C

, % "$ , #

% "

% " " #

# % # $ &

* " '

2 " % !

% !

* " "8< B9: 8DE/ 6:

2#/ " ( % !

$ $ $ $

(4)

$ $ $ $

$ $

$ $ $ $

$ $ $ $ $ $ $ $

, 3 , %

-$ -$ $ $

$ $ $ $

$ $ $ $ $ $ $ $

$ $

(5)

3 ! % ! &

* # *

" # % "

3#/%

* # % "

% " %

# # * %

3#1 (

* % "$

,-!*

,- CG ,-H

,-C IJ $ $ ?$ $ ! &"

KIJ 7 G $ $ !L

,-C IJA

,-=,- 0KIJAL>MG ,- M

IJA

,-,-C IJA

,-=,- 0KIJALKI0 JAL>MG ,- M

IJA I 0 JA

# ,-N +O H

,-3#2

C C $ $ $ = F>

C $ $ $

(6)

$ $ $

! " # "

? ,

$ $ $

$ $ $ "$

$

$ $

" "

"

1 $ $

$ $ $

"

3#3 . '

4

? # 1 ?

$ $ $ "

$ $ $

C

$ $ $ $ $ $

#

C $

$ $ $

$

(7)

$ $ $

$ $ $ $ $ $ $

$ $ $ $ $ $ $ $ $ $

5 ' +

5#/ % 6 %7

&" % # & &"

* # % " #

& % # $ )

% " # & % ) F % "

& &" ) 8+ 16: O * $ ) F " '

$ & " # % " , "

, % " + 8

* " &"; ; 8< 29:

; ; * # % " &

$ & * ' ! & *

622&"P + - &

; "$ ) F % " #

' C ! ' # $

# * ! ! & & " ) F

% " & # & # &

$ & # ' *

) F % " % "$

"

) F % " % "$ %

) F % " $ % "

(8)

5#1 " & + ! "

/ # & H #

# $ * # Q$

1 * $ " # R #

& %

/# % !

- # = -> & % #

#* #

71 Q

71

1# % $ "

- =, $ , > G 7

- =, $ ,?> G 71M 7 G?71

- =, $ ,1> G 7 M 71G?71

- =, $ ,?> G 71

(9)

5#2 ,(

/ &

% # ! $

* # #

% # *

' * %

# $

# &

* % " * # = ->

%

9 & !

' %

! / *

# % )

% " % " * &

* ! * $ '

% C

3 ! = 3>

. ! - & =.->

< ( =< >

* . ! 3 =.3>

* . ! 3 "=.4>

* . & E =.E>

# % $ %

& ' #*

% H

, = 3.-< .3.4.E>

% H

':;

% ':

)&:; %

(10)

; : % )& :

# * #

& /C ! + O =+O >

, # % " %

, # O =,O > % * % "

, O # " % ; * #

, ,- IJ K $ L , &",-N IJ $ IJ $ $I J

':;

% ':

)&:;

)&: %

':)&

; : %

)& :

& 1

, * " ,-N$ # * #

,- IJ ,

K

IM =,0=IJ >>

IM # $ ,G=,0=IJ >>

L

# IM

':; $ '< 6 =6 ':; 77

'<> ')&; %

3 .EM$ > = 6 ':; 7

% ': $ % '< 6 =6 % ': 77

% 'MJ % ')&;

% 'M$ >

? )&:; $ )&< 6 =6)&:; 77

)&<> )& %

3 < M$ >

(11)

)&MG)& %;

% )&M$ > = 6)&: %7

2 ':)&$ '< 6 =6 ':)&77

'MG '

)& 'M$ >

9 ; : %$ ; M 6 =6; : %77

; MJ;

% ; M >

B )& : $ )& M 6 =6)& : 77

)& MJ)& %;

)& M >

* # $ % " C

% ':

)&:; ':)&

; : %

)& :

& 2*

! " % +O ,- & *

% ':

%C 'M =, K % ': L K '

: L>

'MG ')& ; %

% 'M$ % % $

, G , K % ': L K ': L

)& :

)&C < =, K)& : L K : L>

<

G

)& <$ )& %

C )&M =, K)& : L K)&: L>

)&MG)&; %

)&M$ %

* # $ % " C

':

(12)

':)&

; : %

)& :

" ! ! ! *

E # ) % "$ % " %

" " %,0 ,, 6 %7

':;

% ':

)&:;

)&: %

':)&

; : %

)& :

" ! ! ! (

2

2* " % % !

E # # # ?$ #

% " &

" $ /# % ! !

, .E .3 .4 3 .- <

, < .E .3 .4 3 .

--=, $, > Q 71 71 7 71

71

71 7

7

71 71

7 7

7

.E

3 .

-<

.4

(13)

" ! ! ! *

E # ! % "$ % "

% " %,0 ,, 6 %7

- * # $ % "

(

':

)&:; ':)&

; : %

)& :

" ! ! ! (

3#

? /@3

3# " % % !

E # # # 1$ #

" &

& C - # ; , % - "

, .E .3 .4 3 .- <

, < .E .3 .4 3 .

--=, $, > Q Q 71 71 7

71

71 71

7

7 .E

<

.4 .3

.- 3

(14)

9#/ $ $ ( ! *

" $ *

& % "

* # % # # *

# %

" & !

& ( % !

= ':)& ': > & ( %

! &

! 6 ' )&7 ! 6 ' 7 : ! 6 ' )& 7

! ! &"

% # % " ;

* # * % #

& " ) % " " % "

% # !

# # * #

% "

8 9: ! 0 ! % &% '% "(&/ 4 # ( $

E $ 9

8 <6?: # &# ! &# # ) 0% % ) % %

$ % &%3 #

; $%% # 6 0? 66?

%

8 B : . # . # % % % %

&% ' % % % *+,*% $ '% & # 2 0

(15)

8< B9: # # ) # % % - % $ % %

% $ % &% ; - &

" $% =1>$ # BB0 6 $ 6B9%

8< 29: # ) % % % % . %

$ 555 "$ =1>$ #

2 9$ 555 " 629%

8 : # +# & ! 0 % % % %

% % % % ' % %

' &%3 # 555 "

, % 5 # #$% # 106 $ 555%

"$

%

85.61: # , &#)# ( $ % % &%

< @ 3 & # "$ 661

8DE/ 6: A# 0 = B# %# ' B# . ! %

$ 0/ "3 O $ 6

8D : B# 0 # ; % % %

% ' &% 3 # 555 P

, % 5 # #$ # 90

6$ 555 "$ %

8+ 16: +# C % % % / # % 0 % % %

% 1 % ' $ ; $ 5

5 # # - $ ;

#"$ & # $ 616%

8+)6 : &# C 0# + 0 %! % %1 %

% % $ C77 !7 & 7

3 & S- 7 66 0+ !0

8,P : )# # B 0% % % 1 % %

% $ 555

(16)

8 %6?: C77 & 7 7 7# 7 !7 % S

8 69: # # & # # & ! 0 % $ % % %

1 % % % % % $ 3 #

555 " / ! 5 # #

< " =5 < >$ 669

8 : E;+ C77 #

8 3. : 3. # - , % $ 3.

$ C77 * #7* 0 # $

8/ - 1: C# . #0# % 0 % % % %

C % $ ' 2 % 3 % % $ %

1 &%3 # $

10 ?$ 1

8A+; : A# - D# C D# 0 % % %3 % %

% % &%P #