Engineering formal requirements: analysis and testing

(1)

!"

# $ % %&% %""'() &%

* +%!, - ".

/ 0 1% 2 3 4 (567894 - ". (":

%5 "; <=>?@=?=>A?BCA?D=CECFG=D HI@>JC H>B

K LMNOPQN

R S TUVWXYZ[S \ ] SV^XY _XW _XW] \` \U\`abTb \UY ba]cX`T[

VSbVTUd X_ cS^\eTXW\` \bfS[Vb X_ g bfS[Th [\VTXUbi R S bV\WV

YShUTUd \ j[^S]T[\`k XfSW\VTXU\`bS] \UVT[bl m^T[^ bZffXWVb

\U \cbVW\[V SnS[ZVTXU ]XYS` \UY bX]S USm [XUbVWZ[Vb VX \`o

`Xm V^S eSWTh [\VTXU X_ YaU\]T[ fWXfSWVTSbi p XWSXeSWl Zbo

TUd bZ[^ \ bS]\UVT[bl mS ^\eS cZT`V \ f\W\``S` \UT]\VXW X_

g bfS[Th [\VTXUb m^T[^ \ZVX] \VT[\``a [XUbVWZ[Vb YTbVWTcZVSY

fWXVXVafSb YTWS[V`a_WX] \ jWShUSYk bfS[Th [\VTXUq bZ[^ \ VXX`

]\rSb Ss S[VTeS`a XcbSWe\c`S [XU[ZWWSUV cS^\eTXWb X_ V^S g

WStZTWS]SUVb bfS[Th [\VTXUi

u v

w

xyz{ |} { ~y }~ | }| | { yz|

zy}~ ~ ~~~z y z~}|}~ y|z~ ~{ ~

z~{ ~ ~|y y

{ ~ z~ | yz

{ |}y|y | ~ { ~||}} ~~~z |z~

}

||} | ~|z} |}|y | ~ ~ |z y

y | y |z~ ~~}y{ ~ zy~ y{ }~~} |~ y

yz{ |} { ~y ~

|} y y y |z~

zy

| zy~~ | ~ ~|~

~ y|y

zz~}

~ | | ~|y

}|

|~ y yz{ |}} ~z~ | ||}~ ~ z~

z~

{ ~ | ~ |z~

z~ y | ~ z|~ y |z

|z~ | y|z~ ~{ y~~z | ~~ { yz~

~

}}

~ yz ~ ~|y y ~

~|}

~{ ~ | ~ z~{ ~} |z| ~|y

}|

|~ ~ ~~z y y

zz~ yz z

~

~{ |~ ~z yyz

yz | ~~ y | ~

|} |~y y ~|yz|} |~ y ~z yz{ |}y

{ ~ ¡

{ ~z y z~~|z~z |~ |~{ ~ y

y~zy{ ~ ~~ ¢

}~ |}} y{

y{ ~ y~z yz{ |}{ £¤~z ¥~ ~{ yz|} ¦y yz

¦¡ § ¨ ~}}

~ y ~ |{ zy

~z~ ©

|}} y yy} ~ y

yz ~ ~

~~z y yz{ |} z~

z~{ ~ z~ ~~ z

y|y ~ ~ { |~ | | ~~z |~ y |

¦|~ª}~ yz~~ | £~

¨

~ |zy| ~ z~~ ~z~ y«~z ~ ~~z y

y{ }~{ ~ |zy|~ yz |}| | ~

~|y ~ yz{ ~z |}}y | yz{ |} ||}

y | y

{ ~¬ |{ yz{ |}} ~ z~~

|

~ y | ®¯°±²³´ µ ³¶· y ~ y~z~

| yz y |z| { y} ~ ~

y ~ ~~ y

¸ |y y ~ |z| ~}|z|~ ~{ |

~ ~ zy

~ | ~ y~z|y|} ~{ |

|~ y ~ ¯¹µ ²¯º· µ ±º»¹³¼ ~{ ~~ ~

y|y y ~ ½~{ |} ¡z| ¾ |~ ¿ À ~

~~ y

| ~{ | | }y y«~z |

{ ~z

y yz

| ~

~ y ~~ | ||}~

|{ zy~z~

~ }|~z |zy| |~ y | yy} yz |

y{ |

~~z|y y | z

~ zyy~ y ~ ~{

{ |~ z||} |{ | ~ ~|y

yz~z y ~

zy{ ~zzyz y~~ | |{

~ | z

} y

zz~ z|{ ~yz ~ yy}

| |z|}}~} |{ |yz¬ y y | y

z~yy

z~

y{ }~z yz ~ |

y{ | z|}|y y | ~|

y y | zyz|{ z~ ~ y

zz~ }|

|~

|z~ ¤zy}y | | ~{ |} ~{ | | ~}}

~

~ y | y{ |y y }y zyz|{ {

yyz|y { ~|{ | ~ ~«~ | ~ z~

}

|{ |y | ~ ~ ~

~ | z

} z

~

~zy{ ~ y { |~ y~z|}~ ~ y

zz~ ~|

yz y ~ ~{ ~ ~~

Á Â

w w Ã w Ä w

¸ yz~z y ~ }| y

z |zy| ~

~ | ~ |{ }~

~}

~ ~ ~|} y

zz~ |{

y yz{ |} ~|y¬ ~ ¦ ~{ Å ¿

¡ } yzy}}~z ~{ | y ~z~ z~

~ y{

zy{ ~

y }|~ y ~ Æyyz y |

}

~ } { y~ ~ yzy}}~z | z~y |

~ ~ z~

~

} y { yz~ z~

~ |z~

y

|~ ~ } |~ z~y y ~z~

