BDl, A Language of Distributed Reactive Objects

(1)

HAL Id: inria-00073336

https://hal.inria.fr/inria-00073336

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

BDl, A Language of Distributed Reactive Objects

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon

To cite this version:

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, et al.. BDl, A Language of Distributed Reactive Objects. [Research Report] RR-3353, INRIA. 1998. �inria-00073336�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

, ^{! "#} $%'&()+*, .-/#&01

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon.

N ˚ 3353

Janvier 1998

TH `EME 1

(3)

(4)

4*5+6*798;:#<=5>?>@5AB6DCFEG<F7GHJIKLCFM5>;NPO57RQS5T7'<VU@N?5TH?I)OW57%XR<YNLZ[6*<VCFCV6D\']GHJI

Z^C_6*\G]%5`4R6*>?]aJIbc6*d$6*>?<V6eOXR\%fT<V6*7'5 H Igh\GM5>;NPZ[6*7'XS7i9j

kcl$m;nho[pq rts@u"o?vxwTyPo;z{u"|u"z}m;nho@u

~}xo;z}u 9G#

r{vx S"zt o#o@l o;l o%1q vxo; p¢¡¡£ q £^*v¤o;u

(5)

=?>A@CBED-F,GBIH J oL z}}T+w @oLz}l$o oK z}x MLvONYvx ¤w*v¤oL+u"z"}P+w zo;e}o?vRQ

z}ohMP+o@ zu8SGvUTco l*v?w VBo;u} }+z}xXW9vx$¤w$v¤oZY\[]$^_RSGvxuWv w K o@ nho@Tw n

L=.u"So@ LY| ¤,S+o }`LY|$¤,S ;n N$¤Wvx$LxvMN$vxz} $¤^PTo@;zaQ-"o z}o@3S++uz}}`P w z}o@

o?vx;z}o^u|u"zo nuCb;cB$oWLz"l$oW$¢oCN z"o;ud[]A^ u{zuu}o@vxneNo@u"uz}o@¤vxz} z}

z}l$oft K$o;hg T+oCN$¤iW9vx$¤xw*v¤o#v vldY\j 5^k_bl[.]A^huw S}z}utv^ o@u";} z}

LcMP+o@ zuzo v z}xnm.l+lo@uRo;;z}uPSz}lz}l$oiLYw ;z} *vMNvxl zo;;z}w+o Lcu|uaQ

zo;n o;u"¤x$u.vx$ z"l$o o;CNvxvxz" oBu"z-|oNo#L9+Yvx¤vxn o;u} }+z}x$u8bkcl+uuw S}zu

n ,No no z}o@ZP| no@vx$uMLcv$vx}z"YvMN)Q-} o;tz}l o@}o;z}?vMN$LYvxnhoCm1pb kcl uqLYvnoRQ

mc1p vMNNrmtu z} u"So@ LY|sPRxz}l z"l$o @vxw$u}vMNz-| vx$ z"l$o ;z}}Nnh oCNu ML#P+o;;z

zo v z}x$u $ o Ro $ o z1N| Lv|el|Rxz}l$o;u"u z"l$o v z}w*v-N;,K$¤xw vxz" L

z}l$o u"|u"z}o;nhb.t#o z}l o o;u} }+z}x LGu"w$lvh@x,K$¤w vxz}S z"l$o w u}oWML'[]$^LMLuQ

L=o;u$om So;uRo;;z" o;u'L=)v5v$o yT`P,Noo;"K$@vxz} L u|Tuzo nu(P| n oCN$¤z}l$o n vu

vx vxu"|$l }$w$u{$o;z"m1p MLu"|$l+$xw$u@xnhS$o z}u8b<w zvMN`Nxmtutvx z} nhy@o;

@ o ¤o;$o vxz"sP|w$u $¤@n `NYvxz" zo@l+ uz1w$o;u o oCNSo@{L=xhu|$l x$w$u

NYvx$¤xw*v¤o;u8bqw zBRo }n zuvx`vx@;w+vxz}oWxvMN$vxz} vx$ z}o@u"zL)vx ,N@vxz}$u|P| u"w+Q

R"z}$¤^z}l$o#nvx w,NYvz}xLL/PRz"l @vxw$u}vMN%vx$P@z"N9 o Ro $ o $;o@u8b.[]A^vnhu

vxzLn vJyTnhy;$¤z"l$ooRQw$u}vMP N z-| L l ¤xlQ}No;oNuRo;;K ?vxz"$u?m.l+No nh n uy $¤

¤xvxn nh$¤Wo~Rx}zvx$Lzo;u"zaQ-?vxu}oP*vu}o;PxvMN$vz}xLL'+uz}}`P w z}o@ u"|u"z}o;nhu8b

$""x|($)"