y~z ~ yz ~ z~

~

ÇÈÉ ÊËÌÍ ÎÏ ÌÐÑ ÒÓÌÐÍ ÐÔÕÖ Ö× ÐØÓÙ ØÎÕÓËÔ

¸ Å ~ z~

z~{ ~ y

| } ~{ |z~ ~

(2)

¡}y

~

~ y © }y |}}y y |

z~

|{ zy~z~ y z~} ~ z~}~ ~

~~ y~z|y|} ~{ | { y~} zy}

~z

~~ | ~ ||} { ~y

}~|z

À ~ ~}|yz|~ | { }~z ~zy y ~ } zy}~{

z~~ y Å ¡}y

y

z ~|y }yy

~z { }|z y ~ yz|} ~ ~zz~|y ~ |

y|~ y y{ }~~} «~z~

! !

~ z~y y ~ } | ~ °» yz ¶³"´ }~

~ |~ |~ { y yz y~ ~

} yyz y~ ~ |zz | | Æyyz | }~ ~

|~ µ ³#²´$ }y~ ¤y}~ z~

~ |z~

yz y z~

~ ¡ } | ~ ~~ yy

z~y |~ | yyz |~

%&

'

(

~ y}}y ~{ | ~z~ ~ ~{ ¬

%& )

%&

! *+ , '

-¼.°/±/ ~ ~ y z~

~ | ~z ~ |

Æyyz ~ |}|y y~z|y ~{ | ¬

%& )

%& ) 0

0 1

0

(0

0

!0 2

~ y~z|y ~{ | 3 º4 5 .°/±/ | | ~ z~

~ y ~ ¼.°/±/ ~

6 (7 !

8%& )

9

& 9 '

! 0

! : ;+ 9<& 9-=

~ ~{ | ~z ~ { y y ~ }

£| }~ ~{ | Å¨ ~z~ } y y~z

|y ~{ | 3 ³# >» >» | 3 ³# ? ³"´ >» ¬

| ~ |y @ y~z|yz ~{ | |

{ |~ { }~z ~ z

}~ yz ~ ~{ | { |

£~~ ~A¨ À ~ y} ~ 3 ³# >» >» y~z|y ¬

y z~y ~ ~{ | 3 ³# >» >» ~~ ~

y~z|y y { y ~ }

|~

z~

~ |z~

z~~ |y~ ~ }

6

8%& )

+B& ' C + !<&- D ! E

& F

0 G 1

0

( 0

0

3 ³# ? ³"´ ? ³"´ | 3 ³# >» ?³"´ |z~ ~

~{ | yz ~ { y y ~ } y ¬ ~ y y

z~yz ~z~ yz y~~ ~ y~z ~{ | |z~

H»´ ? ³³¼ | I·³/ ? ³³¼ ~z~ ~ y~z

|y y y~ ~ yyz ~ z~

~ |z~ z~~ |

~

zz~ Æyyz | ~ y~z|y y }y ~ yyz

|~z | ~z~ y{ ~ z~

~

J Â K Ã L w

~ ||z ~{ | A A ~}|z|~ |

y~ y y«~z | yz{ |}|y yz y

zz~

~ |~ ~~ | y~z|y|} ~{ | |~ y |

~{ |} { y~} xyz { } | y~~ ~z~

~ y~z | z~z~ ~zy y

M~yz~ ~{ | y yz

~ ~~

~ z~}~| ||} ~}~{ ~ y | ~|y

~ ~}~{ ~|z y{ y~ y | y

{ ~ |z~

|~ ~{ | | N~z|y ~{ |

¾ yz~y~z ~|

~ y ~ y

zz~ ~zz~|y

y ~ |z~ y y ~ ~ { |~ ~ y}}y |

{ y¬ |}} |z|}~ y ~ }} { ~y~ ~

yyy y | y~z|y ~{ | ~~ y y ~

|z| £| ¬ y~z y~z|y | y

zz~}

{ y ~{ ¨ |

{ y ~~~ y

z ~z

z~|y | |}}y y

zz~ y ~ y~z|y ¸

y{ ~ |~z y ||} y y

{ ~ ~ |

{

y ~ |} ~ yy~¬ OP|z|}~ y { ~y~

~ ~{ | |z~ y~z~

|~Q¬ ~ ¿

y ~~z y ||z yy

¡ ½~{ |} ¡z| ¾ |~ ¿ | z}~

£R S I S5 ¨ ~z~ R | z|{ { |z ½ | ~ y y

z|y £~ }|

|~ ~~z|~ ~ z|{ { |z¨

yz { y}~

}~| 5 | ~ y ~ z

}~ ¯³´¶²±²³´£I ¨ T

| I T | I ¡ y}

y | {

}~ y { y}~

}~¬

| I ¸ ~ ½ ~{ |} ¡z| ¾ |~ £½ ¡ ¾ ¨

y z

}~ | z~ y

zz~} ~ y y ~~ ~

|{ ~ { y}~

}~ y z~| y ~~ ~~z|} z

}~ |

zyz~ {

}|~y

} y | y}

y ¸ y z

}~

(3)

~z{

À ~ y~z | º²¼ ½ ¡¾ ~z~ z~~|~} ~|}~

z

}~ }} ~~

|}} ~ z~¬ | y}~

y |

z~ ~~

|} ~ ~

y

À ~

| ½ ¡¾ ~zz~|y y ~|y

|}}y

y ~|} y

zz~ |{

¸

~} | |~ ²´/± y | |~ ~{ | /

|y|~ y | y}

y £²´/±

*

£I ¨¨ ~z~ y{ ~

| ~| |z|}~ |

y}

y £ { | |~ |

}~ { y}~

}~¨ ¸~| | y~z|y ~{ | yzz~

y y | ~{ |} z

}~ ~z~ yy z~

}~

| y

}~ |z~ y}

y y{ y~ y z~ | y

yy y ~ y~z|y

¡ { y}~

}~ |

}~ { |~ y | |{ ~ | ~ |

| |}

~ }~ | y}

y | | y { y}~

}~¬

6 % % 6 , , %

% 6 % %

% , % , %

¡ z

}~ y{ y~ y | yy|} |z | ~

~ ~ |}|} y ~ z

}~ | y y}

y y

|~ { y}~

}~ y ~}~~ | | y ~ |~ y}

y À ~ |}} ~ z

%

Oz~

}~Q | ~

~y Oy

}~Q y |y |{

¡ z

}~ |}|}~ y | y}

y ~ y}

y

y| { y}~

}~ | | ~ yy|} |z

£

¨ y ~ z

}~ | { y}~

}~ { | ~

z~

}~ y ~ z

}~

~ ~{ | |y|~ | y}

y y |

~{ | |~¬

6

%

~z ~~z y ~ ~{ | |~ |y|~

y |

y}

y £y ~~|z | }~ { y}~

}~¨¬ ~

z~{ |z | ~ | | |z~ ~y{ y~

y ~~z|} { y}~

}~ y y z~|~ y~|}

y

zz~ y ~ { y~}

¡ z

}~ |y|~ y | y~z|y ~{ |¬

6

%

¤z~ | yyy y | y~z|y ~{ | |z~

{ |~ y «~z~ |z y ~ z

}~¬

~z ~{ | yyy | ~~ ~

z~{ y|}y | ~}~{ ~ zy{ | ~ yz | { |~

y | z~

}~ y ~ z

}~ £{ y}~

}~ y ~ ~}~~¨

~z yyy | ~~ ~ ~zy y

| ~}~{ ~ | ~ yz | { |~ y | y

}~ y ~ z

}~ £{ y}~

}~ y ~ |~¨

~z z~yy | ~~ | { ~{ ~z

£ ¨ { |~ y | z~

}~ £| z~{ y|}¨ |

|}y y | y

}~ £z~~zy¨ yyy

y~ y y| | |y y z~{ y|} y |

~}~{ ~¬ y~z yz | { ~{ ~z ~ ~~

yz £ ¨ y |

z|} |z~ ~y~ ~}~

y~ { y}~

}~ | | ~

|~ { y}~

}~

|{ }~¬ ® ® ~~ | £®S

'

S#¨ z~

}~

| £® S

'

S# ¨ y

}~ y ~ z

}~

¤z~yy y| z~}|y|} y~z|yz

£ ¨ |z~ ~y~ | yy

~ { y}~

}~

yzz~y y ~ |z|}~ ~}~~ |

z~|~ | |}z~| ~z~

|{ }~¬ ® ~~ |

# £® S

'

S#¨ £® S

' S #¨

¥y y}}y ~ ~zz~|y y ~ ~{ |}

{ |~z

}~ | z~ y

zz~} ~ ~ |z~ ~

|}~ yy | y yÆ y z~

}~

{ y}~

}~

}~ y y | y ~ |{ ~ { y}~

}~ |

z~| {

}|~y

}¬ ~~ y}}y y

z ~zz~|

y ~|}~ y~z|y ~{ | y y { y

~ |{ ~ |z|}~ | z~| |z|}}~}

y }|z ~zz~|y }~

y

~z || ~ ¦ ~{ ~ |{ }~

~ |}|y y~z|y ´²± /±µ { |~

y | ~{ |} z

}~ y z~

}~¬

+<'<1-<+ < <-<

+(< <-<+ < <

- ~ |~ ~{ | |~ y|~ |~z ~ |}

|y y ~ y~z|y ~ |{ ~ y}

y z~~~

|y~ ~ z

}~ |y|~ y ~ y~z|y ~{ |

3 º4 5 .°/±/ | ~ y}}y y

}~ £y z~

}~¨¬

+ !<* + , '-<+ 9<& 9-

- ~ z

}~ yzz~y y ~ y~z|y 3 ³# >» >»

£z

}~ yzz~y y 3 ³# ?³"´ >» ~z { }|z¨

| ~ y}}y yy »³/ | z~{ ~¬

+ < <-<

+ !<* + , '-<+ !<& --<

+<'<-<+ < <

-| | y~

~~¬

+ < <-<

+<'< G 1-<+(< < -<

+ < <-<

+ !<* + , '-<+ !<& -

Â

w w

À ~ ~~ y | ®¯°±²³´ µ ³¶· |{ ~} | | y

|z|} ~ ~

| ~|y y

{ ~ |

!"# "# $%&' (%))%*"&

+

!' ,!'- ",

)#'

&

+

",# *!'.' ,%&$"/

+"%&# ,

& %&)0

' #

++

'$ %& +!' )%,

) - %)',1)'# "&2%)2'$ "&

(4)

| { y~}

~ ~ ~

y { y~} ~~ y ~ ~{ |

~z~ | z~z~~ ~

y} y ~ |}|

y y ~ z

}~ y ~ y~z|y|} ~{ | xyz ~

~z |~ ~{ | / | |z| ~ ~

y z~~ | ~

yz

~ ~ y}}y |¬

~ zyy y~ y

~ z y~z|y |}~ ~ |}|y y

~z|y y

| z~yy

zy{ ~~z y~ ~z~ | ~ ~~z|} «~z~ |

}|}~ y~z|y ~ £y~ ~ ~ y |}} ~