AMr-x1%8rM1r"x83 11¡C"o¢E£-C¤C¥¡¦X§'¨7©MªI«©-¬

®

Mr-x1%8§l¯8©M¬EªI°r¯r¢r£-±²1\³(°-´IªI°r¯Rµ}¶r·r·r·

¸¹

rxºA¡RC-¡R»ox ¼"x1¥"xA1

¹

E8¦<¡R½Ex¾1¿/xC¦<¡R½Ex<ÀÁ}Âo¨I«¬Ã

Ä$Å

18¾º$¡Cr¡»o£-8r3»¡l ¼"x1¥"xÇÆEaÈ¼CÊÉ½8rlÀË$Âo¨oÌ¼Ã

(6)

@ H xw$uW }Ru}$u []A^ YV o?Nvx ¤NYvxu;Tco;l*v?xw VBo;u};" z"XW%vQ

¤w*v¤oE_[;n noLw n¢|o o u"Ss@;`K$o;8S oPs;"K$o ES. oP@xnh `No [o;z +oPxvMN o

No@uBvx ,N@vxz} $u{+uz}}`P w$s;o@uBz}o;n $uaQ_s@oN}b5Ww o@uz}v zu.No;uB,Nw unvx z1w*vxz}u o

[]A^Bo;u"z¾z1wNuzm@¤xo(LFv;`No;nho;z%$vx u%w ocvx+ l$oc+o s oN So;nho;z'}o;zsRQ

P+o;z;Nvij5^Yf{ `K$o@?g T+oCN$¤;W9vx$¤w*vx¤ox_RbWoNYv$¤1v¤oq[.]A^^u"w +R"zo{zw z

NYv L=xutw $oW+o@u} } z} o;Nzo v z}x o z"o^MP+o;z}u%z1w G}o@u"So@ zo Nvl zo@ z}w }o

L=$;z"+$oCN`NoBw u"|uzm;nho YFz}oCNNo%z1woCNNoRo w z1Q;z"o# s;;}zo#o nj5^_co z{w+ uz-|oNo

s@NYvxvxz}`L%+l$o+o;oCN w+9 o@u+Yv¤xvxn no;u s;;}xvxz.N o@utu};s;*v}uw z"Nuvxz"

o;z oh;NNvMPSvxz" Nv j5^ bco@uz"vxzuu}xz n uo;w+}ovw nhJ|o; o Nv

$z} }+o*vx}z"oN}Sz1w GSo;"no z o^+s@;"}o No;uB?vw$uvMNz}s@uBo zqN oW@xz"NoWu}vx$u

zw`Ncu"z$s@;s@u}u}vx}oL o LFvxohvxw$ w $o l|Rz"l$m@u"oLu"w NYv ;,K$¤w+vxz" l|Tuuz1w$o

+w u|Tuzm noMbzvxzc+ $s;o{w ozoNNo.@,K ¤w vz}xS7Nw z}`Nuvxz" +o[]$^W~Dot o

$w oCNNo@uRo uRo;;z}o;uSw (NYv#s }K ?vxz" ou"|u"z}m;nho@u%YF@n "u@xnhnho.w o Q

u}o;n P,No vu| l oW ou}xw$uaQ u"|u"z}m;nho@uBu|$l x$o@u _bq[]$^hRo }nho;zt o ¤s; s;o B+o@u

¤xvxn no;u z1w nho;z"zo z[o w+}oL oLn v m oo"! ?v;o No*vxvMNN sCNu"nho[w $o

u"Ss@;`K$?vz}x YFo;{LFvxu}vxzv RoN#+o@u[zo@l+ uz1w$o;u oP@n `NYvxz" w+z}Nu"s@o@u^$vx

No@uNYvx$¤v¤o@u o }¤vxnhnvxz" u"|$l }$oE_b [.]A^`So;"no zWw o v-N vxz} n `Q

w+z}o w$u}o o@uLv ,N?vxz" u^ w u1z1w`NBo s@ }zo z No;u@vxw$uv-Nz}s@uho;z No ;z}$NoMb

WP+o;;z"L oe[.]A^Lo@u"z oWnvyn u}o NYv }s;w z"Nuvz}x +o^u"Ss@ K$@vxz}$uB+oWl*vxw zaQ

o?vxw $vx u No s oCN So;nho;z vx ,N?vz}x$uW+u"z"}P+w$s@o;u o;z o n nhu}o;;No;u

oC~S}z}u{+o+¤vxn n vxz"o;z{ o#xvMN$vxz"h$s@;s@u}u}vx}o@u% No;w .}s?vMNu}vxz}b

(7)

BxD /GB

Dk@ BxFB []A^

bp Tco;l*v?xw vMN/W9v?|o 5b;bb;bb;b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb p"!

# $

XF

BGI@

[]A^ %

bp &To;nvxz}VBnvx$u bb;bb;b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb pp

b &To;nvxz};cSo;vxzxu bb;bb;b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb p

b Vu";w$u"u"x b;bbb;b;bb;bb;b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb p¢£

b Tl+| vx$ w-u}l }| b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb p¢¡

b g o?vx+$¤ L([]A^hb;b;bb;bb;b;bbb;bb;bb;b;bb;bbb;bb;b;bb;bb p

' (

*)+)-,/.1023* []$^ 542$Dk@E@6

@

%

7

@6

8 []$^

%

9 : BxD;²> B @

< kD-@23kGB>=%k@ @?

:

G5)/@6

#

(8)

kcl$o o;oCNx no ztLGTu"z"}`P w zo; u}LYz"mcvxou|Tuzo nu.utvWl+¤l,N|;n ,No y }T;o@u}uCb

w } o;z}nvx*vx¤oz}l u@n ,No y z-|v}xw$uu}LYz"mcvx}o{o $¤$o@o } ¤nho;z"l$ ul*v?o

PRo;o;[ o oCNSo@3Svx$¤$¤LY}n }o8z1w o;nho;z}uvx$ o;u" ¤ u"So@ K$@vxz}^z}o@l z1w$o@u

zo;"K$@vxz} SJv-N vxz}S@z}o@u"z" $¤Bvx$@ oc¤o $o;vxz} zNuCb

J

o'L=;w u'z}l$u}o

no z}l$ um.l+l`l*v?o[v L="n v-N/L=xw $$vxz"3bkcl$o;| vxo^o yRo;;zo;z?PSo P*vu"o@`

L=}nvMNN| +oCK $o; NYv$¤w*v¤o@u vx$ezoCN|{mcoNN`Q oCK+$o@ z}v$u1L="n vz}x$u8bz

o;u}o;z8S+z}l$oo;nho;}¤$¤ P+o;;zaQ-"o;z}o@ +u"z"}P+w zo; @n w z"$¤zo;l $N¤|[vu}o;u

$oCm zw o@u"z" uBvMPSw z|L=x}nvMN o $¤ o@o;"$¤[ o oN nho;z8b

zWz}l$o ¤xvxn nh$¤ No oCN¥SGz}l o K uzWSzz zou z"l*vxzz}l$o ou^v $o;o@

zPo yzo $ z}l o z}o;1LFv@o[ o;u};" z"nNYv$¤w*v¤o@u YNpo ]$^hL=S$_%m.z}lnPRoRQ

l*v? w vMNG }So;}z"o;u8b w zo ¼LFv;o[ o@u";} z} NYvx ¤w*v¤o;u o;u};"PSo z}l$o L=o@vxz}w }o@uL

vx PTo@;z z}l$o@n w zvxz}*vMN oCm m.z"l$w z{ }o@u}o z} ¤zhn^w lLzutzoRQ

}xEbLkcl$o | ul$w,N oK $oLv-NNuP,N ohvxu"So@;z}u8SG$vxnoN|z"l$o vx+,N?vMP,No LYw $ z}x$u

vx$`z}l$ohY_vMP u"z}v;z#_5PSo;l$v¢w z}l*vz u@ o@;z}o@ z}Pz"l$o LYw $;z" u8bhkcl uNYvxz"zo

vu"So@ z.uc$xz.|o;z|L=x}nvMNN|[ oCK o@pJ(YVo o Lz}l$o9 ]A^ Su}vMN3m.l$o o

z}l$o o#uG w$uzv NYv;o;l$N o;|L=x.z}l$o5PSo;l*v?w+t o@u";} z}$u{vx$L$ u"|zvJy_Rb

w z}l o) }o@u"o;zGuzvxz}oMLp$xm|No; ¤oMSxz}l+u o o z'nu"zL="n vMNv-N vxz} nho;z}lQ

T u(LYxn PRo $¤w$u"o@3b J o{z"lw$uvx}¤w$o|L=o yzo $+$¤z}o;1LFv@o;uÇm.z}l L=}nvMN$uRo;Q

K$@vxz}$ucML/PSo;l$v¢w u"!w .Tco l*v?w vMNVo@u} } z}ZW9vx$¤w*vx¤ou@vMNN o@h[.]A^b

Nz"l$w$¤xlhz"l$oPSo;l*v?xw vMNSvuRo;;z}uLRzo;1LFv@o;uvx}oN T@vxzo; z}z}l ovx}l z}o@;z"w v-N

o@u¤L l$vu}o#L9z"l$o# o;oCN nho;ztL%P+o;;z|P*vu"o@ +u"z}"P w+zo@ v ,N?vxz" u8S1z}l u

l*vu"o{hz"l$o+o;oN+no z) }T;o@u}u)n^w$uzÇPSo{u}o@o z}l o.LYvxnomcx¼p L v;l$o;}o;z