~|}~ y~z|y y | y~¨ ~~ y

~ y ~~z{ { y ~ y~ y ~ y~z|

y ~ yÆ | z| yzz~y

y ~ |}|y y | zy

y ~|}~ y~z|

y | y

} ~ |}~ y

yÆ |

|~ ~ ½ ¡ ¾ { y~} ¿

¸ yz~z y |}}y ~ ~|y y ~ }y y

z

| { ~|}|

|~ ~ zy

~ ~

~|y y ~ ~ ~

y z~~¬

& 7 , #'

6 ,

#'

* 6

~z |~ ~{ | { |~ y | ~ ~

y z~~

~ zy~z~ ~ ~{ |} ~zz~|y

{ y~ | yz ~~z y~ }|~} £/S/.¨ ~z~ /

| |~ | /. | ~

~~ y y~z|y ~¬

|}}y~z|y ~ ~ ~}y y ~ ~

~~

/. {

~ ~|}~ y /

|}}y~z|y ~ ~ ~}y y ~ ~

~~

/. {

| y ~ |~ ~{ | y /

|~

~| ~ { ~{ ~z y ~ ~

~~ /. {

y

| y~z|y | | y

z £| y

yÆ¨

yz ~~z / | |z £/S/.¨ }|~} y y~ y ~

}z~ y ~ y~ }|~}~ £/S/.¨ ~z~ {

y} ~ yyy y |}} ~ y~z|y |

}~ y z~| | y~ £~

~~ z

z~ ~}

y } y~ | y~z|y ~¨

ÈÉ ÏËÓØ ËÌ Ð × ÌÐÖÖÓÔ ÔÎÍ ÓØ

×ÌË× ÐÌÕÓÐÖ

¸ yz~z y ~ |}~ y z~|y y |{ zy~z~

}~ ~|}y | |z|y ~ yzzy | ~ y

z

zy{ ~ © }y ¦~~ £|{ ~} O|

yy }} ~~

|}} y

zQ¨ yz |~ £|{ ~}

O| | ~~z |~Q¨ zy~z~ | ~ ~

z~~ zy z~|~ £| ~ y~ ~ y~z|

¨ | © yz

|~ y

y ~~z

y~z|y ~{ | ¤zy~z~ |~ | ~{ |} ~z

z~|y | ~}} y | ~ | ||}~ ~z z

y ~ ~ ~

y { y~}

» °´·// . { ~| | ~~~z » z

~

z

~ ~ ~

y

z~} . }} ~y{ ~ z

~ yz » y

~ y y} ¸ |z

}|z y ~ z~~¬ »

z

~ y y{ ~ y~ ~ y ~z }z~ ~~z

. }} ~ z

~ yz }} » y}

~ { ~| y » ´/°¼/ . | ~ » ~

y{ ~ z

~ | ~~

|}} . }} y} | ~yz~

| { y{ ~ » }} |} | » z

~

y | y~ . }} ~~

|}} y} y | y~ |}}

z~~ | ~yz~ | { y{ ~ » |} y

|}} ~ ~ y~

~ y~z yz

|z~

|z~ ~~ | { }|z | £

z~z

~|} ¨

| zy

~ ~ { ~| y ~~ }y z~

|~ y ~ { y~} ~ | z~|y | ~~ ~

|{ zy~z~ y ~ |z| y

zz~ ~z

z~|y y ~|y

ÈÇ ÊËÌÍ ÎÏ ÎÔÎÏ ÖÓÖ Ë Õ Ð ÏÓÕ Ö ÖÕÐÍ

¸ y y}~ y zy

~ | ~z |{ z~

z~{ ~ y ~ ¦ ~{ ~ ~} y ~ y

z

~~ y ~ ~{ |} ~ ~

y { y~}

¬

¶³³¼ ³»´ /±º± /±³»»¶

¬ £±S ¨ ¼.°/±/ »³/²±²³´

¶³³¼ ¯·³/¶ ¶³³¼ ³»´

!¬ £¼S ¨ ¼.°/±/ ¼ »³/²±²³´

¶²¼¯±²³´ °» /±º± µ ³#²´$ ¶³³¼

¯·³/¶ »³/²±²³´ ¼

~ z ~yz~{ |~ | ~~z { y{ ~ ~

yyz y~ | y} ~ } y~ ~

~y y~ ~

z~ | ~ ~ } |zz~ y | Æyyz

~z~ z~

~ |z~ z~~ y~ yyz ~ z

y~ { ~| | ~ ~ } { y

| ~z~

|z~ z~

~ |y~ yy }} ~~

|}} |

~{ |zz | ~ z~

~~ Æyyz

À ~ y zy~ £~ y~z y ~yz~{

| ~ zy~ | { }|z |¨

"# # ¬ ¸ » . £ ~z~ »

£±S ¨ ¼.°/±/ »³/²±²³´ ¶³³¼ ¯·³/¶

| . ¶³³¼ ³»´¨ {

~ |} z » .

| y y} £~~ ~ yz{ |}|y¨ | { ~| |

yz ~~z ~|}~ y~z|y ~ y ~ y}

y y

| { y}~ }~ £¼.°/±/S

*

(5)

' '

~ |}|y }~| y | |~ ~z~ ~~z

{ y}~

}~ £¶³³¼S? HH5 S ³»´¨ z~~ yz ~ z~

y

{ y}~

}~ }} ~ y}

y £ ~

}~

yz{ |}|y y y

z ~ ~

y { y~}¨

½ y~z y

z ~|y ~ y~ | ~

y} ~|}~ y~z|y y | |~ |~ y