no z}l$ N¤|vx$ N`L=oQ- |CNon oCN#p ¥b

kcl oo no ¤$¤P+o@ z1Q }o;zo;hnho;z}l T MN¤o@uGvxot w zz}z"l$of{ `K$o@ g Q

oCN$¤?W9vx ¤w*v¤o?Y\j 5^k_SPRo;@n $¤v o LFv zLuzvx$ vx$p&%'b kcl uqNo?v+uzLxw

u}o@;$WSz'vMPSw z9z"l$o) o@o@ztzo;¤vxz}o<[]A^Bz}j5^z};z}w w$u1N| v@;n Q

*vx| z}l$o{ o oCN nho;zÇLYn uRo;;`K$?vxz"[ l$vu}o;uzn ,No;nho;zvxz" u<YK ¤w o pr_Rb

&$;o.moL=;w uc+|*vxn ?v-NDvu"So@ zu8Skmcou"zvx}zÇLYn z"l$o o?v#z}l$vxzz"l$onhuzcv-PQ

u"z}v;zNo;oNLPSo;l$v¢w u%?vPSo o@u";}`PRo;w$u$¤{u};o;*v}YNpoÇgPo@u}u}v¤o &To8z1w$o $@o

l*vx}z}u#_Rb J o%m.`NNDo; "l z}l o@u}o#u"@o *vx}ulP|Lv L=x}nvMNDu}o;nvxz}@u.v$?LFv;`Nz}o;uz

o@u";}`PRo;nhNo y ¤vxn n $¤@z}}Nu.w$u $¤ xvx"YvMP,No@u.v$ ;$+z}$u8b

(9)

Configuration

Compilation

Reverse Engineering Control Model

Verification

Coding and Test

Analysis Validation Programming Test

GenerationCode VerificationSimulation

Refinment

Design

Scenari

Interfaces

Use Cases

Deployment BDL classes

BDL objects

'¤w+o p !l[]$^ zu.o;} nho;z

(10)

cBw .$vxRo .z}}TTw$@o;utz"l$o oCK+ z" L[]$^vu{v^w `K$o@Lnho@+w n L=u"So@;)Q

LY|$¤,So;"LY|$¤S1@n N $¤Bvx$ xvMN$vxz"$¤+uz}}`P w z}o@3S1PTo@;zaQ-"o z}o@3S}o?v z}o

u"|u"z}o;nhu8blc o#L'z"l$o$¢oN z"o@u. []A^ u z}u.u}o?vneNo@u}u zo@¤xvxz" z z}l$o j5^

vx }1vlb'[.]A^^u"w +R"zuv o;u} }+z}xLRP+o;;z;n R o;zuzo v z} m.l l

o@uRo;;z}u PRxz}l z"l$o LYw $ z}*vMNvx}l z}o@;z"w ohLtu"|uzo;n o@u¤ u^vx$ z"l$o+o@CNvxvrQ

z}o^u"z-|oNo MLTYv¤vxn o@u";" z"$uCbWkcl+u#u"w+ Rx}z#un ,No no z}o@UP| nho?v$uL

vh*vx"z}Yv-N`Q-x o {z"l$o@xo;z"@vMN$LYvxnhoCm¼p bk9¤o;z"l$o;qm.z}lv N¤?vMN9$xz}x Lz"nho

vx$`v $z"ML 0 ¼!¥4- S z}l uqLYvnomc1p v-NNxmtuBz}Lu"So@ LY|UPSz"lz}l$o @vxw$uv-Nz-|

vx$ z}l o@z"NSn oCNucL9MP+o@ z.zo v z}x$u$ o;So; o;z¼N| L%v|hl|Sz"l$o@uu

z}l$o v z}w*vMN9;,K$¤xw vxz" ML'z"l$ou"|u"z}o;nhb

kcl o L=;w$uLcw vx+ 1vxl uz"l$o[*vx}z"YvMNG+o;}$¤uL)no z}l$` ?vxz" u

vxv ,N?vxz" @$uuz} ¤hLG+uz}"P w z}o@Lo@v;z"oPTo@;z}u8b<w z}l u{vx}z"CNoSmo

$z@ u"+o; z"l$o +|*vnh ;}o?vxz" LP+o;;z}u $ Q}LYw+$;z"*v-Nu|u"zo n

o8z1w o no z}u YVuw$l vxu +k¼I+9# [z"l$o;^z}o;n RxvMNo8z1w o no z}u#_Rb J o?L=T w$u

$uzo?vxL o@uzvMP,Nul $¤Wv L=}nvMN LYvxnhoCm1ph?m.l l PSz}lLo;"K$@vxz} vx$LxQ

z}n uy@vxz}LNYvx}¤oQ u}?v-No@9SP+o;;z1Q }o;zo;3S1+u"z}"P w+zo@[v ,N ?vxz" uvx}o<L=o?vuP,No

P|w$u"$¤[o yuz} ¤[z}TMNu8b

(11)

!"#$%'&()*,+-.&(/01+-(2$354-*7689#$:;<&(94-

`

w +o;z}qLYw,NKNN1z}l ocoCzw+o no zuL*uw S}z"$¤PRz"l[vB o;u} }+z}x^L$z"l$olLYw $RQ

z}x*vMNTvxl+zo;;z"w oLDvBu"|uzo;nvx$[v{ o@NYvxvxz}ocuRo;;`K$?vxz"^L z}l oczo v z}

PRo z"mco;o;[ z}u';nhS$o zu8Sxz}l$o+oCK z}^L[]A^#u"l*v-NNzo;¤vxz}o)z"l$olL=o@vxz}w }o@u'LDvx

P+o@ z1Q }o;zo;eNYv$¤w*v¤oL=xuz}"w$;z"w }$¤z"l$oBuRo;;K ?vxz"hL9PSz"lz}l o@vxw$uv-N z-|

vx$[z}l$o{@z"N*nhT oNuLRP+o;;z;n R o;zuCbkcl$o{u"|zvyL$[.]A^u;nhSu"o@

L.z"mcONv¢|o;}u8b eMP+o@ ziNYv?|o o@u";"PSo@uWz"l$oLu"z"}w$ z}w }oLL{v u"|uzo;n evUmcv?|

vMp z}Lvx j5^ +o@u" ¤b `v z}UNv¢|o;B o@u";}`PRo;uBz}l oz}o;vx;z} MLo?vlMPQ

o@;z^@n Rx$o;z m.z}l zuWo +no z8b`kcl$oL oK z" L%[]A^CNvu}u"o@uCSv}v?|u

vx$ MP+o@ zu v-NNxmtu^z"l$oP}o;w$u"o Lv;z" u"So@ K$@vxz}$u LYn z}l$oP o@u¤ LBz"l$o

u"|u"z}o;n LYw $ z}x*vMNvx}l z}o@ z}w }o[z z}l*vxzMLcz}uv;z"w*vMN o ,N¢|nho;zeYV+no $u"

vx$ +uz}"P w z"_) P} o;.z}[nvxz}l z"l$o@,K ¤w vz}x Lv zv¤o ztu"|u"z}o;nhb

CNvu}u

!" z-|Ro;

$#"%&('*)"*

o yTo@

,+.-/('10"2 zo nhNYvxz}o

3 4 ;n R o;z

65.-87 $u"zvx$;o

:9

<;>=@?A('

S"z

CB

PSo;l$v¢w

'¤w o ! *x}nvMNRu|zvyPLÇ[]A^hNYvu"u}o;u

u j 5^Svu}o z L o;z"K$o u - u[vu}uw no; z}`$vxnoLNYvu"u}o;u SMP+o@ zu

D

S$z-|Ro;u

'

S*S}z}u

?

SDu"|n PSN @$uzvxz}u

% b cnhSw o z}K o;u@ u"uz}$¤

LCNvu}ut*vxnho@u SDP+o;;z*vxnho@u D SDvx}v¢| }oCL=o;}o;$;o@u $#"%E) S* }o;So;$ o; z o;Q

z}K o;u - vxo vu"u"w nho@ vu%moCN`N}b kcl$ohvx}l z}o@;z"w v-Nvx$ o@NYvxvxz}o Nv¢|o;}u ML)z"l$o

L=}nvMNTu"|zvy[ML[.]A^ u oCK+$o@[ z"l$o<K$¤w }o z¤o z}l$o ¾m. z"l[zuÇj 5^¤vx l ?vMN

o;+o@u"o;zvz}xS K ¤w ob.kcl oW o;u};" z" Lv u"|u"z}o;n @x$u"u"zuLuz}"w$;z"w o;u !

CNYvxu}u}o;u#vx$MP+o@ zu8bNYvu"u @$uuzuLv+o@CNvxvz}x Su}uP,N| o@uz}";z}o@

z vx zo ¼LFv;oL'z-|So S+.*vxvxno zo }uy;o@ P|Pv^zo;n ,NvxzoB o;z"K$o - L%z-|So

' W$ o yTo@XP|evx+o;z}`K$o; - Ltz-|Ro ' b P+o;;z D u vx oCNo;nho;z Lv

CNYvxu}u b +o@CNvxvz}x uo z"l$o;z"l$o oK z"`MLcv ;n R o;z Sv?PRxw $

CNYvxu}u 65F-G7 ML#v zo nh,NvxzoLNYvu"u m.z"l z"l$oL*vxvxno zo - SvR"z ? o@;o;$¤

no;u}uvx¤o@uL)z-|Ro ' v vx;z}