| y~ { y}~

}~ |z~ 3 º4 ¼.°/±/ £| y}

| ~ z~

~ { y}~

}~ y

{ y ~ }

|~¨ | H»´ ? ³³¼ | ~ |} y~ ~ } yyz

~~ » . y}

y zy~ » . y ~~|z y ~

z~

| ~ | |~ ~z~ »

. y} ~z~ | ~

|}~ y~z|y ~ |}|}~ }~| y | |~

. y} ¸ y

z ~|y

| ~

y{ y~ y ~ y~z|y H»´ ?³³¼ | y{ ~ £yz

y~¨ 3 º4 5 .°/±/ y{ }~~ ~ zyy

Â

Ã w Ä w

¡ yz{ |} z~

z~{ ~ y

{ ~ y

} zy~ | z~

~ | zyzy

~zy y | ~{ ~ ~~}

y~ ¸ |{ y ~~ |z| zy~z~ y ~

~{ ~z "¹º± ~ ~{ | y y | y

¹³" y y y ~ ~

|}~ ~|

~ |}}y

y ~}|z~ y y{

|}~ ~~ }~ ~ ~ yz

y y{

|}~

y | y ~ z~ zy~z~

| y~z|y y ~{

y ~~z y~ ~z|}~ y |~ | zyy~

y ~ ~{ | ~ ~~ | y~ |{

zy~z~ | ~ z~} ~~ ~~z ~ ~

~z yz ~~ ~

y{ ~z ~ ~

~ y º´²µ º

±²³´ | ~~ zy

~ yz~z y y~zy{ ~ ~

} y y| | zyy~ zy{ | y ~ ~

|}~

~|y }|

|~ }~ ~~z|} |zy|~ |~

~~

~ y |{ |~ | ~|y

«~z

~ { ~yy}y~ | }|

|~ | yz z~~ |

~ y

¡}} ~ zyy~ y}

y |~ y

|}|~ ~}|z|~~ ~z

~¢ ~ ~ ~~

| ~ | y y} | ~ ~

|}~ yz{ y | ~z

}~~} ~|y

|}y | z~|y|} ~¢ ~

~ ~

y y ~ ~ ~|y A

À ~ zyy~ ~z~ | { ~y yz ~ z

~ |{ |

y y ~|y y

{ ~ z~ z|

}| ~{ y zyz|{ z~ ~ yyz|y

}|

|~ |z~ ¤zy}y | ~ ~y y ¤zy}y

yz yz |z|}}~}{

N

z |zy| y y z~ ~ yz|} ~

|y y y| | { yz~ zy~

z|} ~zy z~}

z|}||}~ yz ~ ~

|}~ ~~z|~|~ }|

~

|

~z~ À ~ ~~ |

~ y ~

|y {

~ z~~ ~yz~ ~ |{ |y zy~

|zz~ y ~ z|}|y zy{ | z~~ ~

y

z~ z|}|yz zy

~ | yzz~ z

~

zyz|{ |z~ ¤zy}y ~ y~ y|~

|}} y{ }~ ~ ¤ y{ }~z | ~ ~

~ y~z

| ~yz y yz|y

ÈÉ ËËÌ ÓÔÎÕÓËÔ ÎÔÒÎÐ

|z~ ¤zy}y | yyz|y }|

|~ |~ y

~ y{ |y y ~ |z~ |||~ yyz|y

{ y~} £| ¦|¨ }y zyz|{ { y{

£| ¤zy}y¨

¡ ¤ zyz|{ y y | ~ y { y

}~ |}}~

±¹³¼²/ | ²´²±²º· $³º· | | yyz|y { ~

{

|}}~ ±°»· /»º¯ yz ·º¯4³º¼¶ ~ }|y|z

| {

}~ y }y|}

}~ £¤zy}y |y{ ¨ ~

|} y~ y ~ }|y|z ~~ ~ ~|}

y|} ±°»· /»º¯ }~ ²´²±²º· $³º·~~ y{ ~ |~

|z~ ~

}~ |~ £ ~ |}y |}} ~{ O|~

}~Q ~ ~ |z~ |z y ~

}~ |~¨¬

¡ |~ z~z~~ | zy~ ~ ~

| O~

yzQ | |~ ~

}~ |~ yz z~|

y

{ zy

}~ ¡ ±¹³¼ | ¤zy}y

zyz|{ ~ ~~ { ~|{ yz yyz|y

zy

~

}~ |~

| ~yz y{ y~ y | ~ y »º±±¼´/ | |

4´³"·¶$ º/ ||}} | ~yz }yy | y}}y ¬

!"# $$

%

! & & !'

(

'

(

) *

~ ~yz |{ ~ |

yz ~zy yz { yz~ |z

{ ~ +, |z~ }y |z|}~ y y~z |}}

~ |~z ¡ |~z | ~ y}}y yz{ ¬

!)!) !)

-*)" .

.

!

~ ²´ $°º¼¶ | ~ ¼º¶ $°º¼¶ |z~ ~|}

|~ z

y

| {

}~ y

}~ ~ }|y|z

y~ y|~ ~

|z ~ y y |

|~z y| z~|~ ~~ ~ y}~~

|~ y ~ ~yz ~{ ||}}~| |~z y

y y y{ y~ |{ ~ »¼º¯±²#º±²³´ | »³/±º¯

±²#º±²³´ ~ yz{ ~z ~~ | ||y yy

y y z~| |yz ~}~ y{ ~

}~ zy{

~ }|y|z ~ }|~z y y | ¤zy}y y|}

£³¶¨ | y {

}~ y

}~¬ y~ y ~ |~ y

(6)

y |}

z~ £ º²·°¼ /±¨

¸|}} ~~z |~z y | ~yz ~ |{ ~ y

~ ~ ||} y y

|z ¸ |

|z

|~ ~ yzz~y y ~|}

|~ |

}~ |z~ |~ y ~ }|y|z ¸ ~~z|} |~z

| ~z z~||y y~ y~~z{ |}}

y~ | ~ ~

~

ÈÇ ÔÓÍ ÎÕÓÔ Ö× ÐØÓÙ ØÎÕÓËÔÖ ÓÕ

N~z|y ~{ | y y | ~ y z~yy

~ ~ ~ y |} |~ y ~ ~{ y

y}~ y |}

| y~z|y | |

~ y yyy ~~ ~ ~ y |~ |

| ~ z~|~ |~z ~ |}|y y ~ y~z|y

~}

½ y~} ~ ½~{ |} ~{ | yz |

y~z|y ~|}~ ~

zz~ |~ y ~ ~{

|~ z~yy | y £yz { yz~¨ y~z|y

| y

z ~ |z~ ~|}~ | ~ |{ ~ { ~ |

y yÆ ~ z|}|y y | ~|y y

| y

zz~ }|

|~ ~{ |} ~{ | £}~

¤ ¨ | ~ { { ~|~ ~«~ y |

z | { |

y~z|}~ ~ y

zz~ |z|~z y ~ ~{

~ ~~

¸ yz~z y { } z|}|y ~ |~ z~z~

y |

{ ~z y |{ }~ yz

£~ |}} ~}

~}~{ ~|z ~ z~

} y|y¨ ~ }{ |y

~ |~ zy

~ y~z ~ |

~ y |z|}~

yz{ y z~|~ |

|} y y{ ~

|~z

¥y z~zy |z~ { y~ y ~{ | yz

y

| y~y

~ | ~ ~~ ~} |¬ »¼¶ ´²± ~ £|

'

~ ¨ $²#´ /±/±¼°¯±°¼¶ ±» £~~ ~

{ ~z|

~}~{ ~¨ |} ±» ¯³´/±¼°¯±³¼/ £|

* |~

T¨

yz /¯¹µ º ±»

P|z|}~ ~ ~}|z|~ |z y | ~{ | {

~ ~~ |

*

| yz ~

y |y~z ~ ª ~|

~

~ |z~ { |~ y ¤

}~ | ~ }} ~~ }|~z

~|} |~y {

~ | y y |z|}~ ¸ ~

~ y |

£y

¨ |z|}~ ~~ |

*

~ yzz~y z~|~ {

~ z|}|~

|y~z |z|}~ y ~ ª ~ ~|}}

|~ |

y~ }~y ~ {

~ ~

|} y ~ yz|} |z

|}~

¥y |}} ~ z~|~ |z~ ~| y |{ |~ ¸ ~

z~|~ |z y | ~{ | y}~ y

~ y}

| }y|}y~z|yz }~

| ~

~ y

y

{ ~{ ~z ~ £{ yz~ ~|} ¨

~ yz~z y ~ z~|~ { yz| | Æ

~~ ~ ¤ zyz|{ y|~ zy{ ~ |{ |y

N~ { | |~y y ~~ z~|~ y

z|{ y~ y ~|}

|~ y zy

~z{

y~~z zy~z~ | ~ ~~

y |

{ ||}~ z~|~ | ~ ||} z~zy |z~

y |}~y}

~z ~~ z

{ |~ y~z }y

|} y~z|yz £~ @¨ yz ~

~z|}

|~z |z~

|}}y ~ ¡}y

~~ z~|~ |z~ ~ ~~

~ zy

~ y ~«~ y ~ z~

} |{ |y

È ÊÌËÍ ÐÏ ÕË

N~ | ~} ~|y y

{ ~ | ~~ y|~

£ { |

|} z~~{ ~ y ~ yz|} ~|y¨

~ |{ |y zy~ y

~

| z|}|yz yy}

|

y{ ||}} zy

~ | ¤ zyz|{ À ~ y

~z~ ~ ~| ~

~ y

} ~ z|}|yz

| ~{ | y ~~ | ~{ | |}

}

~

z~y ~ ~} y

{ ~ z|yz{ ~ | ¤

|~z ~| | ~{ | ~~ | ~{ | |}

}

~ z~y z|}|~ y | ~yz y| ~

|~z yzz~y y ~ { }~ ~{ |

|z~ y~z| ~ ~ z~y

| |z|}~ ~~ ~ z~|~ |z y |

~} ~{ | yzz~y y |

~ ¤

}~ ~

}|y|z y|~ y|~| ~ |{ ~ y ~

|z|}~ | ~ ~{ | ~~ ¸

|z|}~ |z~ z~{ y~ zy{ ~ }|y|z }~ y

|z|}~ |z~ |~ xyz ~| ~{ | ~ ~{

z~ y ~~z{ ~ | y

}~ y |{ ||}~ z~|~

~ } y z~yy | yyy | ~

yzz~y |y |~ y ~ |~z

È Ò ÐÌ ÓÔ ÕÐ ÎÔÓÍ ÎÕÓËÔ

~ ¤ zyz|{ y|~ zy{ ~ z|yz{ |y

zy~ | y ~ |}~ ~yz~ | ~ ~ ~

~

¸ | ~ |} |~ y ~ }|y|z | ~

|} y|} |y ~ y|~ |

y{ | z|}|y

y ~ ~|y

{

~ ~~ ~

~z

¸ ~ ~zy ~

~ ¤ zyz|{ |z~ |

y y}~ y ||~ |~

z ~ ~ ~

y¬

~ {

~ |}} ~~ ~ |} y|} ¾ yz~y~z

}~ z~z~~