B b Tcxz}l`$z"$u#ML H=I=J;FKMLH=ON v$QP NR=JS8T

j 5^@x}o;u"S$ z z}l o z}PL

9

<;>= O[]A^b

(12)

C D

O:C

class C is D object O of C

/

C

class C of C is D

Interface

<< >>

C /

D

1 1◆

C

V:T

C I:T D D

class C(I:T) is D class C[V:T] is D

S C<I>

class C is S C<I>

C

port X:T class C is A

S A

C

'¤w }o !lj 5^h$xzvxz" L=%[.]A^

(13)

!"#$%'&()*,+-.&(/01+-(2$354-*7689#$:;<&(94-

Pv z}x

B uco;z}l$o .vxvMNw*vxz" ? + % 0 YF¥boMbcxvMNw$o % u+o@u"o;z{vxzS"z ?! _RS

z}l$o?vxw uvMNz-| uRo;;K ?vxz" ? + % 0#" $ +&% 0 YF}bob ? +(% 0 uLz}l o @vxw$u}oL

$6+&% 0' _z"l$o+u= w $ z}x(

B

<;

B Lvx;z} $uY=$Q o;z}o;}n +u"z"l ;ox_S z"l$o

v;z" xvxz})+*

B

ML vxv z}eYF}bob,L+;w }u}o

B

_SJz}l o)u|$l x$w$u%@n Su"z}x

B.-6B

/ Lvx;z}$uCbw nho;vzo@e;nhSuz}evx +u= w $;z" vo?m.}z}z}o;

M8% ('

B

vx 10,2 %&(' B b

B

>4 v;z"

? + % 0 v-Nw*vxz"

? + % 03" $6+4% 0

?vxw$u}vMNz-|

*B

v;z"xvxz}

B ; B +u= w $;z"

B5- B @n Ru"z"

60,2 %&('

B

+u= w $;z"

MG% ('

B

@n Ru"z"

' ¤w }o !l[]A^hv;z"$u

B

/

V:T V:T

/

X(V) X(V) Y(W) A A

A A A

A A

!

any V:T A all V:T A A || A’

!A

X(V)->Y(W)

X(V) A or A’

%¤w }o !Çtvx l+?v-Nu"|zvy L=x%[]A^vx;z}$u

B

(14)

E

`

kcl$onho?vx $¤ ML{vd[]A^ ¤vxn uW oK $o@z"l*vx,pu^z v z}"w$oQ @$ w }}o;$ |u}oRQ

n vxz"@u' m.l l LFvxn No@u%LS+}o@ zo@iNvMPRoNo; ¤vx+l$u o@u";}`PRo.z"l$ot?vxw$u}vMN$ o Ro Q

o;$ o;u%YF+oQ +o;c}oCNvxz}$u#_APSo;z"mo@o o;o zu<L=o?vlRu"u"`P,NoPRo l*v?w L z"l$o

¤xvxn YFu}o@ z} bpr_bkcl$o;}o#vxotz}l+o@op$ uL o }z"@o;u !vu"u};vxz}ML xvMNw$o;u