|| yz ~ |{ |y {

~ |~ y ~

}~ |~ ~ |} }|y|z

N~ ~ |} y|} | ~~ ~~ | ~

}~

|~ | ~~ yyz

~} { y~~ ¤ zyz|{

|~ y ~ |z~ ¤zy}y y{ }~z zy

~

~ ~

|}~ y~ yzz~y y ~ z~

~~ |

{ |y y~ z

y | ~ yz y yz|y

Â L

À ~ ~z~ y ~ |{ |y y ~ ~|y y

(7)

z~ ~{ | y ~} | { | y{ ~ { }|

y

xyz |~ ~ y}}y ~{ | ~z~ ~ y

~z|y y { y ~ }

zy~ | ~z~

| }~| y~ ~ z~

~ |y~

zz~ yy

~ ~ } y

¥y~ y ~ |~ |~ ~~ { |~ £~ y}

y~z |z|}~ ~~ |

*

/³µ ±» | y |z

|}~¨

6

8%&)

B& , '

&<1< '

C

+& D ! E & +<& -E

1 D E & F 1 E 1 G 1 E

E D E

0

;1= : ;= E

0 ;= E

(0 ; = E

0 ;=

- ~ ~ ~ ~ |

y{ | z|}|y y ~ ~

|y |z~ ¤zy}y ~z~ ~ y~ y|~

z|}| ~ ~{ | 3 ³# >» >» z~yz~ |y~

#%

."#

!

."#

-

) )!

."#

)

!

."#

.

))

!

."#$$

.

)

."# $$

.

))!

."#$$

."#

)

!

."#

."##%

)!

."#)

~ |}

}~ |~ yz ~ ¤ zyz|{ y

|~ zy{ ~ ´²±/±µ ² ± ~{ | ~~ ~

~|y y

{ ~ ¸ | ~ { y~ y | |

|z

}|z

~z y ~ |{ |~

¸ ~ y}}y ~ |{ }~ ~

y ~

}~ |~

| ~ y

}~ z~z~~ | ~

~~ y ~z~ z~

~ yz ~ } ¡}y | }~| | |~ | y ~

||~ ~ |} y|}¬

."#

)

!

."#

."#)

)!

."#

! !

!

~

z~ £¨ z~yz~ ~ z~

} y ~ |{ |y y

~ ~{ yz ~ |y~ ~

~~ y ~z~ z~

~

~ |} |~ y ~ }

z|~ ~} ~ ~~z y ~

| ~|

y ~ y

} |{ | ~ |~ y ~ ~{

| |~ y ~~

}} ~ }yz~ yz y yzz~ | {

zy~z ~|yz

~ y { |~ ~ ~|y

~ |z £|¨ y ~

z~ y yz ~ |{ }~ ~

|{ |y z~yz ~ Oyz~Q y }

~ ~

3 ³# >» >» | 3 ³# ? ³"´ >» ~{ | ~ ~

y~z ~

y } yyz¬

!

.!#

! !

!

.!#

! .!#

.!#

!

)

(

.!# .!#

.

. )! .

. )!

*

~ |y~ z|~ y | | } | { y~ y |

~ Æyyz y | | z~

~ "²±¹³°± ¯·³/²´$ ²±/ ¶³³¼

{ yz~y~z~ z~

~ |z~ ~}~~ ~ I·³/ ? ³³¼

~{ |z~

~ yz Æyyz z~{ | |{ y ~ ~

z~

~ } | ~z~ ~

~ | ~|y | ~ |zz~ y

«~z~ ~ |~ | |z~ |~ y | |z

}|z

y|} z~

z~{ ~ | y~z ~ z~

}

|{ |y ¡

~

} |~ y | ~

y|} z~

z~{ ~ ~~ y |}

y}

|}} |~ y |

y|} z~

z~{ ~ |z~ ~~

||} ~{ yz|~ ~ { | ||

|~ y ~ |{ |y |z~ ~z{ y |~}~z| ~

|}|y y ~ ~|y z~~ y ~

~z

z~

z~{ ~ | z~| ~ ~z~~ y z

y ~

~~z ~ ~{ ~

} ¡ z~

} | ~|z}

~~y y ~zzyz | ~ |y{ }~ | ~~}

y{ ~ { ~ | z~

y~z|}} y

w

À ~ yz{ |} z~

z~{ ~ ~|y ~ z

|~ | y |z~ ~~}y{ ~ zy~ |~ y yz

{ |} { ~y ~ y} y ||} | ~

z~}~| zy~z~ y z~

z~{ ~ £}

~

{ }~{ ~|}~ ~

|} zy~z¨ ~|z} ~

zy~ |y y |zz y} { |~ y~z ~ ~

(8)

y ~|y |{ ¬ ~ z y~ |z|

| |}~ y ~|} }y|} ~|yz|} y{ y~

~z~| ~ ~y yz~~ y«~z | z| zyy

~ yz ~

y ~{ ~|yz

y{ ~ ~

~ |~ ~ { | y~}~ y y

z |zy| |z~

~ zy

y y | ~{ |} ~{ | y ||}~

y~z|y|} zy~z~ y z~|~ ~{ | ~

~z|y y |z|}}~}{ y ~ zyy }|

|~

y } y

zz~ ~|yz

N