zS}z}u8SRv;z" xvxz}$uzo }n *vxz" utvx$ xvMNw o *vxu}u"$¤ z}l+w$¤xl u8b cn Ru"`Q

z}xLSo;vz}u5YVu"o@;z"Pb _) LFvxn No@u)L9+o@ zo;P¤xvx l utvxoBz"l$o; z"+w$;o@

zB}oCv$o;;zz}o;vxz} vx u"|$l }$w$uvu| l w$u*vxv-NNoN@n Ru"z"WL3[]$^

zo;"nu"!

01R #4- ¼!" !¥4-

Y=Yv +$u _)@x}o;u"S$ uzW}o;So;z}z}ov;z"xvxz}$uL

P+o@ zueYFzo;vxz} _Rbew}LcP+o@ zuWvxo z}o;}+o;z}o@ vuu"o;z}uWLc@$uz}vxzuCS%z"l$o M

k0#4-94-*I #44x !¥4- Lcz"m MP+o@ zuu#z}l$o @x w $ z}x Lz}l$o @x}o;u"S$+$¤

u}o;z}uL*@x$u"z"vx z}u8b % - k0 4-94-*o #44x !¥4- uGvmco@vMpo *vxvMNNoCN@n Su"z}x

m.l l zu$xz)Su"u"PNo.zzo;u"zÇL=z}l$ovMP$u"o;$;oBLSR"z)T;;w "o; @ob(w zov$o@ zu

vu"|$l }$w u{;n n^w ?vxz" v^+o@CNvxvz}oBu"o;z}z"$¤b '*v-NN|Sv^+u";w$u"u"

+k4 k0#4- YVu}o;;z" b _ }¢ o@ucu}nho{ z}w z}o. $u¤lzz"l$oB o;u"¤LLA[.]A^b

J oBvxo¤o; vK+ z}ou"o;z.L # o;$xz} ¤ 4-0R!² vxuc oK $o@ z}l oBu}o;;z" b

w ev + z}S$mo ;$u" o;^vhK zohu}o;z^L ! m.z}l xvMN w$o@u Q-o nh+z-| +MQ

n vx$u Y²m.}z"zo #"%$7_b ~ u m.`NNlPSoLw$u}o; z}`nh oCN uzvxz}oQ z"vx u"z" u vx$

?vx"}| v-Nw$o;ulLYn v }o?v z}x z vx z}l$o Eb~ u.vxoB o;$xzo@ P|z"l$o¤vx l ?vMN

$zvz}x$uBLz"l$o K$¤w+o Y=nh nvMN%vx$ nvynvMN $u'&)(*,+-()$ vx$/.1032()$l$N + ¤

¤o; xvMNw$o;u4{vx1P z"vx"|xvMNw$o@uCSm.} z}zo 2 4_Rb

π(ν) y(ν) π(ν)

5

&)(*,+-()$ +76 0 " 8 +76 09

8 +76 03" .032(:$ +76 0<;

π(∗ν) (∗ν) x π(∗ν)

=>?#@

&(*+-()$ + 2 6 03" 8 + 2 6 09

8 + 2 6 03" .1032(:$ + 2 6 0A

B 2 6DC

"%$ED"GF HI

J

'¤w }o !)~$u

(15)

!"#$%'&()*,+-.&(/01+-(2$354-*7689#$:;<&(94-

>kGB PTo@;z D u}o; }o@u"o;zo; P| v z1w*vT}w ,No + 9 9 9 0 m.l o;o

o;$xzo@u z}u S}z}u S z}u +$u S v LFvxnh`N| L<moCNN)Q}L="no;ONYvMPSoCNo@ T o;;z}o@

¤vx+l$u v$ vxL z"YvMND¤vx l m.l lP,N|h@xzvx u $u.ML%z"l$o%L="n .032(:$ + 4 0

m.z}l C vx$ 4 C "G$b

F )>0 ?DrF 2/@ z}o;"n C utv[To;;z}o@3S$Su}uP,N| ;|NMS ¤vx lS,m.z}l

o;"z}@o@uzvMpo;e u}nho K z}oh¤xw u}o z[Lto;o;zu[vx NYvMPSoCNuLtx$oL.z"l$o

L=}nhu !#v *v +4 0 LY=R"zES xvMNw$ox_Buw$l z"l*vxz

C vx$ 4 C "GFISx v u"}z}o@

*vx&)(*,+-()$ +4 0 .032(:$ + 4 0 L(YVu"}z8S+ S1xvMNw ox_¾m.l$o;}o C uv vx$ 4 C "G$b

43BxDXF@) =%kDxBG k@

*xo?vl C

Sz"l$otu}o zcLS u@ w }" $¤# u)+o;$z}o@

@

4 C "G$ u8bzEb &(*,+()$ + 4 0 C x.1032(:$ + 4 0 C A T)| oK z"3S b

o;}z";o@uz}l$vxz)vxotvxu}u};vxzo; m.z"l +$uvx}o o $zo; P|G&)(*,+(! @

&(*,+()$ + 4 0

C

u8bzEb

C"3A

vx .032(#

@

.032(:$

+4 0

C

uCbz8b

C A b

(

*))>, D *

8

DrF 2$$@ NvMPSoCNo;[+}o@;z}o@ ¤v lhumcoNN`Q¥L=}nho@ YFob¤,b7K$¤w+o@u

vx$ %7_cL'vx$P,N|`L/L=xw t@ +z"$utvo#uvz}uaK$o@ !

p7b $vMN`N C S ;zvx$u)vxznhu"z oto;"zo y MLSz"l$o.L=x}n + 4 0 uCbz8b 4 C "GF7b

b $%vMNN C S @zv$u%vxz9nhu"z%$o &)(*,+-()$ + 4 0 YF}o@u"3b.032(:$ + 4 0 _ uCbz8b4 C "G$b

bgP+nvMNRoNo no z}utL vxoL%z}l oL=x}n &)(*,+($ + 4 0 uCbz8b C vx 4 C "G$b

bg vynvMNRoCNo no zutL vx}o ML'z"l$o5L=}n .1032(:$

+ 4 0

u8bzEb C

vx 4 C

"G$b

$

)

BqF

FGB>=%

8

DrF 2$$@ J otvu}uw no.z"l*vxzo o;"|iLFvxn N| @zvx $uvqLFvnh`N|

LuNo z¤xvx l u&%'

@)(*+

"-,

@

&(*+-(:$ + 4 0" .032(:$ + 4 0A

C.!A b.kcl u{nhT+oCNuz"l$o

LFv;z#z"l*vxz

nv¢| L$z}l+$¤ m.z"l v @ u"+o;o;}o?v z}b kcl u¤w$vxvxz}o@o@uv

u"z}w+z}zo }$¤ P+w$u"z"$o@u"u[+So;"z-| p?'b J o?m.}zo!* /0 %1 L=z}l$o?LFvnh`N|`L

v;z" o¤vx l$u.ML b

(16)

DrF 2$ G7F@)

BxFB

@ o yzo; u"x`Lz}l oW¤vx l ?vMN9u|zvy ML¾K$¤w }o m.NN

PRo w$u"oCLYw,Nczu"w+ Rx}z[w [Tu} w$u}uex z"l$o nvxz}l$o n vz}@vMN)u}o n vxz"@u ML[.]A^b

w z}l o;K$¤xw o %S$z}l$oL=}nWw,NYv z}l$o }¤xlz{ oK $o;uz}l oLFvxn N|P+zvx$o@ZLYn z"l$o