z yz | ~ }y~} y{ |z~ ~ y~ ~

y~ ~ }| |~z ~ { | «~z~~

| y

z { ~y |{ }~|z} | ~ z~

z~{ ~ ~

|y y

{ ~ ~z~| ~{ { ~z~z | ||z~}

{ yz~ ~z~~ ~ À ~ ~}~~ { yz|

y }~|z}

z~

z~{ ~ ~|y zy{

~ ~|y | y zy

~ |

{ ~y | yy} yz ~ ||}~ | ~z

|y y ~ z~

z~{ ~ ~|y y

{ ~

~ y|y | yy} ~z~ ~z~ |~ ~~

~

y

z

~zz|

|~ y

z~ y y |z~ ~~~z

~~z|}

~ zy ~ ~ { | yz yzy{ y

z

~z |~ y

y~z ~ y{ }~z yy}¬ }|

yz yz z~{ ~|} ~

¡y~z |~

~ |z~ ~| ~ yz{ |} z~}|y ~~~

~ y~z|y|} ~{ | | ~ yz|} ~}|z|~

~{ | À ~ |z~

yzz~~ | y{ }~~

~ y y

z ~{ | z~~ y ~ yz|} y~

| ~ y} y ~ ~ ~~z y~z|~ £~ ~}

y|y¨ yz ¤ }|

|~

¤|z|}

yz yz yz

| zy~ ~ ½ y{ { y y

zy~| ©y

~z ¤¸ ¤zyz|{ { ~ M | ~~|z ¤zy ~

§ ¤zy~y O¸~~z| ~} y |z~Q

w

!"

#$%#$ &#$' (#

!)*

* $

+

, - $./0 $0 1

WX[i 23V^ 4XU_SWSU[S

XU 5XZUY\VTXU X_ 6X_Vm\WS 7S[^UX`Xda \UY 7^SXWSVTo

[\` 4X]fZVSW 6[TSU[S

0 '8 9:; <

S[VZWS = XVSb

TU 4X]fZVSW 6[TSU[S 0

" .

*

;:>?@0 .80 ,$0

@@A !"$.BC8.0 8$

: D

)

D 8 - ( $#8 E

* #

F # $

7^SXWSVT[\` 4X]fZVSW 6[TSU[S

0 @;G:?>:HI0

@@:

J K -

*

(# LM#E8

! $#

*

+

, K KN 880$

* 0 1

WX[i

OV^ g PbSWb RXWrb^Xf jg Pp QRk 0S

*

"*

$ (B

" $.0

" .

*

IA>::0 (E$.0 @@H

!" $.B

*

D

!

$ U E/#B

+

G UE/#BU $ LMB

*

$

+ ,

5XW]\` V Sb[WTfVTXU 7S[^UTtZSb j5 WX 7Y

O

Qk0 ".* :I>:@; Z BN880 @I@

A ($##$0 ($#$$0 S [ B

8 &\$

*

8 T

*

$. , 1

WX[i ]V^

^UVi 4XU_i XU 6X_Vm\WS YUdTUSSWTUd \UY _ UXm `SYdS

YUdTUSSWTUd 0

" .

*

:J>J90 &#'$880

F

)

80 @@A

8.

!)*

* ,

* $

; ($#$$0

!

($ 0 (

F

*

#8 L.$$.

8 \$*G 8)*$* *$.

+

#

*

-# $#8 &

"

` (

! B;0 T$B

"

$ $

!

#$[ 88a, [$0 `$'

* $b $

8.0 ,8

) 0 @@;

? ($#$$

F

D

*"

$ &8

*

($B

$ .$# .

*

4X]fZVSW <

\UdZ\dSb 0 c

""

d0 @@;

I L'

*

!" #$

)

$. C$

)

$. (#

!)* B

* `

* $.

+

,

F

0 - T'$0

F ZB

8$0 $*0 1WX[i 5p Y eQR ^UYZbVWT\` fSUSh Vb X_

5XW]\`p SV^XYb0'8 I?J <S[VZWS = XVSb TU 4X]o

fZVSW 6[TSU[S 0

" .

*

J;;>JI9

!"

$.BC8.0 8$0

@@H

@ , N

)

*

( K

*

!"

#$%#$

*

c#

* B

*$8)d M#E8 ^YY 6X_Vm\WS YUdTUSSWTUd gXZWU\`0

Hc;dGJJ9>JJI0 Z'E @I@

9 h N + Z*G 8 F ,.$. $

Z

* $

+

, 1

WX[i ]V^ ^UVi 4XU_i XU 6X_Vm\WS YUo

dTUSSWTUd \UY _ UXm`SYdS YUdTUSSWTUd 0

" .

*

?J>I90

&#'$880

F

)

80 @@A 8.

!)*

* ,

* $B

& -

*

$. 8

!"

#$%#$

* TB

# T

*

$. L

*

^YYY 7W\Ub\[VTXUb XU 6X_Vm\WS

YUdTUSSWTUd0 cdGJ:>HJ0 K) @IA

: T &$#

* 0

!

0 - U aF 88

)

!"

#$%#$B

E

*

-

* U#8

*

&#$'

!)*

* , 1

WX[i 2RV^

^YYY ^UVi 4XU_i XU 6X_Vm\WS YUdTUSSWTUd0".* 9A>

I0

F

8E0

*

8$0 @@:

J K !"$') PUYSWbV\UYTUd g (E$. -#* $

- $#8 (

"

!

#$# ( E$. `$'

* $

)

**0 @II

H K

!" $'

)

7^S g = XV\VTXUi i XS_SWSU[S p \UZ\`

$#BN880 : $$0 @@:

A

!

8$.0 ($#$$0 - -$. U

$ $ Z LM#E8

!"

#$%#$

* E

) 8.

^UVi gXZWU\` XU 6X_Vm\WS YUdTUSSWTUd \UY _ UXm `SYdS

YUdTUSSWTUd

0;cdGc

""