¤vx+l ^z"l$olNoLYzEb/w zGuvBu"o;zLmoCN`N`Q¥L=}nho@ ¤v l$uAm.z}l^w +o u}vMN,z1w*vxz"K$@vxz}

L'xvx"YvMPNo@u

2 4 vx$

2

b

x(*v) y(u)

ν µ

µ z(*w)

ν(u)

(*v) ρ

π

π (*v) ρ

(*w)

=>>>>>>>>>>>>>>>>>>>>>>>>>? @

&(*,+()$ " + 2 4 09

&(*,+( + 2 4 03"

+ 2 4 09

&(*,+( +

2

0 " +

2 09

&(*,+(

" 8 + !09

+ 2 4 0 " 8 + 09

+ 2 4 0 " +

2 09

+ 2 4 0 " .032( + 2 4 09

8 + !0" +

2 09

8 + !0" .032( + !09

+

2

0 " .1032(:$ 9

+

2

0 " .1032( A

B 2 4 C "3E "GF E " 9

B

2

C "ED"

HI

IIIIIIIIIIIIIIIIIIIIIIII

J

'¤w+o% !Çtvx+lZm.z}lZz1w*vxz}`K$?vz}x$u

(17)

!"#$%'&()*,+-.&(/01+-(2$354-*7689#$:;<&(94-

&

:

G7FB"

FB

c$u" o;z"mMP+o@ zu(m. z}l[ o;z} ?vMN vx vx [}o@uRo;;z}o

¤vx+lZLFvnh`No;u vx$ b~ p C vx$ C b

t#vx l$u vx$ Tvx}otuvx [z}5PRo #4- ¼!" 8# YF o; zo; _`L v$[,N|

Lz}l o L=NNrm.$¤ ;$+z}x u#u}vxz}u1K$o; ! + 0 B C S .032()$ + 4 0C + 0

&(*+-()$ + 4 0C + 0 4 4 b

w}LG;$+ z} + 0 u.uvxz"uaK$o@3S z"l$o; z}l$o;$?vzo;$vxz} u.P+zvx$o@ P|

p7b|w- o z"LY| ¤ .032(:$ + 4 0 C + 0 vx$D&)(*,+-()$ + 4 0 C!+ 0

btk%vMp$¤ z}l o TuFxz.w PL vx$

btrto;zv $¤ z}l$o $u .1032()$ + 4 0 v$&(*,+()$ + 4 0 m.l l }o;nvxo yz}o n v-N

vMLYz}o;{u"z}o; S$vx$P+u}?v+$¤^z}l$oz"l$o;{ o@u8b

b J l$o $o;o;v u+u}?v o;3SJo@ ¤o;uGvo u}o;"zo;u"{z"l*vxzz}l oz}v$u"z}o

CNu"w+o MLz}l$o ¤v lSc}o@u"z"};zo; z u z"l*vxzLvo $zh+u"?vx} o@ u

w $l$vx$¤o;3b

kcl$o LFvxn N| ML¤xvx l u[u^@xnhSu}o;eLz"l$u"o ! u8bzEb v$ vx}o

@ ?vxz}o;*vMPNo@u"! " @ !

C 9

C

9 A b

w z}l+umv?|5mo+oCK $o !$#

%O+ 0'&

Srm.l$o;}ouw So;u";" z +(0'&

o;$xzo@u'YF,K zoE_

@w zvMP,No)@x$?vxz}o;*vz}xSvx !k |+k*)(9# '!' x ! # 4,+< 4-/.E !b z}oz}l$vxz

z}l$o#;$?vzo;$vxz} LLFvxn No@uL'¤vx l$u+[ z$o;o@ v^¤vx+l @vMNR$xzvxz"S

vu.z}l$o#u"o;nvxz};utLv PTo@;ztu.¤ o;ZP|0#<b