Document not found! Please try again

Animating formal specifications with inheritance in a

0 downloads 0 Views 533KB Size Report
... in clu yen: Pasos en la obtenciyn de la Certific aciy n de calid ad o form ula ciyn ... The rest of this paper is organized as follows: in section 2 we introduce the ...
$QLPDWLQJIRUPDOVSHFLILFDWLRQVZLWK LQKHULWDQFHLQD'/EDVHGIUDPHZRUN 3HGUR6iQFKH]3DWULFLR/HWHOLHU,VLGUR5DPRV  'HSDUWPHQWRI,QIRUPDWLRQ6\VWHPVDQG&RPSXWDWLRQ 9DOHQFLD8QLYHUVLW\RI7HFKQRORJ\ &DPLQRGH9HUDVQ9DOHQFLD HPDLO^SSDOPD_OHWHOLHU_LUDPRV`#GVLFXSYHV

KWWSZZZGVLFXSYHVXVHUVRRP .H\ZRUGV5HTXLUHPHQWVHQJLQHHULQJREMHFWRULHQWHGPHWKRGV LQKHULWDQFHDQLPDWLRQRIVSHFLILFDWLRQV

$EVWUDFW '\QDPLF /RJLF '/  SURYLGHV D VXLWDEOH IRUPDO IUDPHZRUN WR PRGHO DFWLRQV DQG UHDVRQLQJ DERXW WKHP 2$6,6LV D ODQJXDJH IRU WKH VSHFLILFDWLRQ RI REMHFW RULHQWHG FRQFHSWXDO PRGHOV ,Q RXU PRGHO VSHFLDOL]DWLRQ LV D UHODWLRQ EHWZHHQ FODVVHV WKDW GHILQHV DQ LQKHULWDQFH PHFKDQLVP WKURXJK VWDWLF DQG G\QDPLF SDUWLWLRQV $ YDULDQW RI '/ LQFOXGLQJ WKH 'HRQWLF RSHUDWRUV IRU SHUPLVVLRQ SURKLELWLRQ DQG REOLJDWLRQ LVWKHIRUPDOLVPXVHGLQ2$6,6WRGHDOZLWKFKDQJHVRIVWDWH WULJJHUV SUHFRQGLWLRQV SURWRFROV DQG RSHUDWLRQV 7KH DQLPDWLRQ RI FRQFHSWXDOPRGHOVLQRUGHUWRYDOLGDWHWKHVSHFLILFDWLRQLVDQLQWHUHVWLQJ WRSLF :H KDYH ZRUNHG RQ WUDQVODWLQJ 2$6,6VSHFLILFDWLRQV DXWRPDWLFDOO\WRFRQFXUUHQWHQYLURQPHQWVLQRUGHUWRREWDLQDSURWRW\SH XVHIXOWRYDOLGDWHVSHFLILFDWLRQVE\DQLPDWLRQ7KHDLPRIWKLVSDSHULVWR VKRZ WKDW LW LV IHDVLEOH WR WUDQVODWH VWDWLF DQG G\QDPLF SDUWLWLRQV DXWRPDWLFDOO\ LQWR G\QDPLF ORJLF IRUPXODH 7KXV XVLQJ WKH VDPH GHYHORSHG VFKHPD RI DQLPDWLRQ LW LV SRVVLEOH WR H[HFXWH 2$6,6VSHFLILFDWLRQVLQFOXGLQJLQKHULWDQFH

,QWURGXFWLRQ &RQFHSWXDO PRGHOV UHSUHVHQWLQJ WKH IXQFWLRQDO UHTXLUHPHQWV RI LQIRUPDWLRQ V\VWHPV DUH D NH\ IDFWRU ZKHQ OLQNLQJ SUREOHP DQG VROXWLRQ GRPDLQV %XLOGLQJ D FRQFHSWXDO PRGHO LV D GLVFRYHU\ SURFHVV QRW RQO\IRUDQDO\VWVEXWDOVRIRUVWDNHKROGHUV7KHPRVW VXLWDEOH VWUDWHJ\ LQ WKLV VLWXDWLRQ LV WR EXLOG FRQFHSWXDO PRGHOV LQ DQ LWHUDWLYH DQG LQFUHPHQWDO ZD\ WKURXJK DQDO\VW DQG VWDNHKROGHU LQWHUDFWLRQ &RQFHSWXDO PRGHOLQJ LQYROYHV IRXU DFWLYLWLHV HOLFLWDWLRQ RI UHTXLUHPHQWV PRGHOLQJ RU VSHFLILFDWLRQ YHULILFDWLRQRITXDOLW\DQGFRQVLVWHQF\DQGHYHQWXDOO\YDOLGDWLRQ   7KLVUHVHDUFKLVVXSSRUWHGE\WKH³&RPLVLyQ,QWHUPLQLVWHULDOGH&LHQFLD\7HFQRORJtD´ &,&@ 2SHQDQG$FWLYH6SHFLILFDWLRQRI,QIRUPDWLRQ6\VWHPV  D IRUPDO DSSURDFK IRU REMHFW RULHQWHG FRQFHSWXDO VSHFLILFDWLRQ RI LQIRUPDWLRQ V\VWHPV 7KLV LV D VWHS IRUZDUG LQ D JURZLQJ UHVHDUFK ILHOG ZKHUH WKH YDOLGDWLRQ RI IRUPDO VSHFLILFDWLRQV WKURXJK DQLPDWLRQ LV EHLQJ H[SORUHG >@ ,Q WKLV VHQVH VRPH RWKHU SURSRVDOVFORVHLQQDWXUHWR2$6,6DQGWRWKHZRUNZHDUHFDUU\LQJRXWXVLQJ2$6,6DUH 752//>@$/%(57>@DQG2%/2*>@7KHGLIIHUHQFHVEHWZHHQWKHVHZRUNVDQG RXUV DUH EDVLFDOO\ GHWHUPLQHG E\ IHDWXUHV RI WKH XQGHUO\LQJ IRUPDOLVPV DQG WKH RIIHUHG H[SUHVVLYHQHVV $FFRUGLQJ WR WKH SUHVHQWHG UHVXOWV WKH VWDWH RI DUW LV VLPLODU DQG LV FKDUDFWHUL]HGE\SUHOLPLQDU\YHUVLRQVRIDQLPDWLRQHQYLURQPHQWV 9DOLGDWLRQDQGYHULILFDWLRQSOD\DQLPSRUWDQWUROHLQWKHTXDOLW\RIWKHILQDOSURGXFW%\ PHDQV RI YDOLGDWLQJ IRUPDO VSHFLILFDWLRQV VWDNHKROGHUV FDQ IDVWHQ WKH FRUUHVSRQGHQFH EHWZHHQ IRUPDO VSHFLILFDWLRQV DQG XVHU SURVSHFWV 7KH YHULILFDWLRQ SURFHVV DOORZV WR YHULI\LQJ WKH FRUUHFWQHVV EHWZHHQ LPSOHPHQWDWLRQV DQG VSHFLILFDWLRQ (UURUV FDQ EH SURSDJDWHG WRZDUGV WKH GHVLJQ DQG LPSOHPHQWDWLRQ SURFHVV LI WKH YDOLGDWLRQ DQGRU YHULILFDWLRQ DUH QRW GRQH H[KDXVWLYHO\ %DVLFDOO\ YDOLGDWLRQ DQG YHULILFDWLRQ WHFKQLTXHV FDQEHFODVVLILHGLQWZRJURXSV x x

6WDWLFVUHDVRQLQJDERXWV\VWHPSURSHUWLHVUHJDUGLQJDVHWRISUHGHILQHGUXOHV '\QDPLFVH[HFXWLQJVRPHNLQGRILPSOHPHQWDWLRQRIWKHV\VWHP

$V )HHQVWUD SRLQWV RXW LQ >@ WZR DSSURDFKHV DUH FRQVLGHUHG ZKHQ DQLPDWLQJ VSHFLILFDWLRQV WR UHDVRQ DERXW VFHQDULRV ZKDW UHTXLUHV DQ DXWRPDWLFDOO\ JHQHUDWHG SURWRW\SH REWDLQHG IURP IRUPDO VSHFLILFDWLRQV  DQG WR UHDVRQ DERXW UHDFKDELOLW\ SURSHUWLHV ZKDW UHTXLUHV VRIWZDUH FDSDEOH RI VROYLQJ TXHULHV DXWRPDWLFDOO\  ,Q RXU ZRUNWKHDQLPDWLRQSURFHVVIRFXVHVRQWKHILUVWDSSURDFKVKRZLQJWKHHIIHFWVRIDFWLRQV LQWKHV\VWHPE\WHVWLQJVFHQDULRV )LJXUH VKRZVDIUDPHZRUNEDVHGRQ2$6,6IRUHOLFLWDWLRQPRGHOLQJYHULILFDWLRQDQG YDOLGDWLRQRIUHTXLUHPHQWV(OLFLWDWLRQLVDFKLHYHGE\XVLQJVFHQDULRV>@7KHHOHPHQWV DQGH[SHFWHGEHKDYLRURIDJLYHQVSHFLILFDWLRQDUHH[WUDFWHGE\DQDO\VWVIURPVFHQDULRV )XQFWLRQDO UHTXLUHPHQWV DUH PRGHOHG XVLQJ D JUDSKLFDO VSHFLILFDWLRQ PRGXOH EDVHG RQ 2$6,6 &RQFHSWXDO PRGHOV FDQ EH YHULILHG DFFRUGLQJ WR 2$6,6 IRUPDO SURSHUWLHV $W HDFKVWDJHRIWKHUHTXLUHPHQWVVSHFLILFDWLRQSURFHVVLWZRXOGEHSRVVLEOHWRYDOLGDWHWKH EHKDYLRU RI WKH DVVRFLDWHG SURWRW\SH DJDLQVW WKH H[SHFWHG EHKDYLRU 7KLV FRPSDULVRQ FRXOG OHDGWRXSGDWHVRUH[WHQVLRQVRIH[LVWLQJVFHQDULRV7KLVF\FOHFRQWLQXHVXQWLOWKH UHTXLUHPHQWVDUHFRPSOLDQWZLWKWKHSURSRVHGVHWRIVFHQDULRV ([SHULPHQWV KDYH EHHQ FDUULHG RXW XVLQJ 2EMHFW2ULHQWHG 3HWUL 1HWV >@ DQG &RQFXUUHQW /RJLF 3URJUDPPLQJ >@ DV FRQFXUUHQW HQYLURQPHQWV IRU 2$6,6 VSHFLILFDWLRQV &RUUHVSRQGHQFHV EHWZHHQ 2$6,6 DQG WKHVH HQYLURQPHQWV KDYH EHHQ LQFOXGHG LQ D WUDQVODWRU SURJUDP 7KLV WUDQVODWRUWDNHVDQ2$6,6VSHFLILFDWLRQVWRUHGLQ WKH UHSRVLWRU\ DQG JHQHUDWHV DXWRPDWLFDOO\ D &RQFXUUHQW /RJLF 3URJUDP RU D 3HWUL 1HW WKDW FRQVWLWXWH D SURWRW\SH IRU WKH FRUUHVSRQGLQJ FRQFHSWXDO PRGHO )XUWKHUPRUH WKURXJK D SUHOLPLQDU\ YHUVLRQ RI WKH JUDSKLFDO DQLPDWLRQ HQYLURQPHQW WKH DQDO\VW FDQ LQWHUDFW ZLWK WKH SURWRW\SH LQ D VXLWDEOH ZD\ :H REWDLQ &RGH6LJQ FRGH DXWRPDWLFDOO\

IURP 2$6,6 VSHFLILFDWLRQV 7KLV ZRUN LV EHLQJ LQWHJUDWHG LQWR D &$6( WRRO IRU V\VWHP PRGHOLQJ VXSSRUWLQJ WKH 2$6,6 DSSURDFK :H KDYH DGGUHVVHG YDOLGDWLRQ WKURXJK DQLPDWLRQ IRFXVLQJ RQ 2$6,6 EXW WKLV ZRUN FRXOG EH H[WHQGHG WR RWKHU VLPLODU ODQJXDJHV %DVLFDOO\ WKH REWDLQHG SURWRW\SHV DOORZ WR DQLPDWH VHWV RI D YDULDQW RI '\QDPLF /RJLF IRUPXODH >@ LQFOXGLQJ SHUPLVVLRQV YDOXDWLRQV DQG REOLJDWLRQV  UHSUHVHQWLQJ 2$6,6VSHFLILFDWLRQV 2XU DLP LV WR EH DEOH WR DQLPDWH XVLQJ WKH VDPH WUDQVODWRU 2$6,6VSHFLILFDWLRQVLQFOXGLQJLQKHULWDQFH 9D OL G D WLRQ WKU RXJ K D Q L PD WL RQ

(OLFL WD WL RQ

" 6FH Q D U LRV $Q D O\V L V D Q G  6S H FL ILFD W LRQ

8V H U

0DS DG HU HY LVyQ GH J H VW LyQ

,62    & D O ~VX O D  ^-HIH GH  SODQWD`

9H U LILFD W LRQ RI &RQ V LV WH Q F\

(4 W   0 DSV “ 0DSDVGHUIHHUHQFLD

 3UHSDUDU HO URGH Q GHOGt D

$FF L yQ FRUUHFW Y LD

 ^6HFUHW UDLD`

5HJLVW URV GHFDOL D GG

'L WVLU EX L U HORU G HQ H GO  GtDD O H  TXLSRGH Wy LQ UHYLVL yQ  GHJHV

'HIL QLFR L QHV ,QGLFDGRU  8QD  PHGLGDFXDQWL WDLW D Y GHOI XQF L RQD PH L QWRG  HXQ USRFH VRGH VLVH W PD  GHFDOLGDG 

 ^ TXLSRGH H ( U YLVy L Q GHJHVWLyQ`

^ TXLSRGH H ( U YLVy L Q GHJHVWLyQ`

&$5  R 6O LFWL XG  GHDFF L yQFRUU H FW Y L D 

5HYLVDU D O VDFWDV H G D O V UHXQLRQHVDQWHLU RUHV SDUDU HV RO YH U O D&$5

2EMHW Y L R 2EM H WY L RFXDQWL WDLW YR  SD U D XQSURFHVRGHVLVW P H DGHFDOL G DG ^-HIH GH  SODQWD`  'HVLJQDSHUVRQDO SDUDU HV RO YH UH  O UHTXLVL WRD  QWHU LRU GH  OD &$5

 ¢5HTXLVWL R DQWHLU RU"

6t

5H TXLV LW RV   , GLFDGRUHVGHO VLVH Q W PD GH  FDOLGDG /RV  HMHPSO V R LQFOX\HQ   3DVRV  HQOD E RW HQ FL y Q GH D O &  HU LW ILFDFLyQGH D FO LGDGRI RUPXODFL y Q G  HO DPL VLyQ  'HPD QGDGHFDO G L DG   5HVXPHQGHO PDWHU D L O QR  DSWR  5HVXPHQGHO DVTXH M DVGHO R FQVXPLGRU   5HVXPHQGHO DDXGLWRU tDL QWHQ U D  5HVXPHQGHO DVH[LVWHQFLDV H G PDWHU LDO D DWL HPSR  (QWU HJ  5HVXPHQGHO DDFFLyQFRUU HF WY LD

1R

^ TXLSRGH H ( U YLVy L Q GHJHVWLyQ`



 5HYLVDO RV LQGLFDGRUHVGHO VLVH W PD  GHFDOLGDG YVREMHLW YRV

5HJLVW D UH O H PQ HW RV  L VLW RDQ W HUL UR GHOU HTX \QRPEUDPLHQWRVHQ ODVDFW V D GH D O UHXQLyQ

L D GRV  0D SD V D V RF 1L J QXQR

^6HFUHW UDLD`  ^ TXLSRGH H ( U YLVy L Q GHJHVWLyQ`

 ¢,QGLFDGRUHV HQREMHLW YR"

1R

'DSU LRLU GDG  DORV LQGLFDGRUHVI XH U DGHO REMHLW YR

^ TXLSRGH H ( U YLVLyQ GHJHVWLyQ`

6t

^6HFUHW UDLD`



 +DFHFRQVWDU R O V

(ODERUD  &$5 E  DVD GR U LRU G L DG HV \  HQODV S UHFXUVRVSRU PDSDGH DFF L yQFRUU F HW Y LD

L R LQGLFDGRUHVREMHW Y HQODV F DW DV  GH D O UHXQLyQ

^-HIH GH  FDOLGDG`

 ^6HFUHW UDLD`

'RVYHFHVDO x DR KDF H FRQ VW DUO DFRQF O XVLyQGH HIHFWL YLGDGGHOVL VWHPDGH FDOLGDGHQ D O VDFWDVGHO D UHXQLyQ

 +DFHFRQVWDU R O V

^6HFUHW UDLD`

LQGLFDGRUHVI XH U DGHO  \ REMHLW YR QRPEUDPL HQ W RV  HQODV DFWDVGHO DUHXQLyQ $\XGD $FH F U D GH (W4   0D SV

$

$

^' UH L FW R U GHSO Q DW D`

 ¢5HVXOWD DG HFXDGD  OD UH I FXHQFLDG  H UHXQLRQHVSDUDO D UHYLVL yQ  GHJHV Wy L Q"

^ TXLSRGH H ( U YLVLyQ GHJHVWLyQ`  1R

(VWDEOHFHU X QHYD IU HF XHQFLD

,PS OLFL W W U D V OD WLRQ

$XWRPD W LFD O *H Q H U D WL RQ

6t

5H TXLU H PH Q W V

 ^ TXLSRGH H ( U YLVy L Q GHJHVWLyQ`

$FR U GDUO DI F HKD\ OH RUGHQGHO GtDG  HO D SUy[LP DH U XQLyQ

 ^6HFUHW UDLD`

^6HFUHW UDLD`

(ODERUDU GLVUW E L XLU  DFWDVGHO DUHXQLyQ

 $UFKLYDU D O VDFWDV H G D O UHXQLyQSRU PDSDGH UHJLVW R U VGHFDOL GDG

2$6,6 0 RG H O

3U RW RW \S H IRU D Q L PD W L RQ

)LJXUH$QLPDWLRQ(QYLURQPHQW 1RZDGD\V DQ LQFUHDVLQJ ZRUN LQ YDOLGDWLRQ WKURXJK DQLPDWLRQ RI FRQFHSWXDO PRGHOV KDV EHHQ GHYHORSHG 0DQ\ &$6(WRROV KDYH LQWHJUDWHG DQ VSHFLDO PRGXOH IRU DQLPDWLRQ 0RVW RI WRROV UHODWHG WR UHTXLUHPHQWV YDOLGDWLRQ GR QRW RIIHU PXFK KHOS IRU DQLPDWLRQ 2%/2* KDV DQ DQLPDWLRQ PRGXOH EXW LWLVQRWVWLOODYDLODEOH,Q5KDSVRG\ DQG2EMHFW7LPHDJUDSKLFDOUHSUHVHQWDWLRQ DVHTXHQFHGLDJUDP LVLQFOXGHGDVDUHVXOW RI WKH DQLPDWLRQ DQG LQWHUDFWLRQ EHWZHHQ REMHFWV ,Q WKLV ZD\ $RQL[ RIIHUV D PRGXOH FDOOHG ³$QLPDWRU´ LQ ZKLFK WKH HGLWLRQ DQG H[HFXWLRQ RI VFHQDULRV DUH VXSSRUWHG ,Q %ULGJH3RLQW YDOLGDWLRQ LV GRQH E\ PRQLWRULQJ LQ VHYHUDO OHYHOV WKH JHQHUDWHG SURWRW\SH EXW LW LV QRW HDV\ WR FRQWUDVW EHWZHHQ WKH REWDLQHG DQG H[SHFWHG UHVXOWV ,Q >@ DQ HQYLURQPHQW DERXW 752// LQ ZKLFK LV SRVVLEOH WR VWXG\ WKH FKDQJH LQ WKH VWDWH RI REMHFWV LV VKRZHG ,Q D VLPLODU ZD\ LQ >@ WKH DUFKLWHFWXUH DQG IXQFWLRQDOLW\ RI DQ DQLPDWLRQ PRGXOH IRU $/%(57 VSHFLILFDWLRQV LV SUHVHQWHG ,Q DOO WKHVH SURSRVDOV QHDU WR 2$6,6 WKH VWDWH RI WKH DUW LV FOHDUO\ FKDUDFWHUL]HG E\ SUHOLPLQDU\ YHUVLRQV RI DQLPDWLRQ PRGXOHV 7KH DLP RI WKLV SDSHU LV WR VKRZ WKDW LV IHDVLEOH WR WUDQVODWH DXWRPDWLFDOO\ WKH2$6,6VSHFLDOL]DWLRQLQ'/IRUPXODH7KXVXVLQJWKHVDPHGHYHORSHG VFKHPD RI DQLPDWLRQ LW LV SRVVLEOH WR H[HFXWH 2$6,6VSHFLILFDWLRQV LQFOXGLQJ LQKHULWDQFH

 



KWWSZZZREORJSW







KWWSZZZLORJL[FRP

KWWSZZZREMHFWLPHFRP KWWSZZZDRQL[FRP  KWWSZZZSURMWHFKFRP 

7KH UHVW RI WKLV SDSHU LV RUJDQL]HG DV IROORZV LQ VHFWLRQ  ZH LQWURGXFH WKH EDVLF FRQFHSWV RI 2$6,6 6HFWLRQ  JLYHV WKH IRUPDO IUDPHZRUN RI VSHFLDOL]DWLRQ LQ 2$6,6 6HFWLRQJLYHVDVKRUWGHVFULSWLRQRIWKHXVHG'/6HFWLRQHVWDEOLVKHVDUHSUHVHQWDWLRQ PHFKDQLVP IRU VSHFLDOL]DWLRQ 6HFWLRQ  VXPPDUL]HV WKH SDSHU DQG RXWOLQHV IXUWKHU ZRUN)LQDOO\DQDSSHQGL[LQWURGXFHVDIXOOFDVHVWXG\

%DVLFFRQFHSWVRI2$6,6 $Q 2$6,6 VSHFLILFDWLRQ LV D SUHVHQWDWLRQ RI D WKHRU\ LQ WKH XVHG IRUPDO V\VWHP DQG LV H[SUHVVHG DV D VWUXFWXUHG VHW RI FODVV GHILQLWLRQV &ODVVHV FDQ EH VLPSOH RU FRPSOH[ $ FRPSOH[ FODVV LV GHILQHG LQ WHUPV RI RWKHU FODVVHV VLPSOH RU FRPSOH[  E\ HVWDEOLVKLQJ UHODWLRQVKLSV DPRQJ FODVVHV 7KHVH UHODWLRQVKLSV SURYLGH DJJUHJDWLRQ RU LQKHULWDQFH PHFKDQLVPV $ FODVV KDV D QDPH RQH RU PRUH LGHQWLILFDWLRQ PHFKDQLVPV IRU LWV LQVWDQFHV REMHFWV DQGDW\SHRUWHPSODWHWKDWLVVKDUHGE\HYHU\LQVWDQFHEHORQJLQJWR WKHFODVV(DFKREMHFWKDVDQXQLTXHLGHQWLILHU RLG VHWE\WKHV\VWHPKRZHYHUREMHFWV DUH UHIHUUHG E\ WKHLU LGHQWLILFDWLRQ PHFKDQLVPV EHORQJLQJ WR WKH SUREOHP VSDFH $ IXQFWLRQ HVWDEOLVKHV D PDSSLQJ EHWZHHQ WKH LGHQWLILFDWLRQ PHFKDQLVPV DQG WKH RLG 7KH W\SHRUWHPSODWHGHVFULEHVWKHVWUXFWXUHDQGEHKDYLRURIHYHU\REMHFW 7KXV HDFK REMHFW HQFDSVXODWHV LWV RZQ VWDWH DQG EHKDYLRU UXOHV $V XVXDO LQ REMHFW RULHQWHGHQYLURQPHQWVREMHFWVFDQEHVHHQIURPWZRSRLQWVRIYLHZVWDWLFDQGG\QDPLF )URPWKHVWDWLFSHUVSHFWLYHWKHDWWULEXWHVDUHSURSHUWLHVGHVFULELQJWKHREMHFWVWUXFWXUH 7KH REMHFW VWDWH LQ D JLYHQ LQVWDQW LV WKH VHW RI VWUXFWXUDO SURSHUWLHV YDOXHV )URP WKH G\QDPLF SHUVSHFWLYH WKH HYROXWLRQ RI REMHFWV LV FKDUDFWHUL]HG E\ WKH ³FKDQJH RI VWDWH´ QRWLRQ 7KH RFFXUUHQFH RI DFWLRQV LPSOLHV FKDQJHV E\ PHDQV RI YDOXDWLRQV DQG GHULYDWLRQV  LQ WKH YDOXHV RI WKH DWWULEXWHV 2EMHFW DFWLYLW\ LV GHWHUPLQHG E\ D VHW RI UXOHV SUHFRQGLWLRQV DV IRUELGGHQ DFWLRQV LQFHUWDLQVWDWHV WULJJHUV DVREOLJDWLRQVWR EH IXOILOOHG LQ FHUWDLQ VWDWHV  SURWRFROV DV DOORZHG VHTXHQFHV RI DFWLRQV LQ REMHFW OLIH  DQGRSHUDWLRQV DVREOLJDWHGVHTXHQFHVRIDFWLRQV $VWHSLVWKHVHWRIDFWLRQVH[HFXWHG DWWKHVDPHLQVWDQWE\WKHREMHFW ,QKHULWDQFH LVDPDQGDWRU\FKDUDFWHULVWLFRIWKHREMHFWRULHQWHGSDUDGLJP,QKHULWDQFHLV D PHFKDQLVP WKURXJK ZKLFK VXEFODVVHV LQKHULW SURSHUWLHV RI VXSHUFODVVHV 7KH LQKHULWDQFH PHFKDQLVP LV DQ XQTXHVWLRQDEOH KHOS LQ LQFUHPHQWDO FRQVWUXFWLRQ DQGUHXVH EXWUHVHDUFKHVUDUHO\DJUHHRQLWVPHDQLQJDQGXVDJH>@,Q2$6,6LQKHULWDQFHLVXVHG LQDGLVFLSOLQHGZD\XQGHUWKHFRQFHSWRIVSHFLDOL]DWLRQ

6SHFLDOL]DWLRQLQ 2$6,6 ,Q 2$6,6 WR VSHFLDOL]H D FODVV PHDQV WR FUHDWH RQH RU PRUH SDUWLWLRQV IRU LW (DFK SDUWLWLRQ LV D VHW RI QHZ FODVVHV WKDW GLYLGHV WKH RULJLQDO RQH WDNLQJ LQWR DFFRXQW VRPH FULWHULRQVWKXVPDQ\SDUWLWLRQVFDQFRH[LVW2QHREMHFWLQDJLYHQLQVWDQWLVLQVWDQFHRI RQO\ RQH VXEFODVV LQ HYHU\ SDUWLWLRQ 1H[W ZH JLYH WKH FKDUDFWHULVWLFV RI HDFK NLQG RI VSHFLDOL]DWLRQLQ2$6,6LWLVVWDWLFSDUWLWLRQVDQGG\QDPLFSDUWLWLRQV 'HILQLWLRQ 6XEFODVVHV DQG VXSHUFODVVHV :KHQ D VXEFODVV LV D VSHFLOL]DWLRQ RI DQRWKHU FODVV WKH IRUPHU LV VDLG WR EH D VXEFODVV DQG WKH ODWWHU D VXSHUFODVV 7KH WHPSODWHRIDVXEFODVVLVGHULYHGIURPWKHWHPSODWHVRIRWKHUFODVVHV VXSHUFODVVHV 

6WDWLFSDUWLWLRQV $ VWDWLF SDUWLWLRQ >@ GLYLGHV FRPSOHWHO\ WKH SRVVLEOH LQVWDQFHV VHW RI WKH SDUWLWLRQHG FODVV LQWR GLVMRLQWVVXEVHWV 7KXV VWDWLF SDUWLWLRQV GLYLGH WKH VSDFH RI REMHFWV (DFK REMHFWLVSHUPDQHQWO\FUHDWHGDVDQLQVWDQFHRIDJLYHQVXEFODVVLQVWDWLFSDUWLWLRQV (DFK LQVWDQFH RI D JLYHQ VXEFODVV LVDWWKHVDPHWLPHRQHLQVWDQFHRILWVVXSHUFODVVDQG YLFHYHUVD ([DPSOH

7ZRVWDWLFSDUWLWLRQVRIFODVVYHKLFOH

WUXFNFDURWKHU VWDWLFVSHFLDOL]DWLRQRIYHKLFOH JDVGLHVHORWKHU VWDWLFVSHFLDOL]DWLRQRIYHKLFOH

'\QDPLFSDUWLWLRQV $ G\QDPLF SDUWLWLRQ >@ LQFOXGHV VXEFODVVHV WR ZKLFK DQ REMHFW FDQ EHORQJ GXULQJ LWV OLIHWLPH 2EMHFW PLJUDWLRQ EHWZHHQ FODVVHV LV SURGXFHG E\ WKH RFFXUUHQFH RI DFWLRQV 7KXV D G\QDPLF SDUWLWLRQ GLYLGHV WKH SRVVLEOH VWDWHV RI REMHFWV DOORZLQJ WR REMHFWV WR FKDQJHWKHLUVXEFODVVHV )URP WKH SRLQW RI YLHZ RI WKH 2$6,6ODQJXDJH ZH FDQ VSHFLI\ WKH WUDQVLWLRQ EHWZHHQ VXEFODVVHV LQ D SDUWLWLRQ LQ WZR PDQQHUV EHLQJ HTXLYDOHQW  E\ PHDQV RI D PLJUDWLRQ SURFHVV UHODWHGWRRFFXUULQJDFWLRQV RUE\DWWULEXWHYDOXHV ([DPSOH $G\QDPLFVSHFLDOL]DWLRQRIFODVVFDUSURGXFHGE\WKHRFFXUUHQFHRIWKH DFWLRQVQHZBFDUDQGUHSDLUBFDULQ2$6,6 ZRUNLQJEURNHQBGRZQG\QDPLF VSHFLDOL]DWLRQRIFDU PLJUDWLRQUHODWLRQLV FDU QHZBFDUZRUNLQJ ZRUNLQJ EUHDNBGRZQEURNHQBGRZQ EURNHQBGRZQ UHSDLUZRUNLQJ 

7KH FUHDWLRQ RI D FDU LQVWDQFH LPSOLHV WKDW LW VWDUWV EHORQJLQJ WR WKH FODVV ZRUNLQJ $V DQ LQVWDQFH RI ZRUNLQJ DFWLRQV IURP FDU DQG ZRUNLQJ WHPSODWHV FDQ EH UHFRJQL]HG 7KH DFWLRQ EUHDNBGRZQ LPSOLHV WR OHDYH WKH VXEFODVV ZRUNLQJ DQG WR PLJUDWHWRZDUGVEURNHQBGRZQFODVV )URPDWKHRUHWLFDOSRLQWRIYLHZWKHSURFHVVUHSUHVHQWLQJWKHOLIHRIDQLQVWDQFHRI FDU LV WKH MRLQW RI SURFHVVHV GHILQHG LQ HYHU\ VXEFODVV 7KH FRQQHFWLRQV DPRQJ VXEFODVVHV DUHJLYHQE\WKHDFWLRQVLQFOXGHGLQWKHPLJUDWRU\SURFHVV ([DPSOH

$G\QDPLFSDUWLWLRQRIWKHFODVVSHUVRQXQGHUWKHDWWULEXWHDSSURDFK

FKLOGZKHUH^DJH` WHHQDJHUZKHUH^ DJHDQGDJH `

DGXOWZKHUH^DJH` G\QDPLFVSHFLDOL]DWLRQRISHUVRQ 

,Q WKLV FDVH ZKHQHYHU WKH DWWULEXWH DJH FKDQJHV GHSHQGLQJ RQ WKH HVWDEOLVKHG FRQGLWLRQVRQHLQVWDQFHRISHUVRQFRXOGPLJUDWHEHWZHHQVXEFODVVHV (YHQWXDOO\LQ2$6,6LVQRWDOORZHGWRGHILQHVWDWLFSDUWLWLRQVIURPG\QDPLFRQHV

6SHFLHVDQGPXOWLSOHLQKHULWDQFHLQ2$6,6 7KH&DUWHVLDQSURGXFWEHWZHHQOHDIFODVVHVRIDJLYHQVSHFLDOL]DWLRQKLHUDUFK\JLYHVWKH VHW RI VSHFLHV PL[LQJ DOO SURSHUWLHV RI WKRVH FODVVHV )XUWKHUPRUH HPHUJHQW SURSHUWLHV FDQEHVSHFLILHGLQWKHLUWHPSODWHV ([DPSOH

6SHFLHVRIWKHKLHUDUFK\YHKLFOH

WUXFN GLHVHOFDU JDVFDU GLHVHO RWKHU GLHVHORWKHU JDVWUXFN JDV 

([DPSOH 7KH FODVV WUXFN GLHVHO PD\ KDYH DQ HPHUJHQW DWWULEXWH QDPHG WRQQDJH7KLVDWWULEXWHPXVWEHVSHFLILHGLQWKHWUXFN GLHVHOWHPSODWH

2$6,6IRUPDOL]HGLQ'/ '\QDPLF ORJLF '/  >@ KDV EHHQ WUDGLWLRQDOO\ FRQVLGHUHG WR GHVFULEH DQG UHDVRQDERXW G\QDPLF V\VWHPV 7KH DLP RI WKLV ORJLF LV WKH VWXG\ RI PDWKHPDWLFDO SURSHUWLHV RI SURJUDPV DQG WKHLU EHKDYLRXU $Q REMHFW LQ 2$6,6 LV DEOH WR SDVV IURP RQH VWDWH WR DQRWKHU 'XH WR WKH VWDWH FKDQJH WKH WUXWK YDOXHV RI WKH IRUPXODV GHVFULELQJ WKH VWDWH DOVRFKDQJH7KHREMHFWLYHLQRXUZRUNLVWRGHILQHDORJLFDOEDVLVWREHDEOHWRH[SUHVV RXU UHDVRQLQJ DERXW 2$6,6 VSHFLILFDWLRQV 7R HDFK 2$6,6REMHFW ZH DVVRFLDWH DQ DFFHVVLELOLW\UHODWLRQLQVXFKDZD\WKDWDSDLURIVWDWH VW LVLQWKDWUHODWLRQLIDQGRQO\ LI WKHUH LV D FRPSXWDWLRQ RI WKH SURJUDP H[HFXWLRQ RI D VHW RI DFWLRQV E\ WKH REMHFW  WUDQVIRUPLQJWKHVWDWHVLQWRWKHVWDWHW ,Q >@ 'HRQWLF /RJLF LV GHVFULEHG DV D YDULDQW RI '/ >@ 7KH GHILQLWLRQ RI GHRQWLF RSHUDWRUVLQ'/LV 2 D œ>™D@IDOVH ³WKHRFFXUUHQFHRIDLVREOLJDWRU\´ ) D œ>D@IDOVH 3 D œ™) D 

³WKHRFFXUUHQFHRIDLVIRUELGGHQ´ ³DLVSHUPLWWHGLIDQGRQO\LID LVQRWIRUELGGHQ´

:KHUHIDOVHGHQRWHVQRUHDFKDEOHZRUOG,WLVXVXDOWRILQGLQUHODWHGZRUNVWKHVSHFLDO DWRP9RIYLRODWLRQUHSUHVHQWLQJDSUREOHPDWLFRU³QRQLGHDO´VLWXDWLRQ,QRXUZRUNWKH DWRPIDOVHH[SUHVVHVWKHLPSRVVLELOLW\RISHUIRUPLQJDWUDQVLWLRQ

:H DUH XVLQJ D VXEODQJXDJH RI WKH ODQJXDJH SUHVHQWHG E\ 0H\HU LQ >@ LQFOXGLQJ WKH IROORZLQJNLQGRIIRUPXODH \o>D@IDOVH

³WKHRFFXUUHQFHRIDLVIRUELGGHQ LQVWDWHVZKHUH\LVVDWLVILHG´

\o>™D@IDOVH

³WKHRFFXUUHQFHRIDLVREOLJDWRU\ LQVWDWHVZKHUH\LVVDWLVILHG´ ³LPPHGLDWHO\DIWHUDRFFXUUHQFH

\o>D@I

IPXVWEHVDWLVILHG LQVWDWHVZKHUH\LVVDWLVILHG´

7KHVH IRUPXODH DUH QDPHG SURKLELWLRQ REOLJDWLRQ DQG YDOXDWLRQ UHVSHFWLYHO\ $GGLWLRQDOO\ \ LV D ZHOOIRUPHG IRUPXOD WKDW FKDUDFWHUL]HV WKH VWDWH RIDQREMHFWZKHQ WKHDFWLRQDRFFXUVDQG™DUHSUHVHQWVWKHQRQRFFXUUHQFHRIWKHDFWLRQD LHRQO\RWKHU DFWLRQVGLIIHUHQWIURPDFRXOGRFFXU )XUWKHUPRUHWKHUHLVQRVWDWHVDWLVI\LQJWKHDWRP IDOVH 7KXV RQH DFWLRQ LV IRUELGGHQ LI LWV RFFXUUHQFH OHDGV WKH V\VWHP WRZDUGV D YLRODWLRQ VWDWH DQG RQH DFWLRQ LV REOLJDWRU\ LI LWV QRQRFFXUUHQFH OHDGV WKH V\VWHP WRZDUGVDYLRODWLRQVWDWH $Q 2$6,6 FODVV WHPSODWH LV UHSUHVHQWHG E\ WKH WXSOH ¢$WU (Y )RUPXODH 3URFHVVHV²  WKDW LV DWWULEXWHV HYHQWV '/ IRUPXODH YDOXDWLRQV SURKLELWLRQV DQG REOLJDWLRQV  DQG SURFHVVVSHFLILFDWLRQV SURWRFROVDQGRSHUDWLRQV ,Q>@LWLVVKRZHGKRZ3URFHVVHVFDQ DOVREHLQWHUSUHWHGDVDVHWRI'/IRUPXODH7KXVWKHFODVVWHPSODWHFDQEHVHHQDV¢$WU (Y '/)RUP² ZKHUH '/)RUP LQFOXGHV DOO '/ IRUPXODH HVWDEOLVKLQJ WKH EHKDYLRU RI REMHFWV 1H[W VHFWLRQ GHWDLOV KRZ WKURXJK D WUDQVODWLRQ SURFHVV VWDWLF DQG G\QDPLF SDUWLWLRQVFDQEHLQWHJUDWHGLQWKHVDPHIRUPDOIUDPHZRUNRI'/

6SHFLDOL]DWLRQLQ'/ $V PHQWLRQHG LQ SUHYLRXV VHFWLRQV VSHFLHV LQYROYH FODVVHV LQ WKH VDPH KLHUDUFK\ /LNHZLVHWKHFODVVHVFRQVWLWXWLQJVSHFLHVKDYHDFRPPRQDQFHVWRUFODVVZKLFKKDVEHHQ SDUWLWLRQHG PRUH WKDQ RQFH )LJXUH VKRZV D VSHFLDOL]DWLRQ KLHUDUFK\ ZLWK WKH IROORZLQJ VSHFLHV & && && & & && && & & && && & %XWIRULQVWDQFHWKHIROORZLQJDUHQRWVSHFLHV& && && & &HWF

&

&

& &

&

&

&

)LJXUH6SHFLDOL]DWLRQKLHUDUFK\ :HDUHLQWHUHVWHGLQHVWDEOLVKLQJWKHSURSHUWLHVRIVSHFLHVEHFDXVHLQ2$6,6REMHFWVDUH DOZD\V LQVWDQFHV RI VSHFLHV ,Q RUGHU WR FDOFXODWH WKHVH SURSHUWLHV ZH ZLOO VHH VRPH VLPSOLILHG FDVH VWXGLHV 1H[W ZH ZLOO DQDO\]H WKH HTXLYDOHQW LQ '/ RI DQ\ VWDWLF SDUWLWLRQ

6WDWLFSDUWLWLRQKLHUDUFKLHV *LYHQ D VSHFLDOL]DWLRQ KLHUDUFK\ ZLWK RQO\ VWDWLF SDUWLWLRQV WKH VHW RI SURSHUWLHV GHVFULELQJWKHEHKDYLRURIDQ\OHDIFODVVLQWKHKLHUDUFK\LVWKHXQLRQRISURSHUWLHVIURP URRWFODVVWRWKHOHDIFODVV,QVWDWLFDQGG\QDPLFSDUWLWLRQVRI2$6,6ZHKDYHEHKDYLRUDO FRPSDWLELOLW\ EHWZHHQ VXSHUFODVVHV DQG VXEFODVVHV 7KXV WKH VHW RI SURSHUWLHV RI DQ\ OHDIFODVV&LLVJLYHQDVIROORZV L

6HWRIDWWULEXWHV $WUL ‰$WUN

LL

&N &LKDVWD&N &URRW

6HWRIHYHQWV (YL (YN 

LLL

LY

Y

&N &LKDVWD&N &URRW

9DOXDWLRQ IRUPXODH LQ VXEFODVVHVFDQRQO\PRGLI\HPHUJHQWDWWULEXWHV DQGDOVR DWWULEXWHV ZLWKRXW YDOXDWLRQV LQ VXSHUFODVVHV WKXVWKHVHWRIYDOXDWLRQIRUPXODH LV WKH XQLRQ RI YDOXDWLRQV IURP OHDI FODVV WR URRW FODVV LH WKH '/ IRUPXODH XQLRQ  ,I D SURKLELWLRQ IRUPXODLVPRGLILHGLQWKHVXEFODVVWKHQWKHQHZFRQGLWLRQPXVW LPSO\ WKH VXSHUFODVV FRQGLWLRQ WKXV WKH VHW RI SURSHUWLHV LV WKH XQLRQ RI WKH SURSHUWLHVIURPOHDIFODVVWRURRWFODVV LHWKH '/IRUPXODHXQLRQ ,QWKLVZD\ RQO\DUHFRQVLGHUHGWKHPRVWVSHFLILFSUHFRQGLWLRQV 2EOLJDWLRQIRUPXODHDUHHVWDEOLVKHGLQWKHVDPHZD\DVSURKLELWLRQIRUPXODH

$IWHU GHULYLQJ ERWK VWUXFWXUDO DQG EHKDYLRUDO SURSHUWLHV IURP HYHU\ OHDI FODVV LW LV LPPHGLDWHWRFDOFXODWHWKHSURSHUWLHVRIVSHFLHV 'HILQLWLRQ 7HPSODWH RI D VSHFLHV &  &Q  LVDFODVVWHPSODWHZLWKWKHIROORZLQJ HOHPHQWV $WU‰‰$WU  Q‰$WUH  



7KDWLVDWWULEXWHVGHILQHGLQWKHVXEFODVVVSHFLILFDWLRQ

(Y‰‰(Y  Q‰(YH '/)RUP‰‰'/)RUP Q‰'/)RUPH  ZKHUH $WUL (YL DQG '/)RUPL DUH DWWULEXWHV HYHQWV DQG '/ IRUPXODH RI FODVV &L $WUH (YH DQG '/)RUPH DUH WKH DGGHG DWWULEXWHV HYHQWVDQG'/IRUPXODHEHLQJVSHFLILHGIRU WKH VSHFLHV &  &Q  ,Q FDVH RI RYHUODSSLQJ RI SURSHUWLHV WKH FDOFXOXV RI SURSHUWLHV IROORZVWKHFRQVWUDLQWVSUHYLRXVO\PHQWLRQHG

'\QDPLFSDUWLWLRQKLHUDUFKLHV :KHQHYHU G\QDPLF SDUWLWLRQV DUH LQFOXGHG WKH SURFHVV WR GHWHUPLQH SURSHUWLHV RI VSHFLHVLVVOLJKWO\GLIIHUHQW 7KH LGHD LV WR WUDQVODWH DOO WKH VXEFODVV SURSHUWLHV LQ HYHU\ G\QDPLF SDUWLWLRQ LQWR DQ DVFHQGLQJGLUHFWLRQ)LJXUHVKRZVDQH[DPSOHLQZKLFKFODVV&KDVEHHQG\QDPLFDOO\ SDUWLWLRQHG 7KXV ZH ZDQW WR H[WHQG WKH G\QDPLF IRUPXODH RI FODVV & RI )LJXUH  VHSDUDWLQJ WKH IRUPXODH GXH WR & IURP WKRVH GXH WR & 1H[W VSHFLILF FRQVLGHUDWLRQV ZKHQGHULYLQJWKH'/IRUPXODHVHWDUHGHVFULEHGKHUH 0LJUDWLRQE\DFWLRQRFFXUUHQFH

&

&

&

&

&

)LJXUH'\QDPLFSDUWLWLRQ *LYHQWKHG\QDPLFSDUWLWLRQ^&&Q`RIWKHFODVV&MWKHQWKHWHPSODWHRI&M LQFOXGLQJ SURSHUWLHVRIVXEFODVVHVIRUHDFKFODVV&LEHORQJLQJWRWKHSDUWLWLRQLVJLYHQDV L LL LLL LY Y YL

6HWRIDWWULEXWHV$WU $WUM‰$WU‰‰$WUQ 6HWRIHYHQWV(Y (YM‰(Y‰‰(YQ 7KH VHW RI YDOXDWLRQV IRUPXODH LV WKH XQLRQ RI YDOXDWLRQ IRUPXODH RI FODVVHV &M DQG&WR&Q(DFKYDOXDWLRQPXVWKDYHDFRQGLWLRQWKDWFRQWUROVZKHQLWLVXVHG 7KH VHW RI SURKLELWLRQ IRUPXODH LV WKH XQLRQ RI SURKLELWLRQ IRUPXODH IURP WKH FODVVHV &M DQG & WR &Q 7DNLQJ LQWR DFFRXQW WKH EHKDYLRU FRPSDWLELOLW\ UHVWULFWLRQLI&LUHGHILQHVDSURKLELWLRQRI&MWKHQWKHFRQGLWLRQRI&LSUHYDLOV 2EOLJDWLRQIRUPXODHDUHHVWDEOLVKHGLQWKHVDPHZD\DVSURKLELWLRQIRUPXODH 0LJUDWLRQ SURFHVVHV GHILQHG LQ SDUWLWLRQV ZLOO EH LQFOXGHG LQ FODVV &M DV D SURWRFRO FRQWDLQLQJ YDOLG DFWLRQ VHTXHQFHV 3URKLELWLRQ IRUPXODH DUH GLUHFWO\ LQFRUSRUDWHG LQWR WKH VHW RI SURKLELWLRQ IRUPXODH RI &M +RZHYHU WKH EHKDYLRU

YLL

SURSHUW\ RI WKH FODVV &L PXVW DGG DQ RFFXUUHQFH SUHGLFDWH WKDW HYDOXDWHV WKH FXUUHQW VWDWH RI WKH SURFHVV 7KXV WKLV VXFK D SURWRFRO ZLOO EH WUDQVODWHG LQWR SURKLELWLRQIRUPXODHDQGYDOXDWLRQIRUPXODHLQWKHVDPHZD\DVSURWRFROV 5HSHDWWKHSURFHGXUHIURPL WRYL IRUHDFKG\QDPLFSDUWLWLRQRI&M

([DPSOH

*LYHQWKHIROORZLQJG\QDPLFSDUWLWLRQLQ2$6,6

&& G\QDPLFVSHFLDOL]DWLRQRI& PLJUDWLRQUHODWLRQLV &QHZ& &D& &D&

ZKHUHZHDOVRKDYHWKHIROORZLQJYDOXDWLRQIRUPXODH )o>D@D@D@D@D@D@D@ S &  S & o>D@ S &  ™ S & o>D@IDOVH ™ S & o>D@IDOVH

0LJUDWLRQE\DWWULEXWHYDOXH ,QWKLVFDVH'/IRUPXODHDUHQRZGHILQHGDVIROORZV L LL

LLL

6HWRIDWWULEXWHV$WU $WUM‰$WU‰‰$WUQ 6HW RI HYHQWV (Y  (YM‰(Y‰‰(YQ 7DNLQJ LQWR DFFRXQW WKDW DQ HPHUJHQW HYHQW RI D VXEFODVV PXVW QRW EH DYDLODEOH LI WKH REMHFW LV QRW LQVWDQFH RI WKDW VXEFODVVWKHQLWLVQHFHVVDU\WRDGGD'/IRUPXODHWKDWGLVDEOHWKHRFFXUUHQFHRI WKDWHYHQW VHHQH[WH[DPSOH  7KH VHW RI YDOXDWLRQ IRUPXODH LV WKH XQLRQ RI YDOXDWLRQ IRUPXODH RI FODVVHV &M DQG&WR&Q

 



 :KHUHSLVDYDULDEOHUHSUHVHQWLQJWKHFXUUHQWVWDWHRIWKHPLJUDWLRQSURFHVV7KXVSLVPRGLILHGE\YDOXDWLRQIRUPXODH

LY Y YL YLL

7KHVHWRISURKLELWLRQIRUPXODHLVWKHXQLRQRISURKLELWLRQIRUPXODHRIFODVVHV&M DQG & WR &Q 7DNLQJ LQWR DFFRXQW WKH EHKDYLRU FRPSDWLELOLW\ UHVWULFWLRQ LI &L UHGHILQHVDSURKLELWLRQRI&MWKHQWKHFRQGLWLRQRI&LSUHYDLOV 2EOLJDWLRQIRUPXODHDUHHVWDEOLVKHGLQWKHVDPHZD\DVSURKLELWLRQIRUPXODH (DFKIRUPXODREWDLQHGIURP&LPXVWDGGDQRFFXUUHQFHSUHGLFDWHUHIHUULQJWRWKH FXUUHQWVWDWHRIWKHREMHFW 5HSHDWIURPL WRYL IRUHDFKG\QDPLFSDUWLWLRQRI&M

*LYHQWKHIROORZLQJG\QDPLFSDUWLWLRQLQ2$6,6 &ZKHUH^DWU` &ZKHUH^DWU! ` G\QDPLFVSHFLDOL]DWLRQRI&

ZKHUHZHDOVRKDYHWKHIROORZLQJYDOXDWLRQIRUPXODH )o>D@D@D@D@D@D@D@IDOVH ™ DWU!  o>D@IDOVH

7UDQVODWLRQSURFHVVVXPPDU\ 7KH WUDQVODWLRQ SURFHVV IURP FODVV VSHFLILFDWLRQ ZLWK VSHFLDOL]DWLRQ WR '/ IRUPXODH LV VXPPDUL]HGLQWKHIROORZLQJVWHSV 7KHWUDQVODWLRQSURFHVVLVDSSOLHGIRUHDFKVSHFLDOL]DWLRQKLHUDUFK\ 7KH WUDQVODWLRQ SURFHVV LQ G\QDPLF SDUWLWLRQV LI WKH\ H[LVW  VWDUWV IURP WKH ERWWRP OHYHO $OO SURSHUWLHV GHILQHG LQ G\QDPLF VXEFODVVHV DUH DGGHG WR WKH VXSHUFODVV 7KH WUDQVODWLRQ SURFHVV FRQWLQXHV XQWLO UHDFKLQJ D VWDWLF SDUWLWLRQ RU XQWLO UHDFKLQJ WKH WRS FODVVLQWKHKLHUDUFK\ LQWKLVFDVHWKHWUDQVODWLRQSURFHVV ILQLVKHV  x :KHQ DOO G\QDPLF SDUWLWLRQV KDYH EHHQ VXEVWLWXWHG WKH SURSHUWLHV IRU HDFK OHDI FODVVFRQWDLQLQJRQO\VWDWLFSDUWLWLRQVDUHGHWHUPLQHG x (YHQWXDOO\ SURSHUWLHV IRU VSHFLHV FDQ EH GHWHUPLQHG IURP OHDI FODVV SURSHUWLHV 7KLV KLHUDUFK\ IODWWHQLQJ LQ VHSDUDWH VSHFLHV LV WKH ILQDO UHSUHVHQWDWLRQ7KXVDOO VSHFLHV ZLOO EH LQGHSHQGHQW FODVVHV DW WKH VDPH OHYHO DQG ZLWKRXW VSHFLDOL]DWLRQ UHODWLRQVKLSV x x

$QLPDWLRQVXSSRUW

)URP DQ LGHDO SRLQW RI YLHZ WKH UHSUHVHQWDWLRQ LQ '/ IRUPXODH ILQLVKHV ZKHQ DOO SURSHUWLHVRIVSHFLHVDUHVSHFLILHG+RZHYHUZHDOVRKDYHWRJLYHDVXLWDEOHVXSSRUWIRU WDNLQJ LQWR DFFRXQW WKH H[LVWLQJ SRO\PRUSKLVP LQ RXU 2$6,6PRGHO 7KXV DQ DFWLRQ LQ 2$6,6 PD\ UHIHUHQFH D VHUYHU FODVV QRW EHLQJ D VSHFLHV ,Q WKLV VLWXDWLRQ WKH V\VWHP PXVW GHWHUPLQH WKH IXOO SURSHUWLHV DW WKH ORZHU OHYHO 7KLV LPSOLHV D VHSDUDWLRQ LQ WZR OHYHOV LQ RXU DQLPDWLRQ HQYLURQPHQW 2Q WKHRQHKDQGZHKDYHREMHFWVZKRVHEHKDYLRU LV JLYHQ E\ RQH VSHFLHV LQ ZKLFK WKH\ ZHUH FUHDWHG 2Q WKH RWKHU KDQG ZH DOVR KDYH D FODVV UHSUHVHQWLQJ HDFK RULJLQDO KLHUDUFK\ FODVV ,Q WKLV DGGLWLRQDO FODVV ZH NHHS D UHIHUHQFHIRUHDFKREMHFWEHORQJLQJWRLW )LJXUHVKRZVKRZHYHU\FODVVLVFRQVLGHUHGDWWKHVDPHOHYHO ZLWKRXWKLHUDUFK\ DQG REMHFWVDUHDVVRFLDWHGWRVSHFLHV+RZHYHUWKHUHDUHPDSSLQJVIURPHDFKFODVVWRWKHLU REMHFWLQVWDQFHV)RUH[DPSOHREMLVDQLQVWDQFHRIFODVV$DQG%DQGLWLVDOVRLQVWDQFH RIDOOVSHFLHVOLNH% HWF &OD V V $

6S H FLH V % 



REM

&ODVV$

REM

&ODVV% &ODVV&



&OD V V %

&OD V V &

6S H FLH V & 

)LJXUH5HSUHVHQWDWLRQH[DPSOH

&RQFOXVLRQ 2$6,6 LV D IRUPDO DSSURDFK IRU WKH VSHFLILFDWLRQ RIREMHFWRULHQWHGFRQFHSWXDOPRGHOV ,Q 2$6,6 FRQFHSWXDO VFKHPHV RI LQIRUPDWLRQ V\VWHPV DUH UHSUHVHQWHG DV VRFLHWLHV RI LQWHUDFWLQJ FRQFXUUHQW REMHFWV $QLPDWLQJ VXFK PRGHOV LQ RUGHU WR YDOLGDWH WKH VSHFLILFDWLRQRILQIRUPDWLRQV\VWHPVLVDWRSLFRILQWHUHVWLQUHTXLUHPHQWVHQJLQHHULQJ 8VLQJ LQKHULWDQFH ZH FDQ VSHFLDOL]H RU JHQHUDOL]H  SURSHUWLHV GHILQHG LQ FODVVHV 6SHFLDOL]DWLRQ LV DQ LPSRUWDQW PRGHOLQJ PHFKDQLVP 7KHUH DUH WZR NLQGV RI VSHFLDOL]DWLRQV LQ 2$6,6 E\ GHILQLQJ VWDWLF DQG G\QDPLF SDUWLWLRQV 2EMHFWV LQ VWDWLF SDUWLWLRQV EHORQJ WR D JLYHQ VSHFLDOL]HG FODVV GXULQJ WKHLU ZKROH OLIHWLPH %HVLGHV REMHFWV LQ G\QDPLF SDUWLWLRQV FDQ PLJUDWH IURP RQH VXEFODVV WR DQRWKHU RQH 7KH PLJUDWLRQEHWZHHQVXEFODVVHVRIWKHVDPHSDUWLWLRQPD\EHGXHWRDFWLRQRFFXUUHQFHRU FKDQJH LQ DWWULEXWH YDOXHV $ SURFHVV PLJUDWLRQ UHSUHVHQWV WKH SRVVLEOH WUDQVLWLRQV DPRQJ VXEFODVVHV WKDW DQ REMHFW FDQ GR ,Q DGGLWLRQ FODVV WHPSODWHV RI 2$6,6 FDQ EH H[SUHVVHGDVDVHWRI'/IRUPXODH 6WDWLF DQG G\QDPLF VSHFLDOL]DWLRQ FRQVWUXFWV LQ FRQFHSWXDO PRGHOLQJ DOORZ H[SUHVVLQJ GLUHFWO\ VRPH SDWWHUQV )RU H[DPSOH LQ >@ WKH G\QDPLF FODVVLILFDWLRQ LV LPSOHPHQWHG  



$PDSSLQJEHWZHHQLGHQWLI\LQJPHFKDQLVPVDQGRLGV

XVLQJ WKH SDWWHUQ QDPHG VWDWH DQG WKH UROH PHFKDQLVP PD\ EH LPSOHPHQWHG XVLQJ WKH SDWWHUQQDPHGUROHREMHFW 7KLVSDSHUJLYHVWKHUHTXLUHGVWHSVWRWUDQVODWHVWDWLFDQGG\QDPLFSDUWLWLRQVLQWKHVDPH IUDPHZRUN RI '/ XVHG IRU FODVV WHPSODWH 7KXV DQ 2$6,6 VSHFLILFDWLRQ ZLWK VSHFLDOL]DWLRQ FDQ EH LQWHUSUHWHG DXWRPDWLFDOO\ DV DQ HTXLYDOHQW VSHFLILFDWLRQ ZLWKRXW VSHFLDOL]DWLRQ LQ RXU '/EDVHG IUDPHZRUN ,Q WKLV ZD\ WKH FXUUHQW DQLPDWLRQ HQYLURQPHQW ZRUNLQJ ZLWK YDOXDWLRQ SURKLELWLRQ DQG REOLJDWLRQ IRUPXODH FDQ EH XVHG WRDQLPDWHVSHFLILFDWLRQVZLWKVSHFLDOL]DWLRQ :H KDYH EXLOW D WUDQVODWRU SURJUDP WR REWDLQ D SURWRW\SH IURP 2$6,6 VSHFLILFDWLRQV DXWRPDWLFDOO\ 7KH WUDQVODWRU VKRXOG EH H[WHQGHG LQ RUGHU WR LQFOXGH WKH PDSSLQJV HVWDEOLVKHG LQ WKLV SDSHU 7KLV ZRUN LV EHLQJ LQWHJUDWHG LQWR D &$6( WRRO IRU V\VWHP PRGHOLQJ VXSSRUWLQJ WKH 2$6,6 DSSURDFK DQG WKH PHWKRGRORJ\ 220(7+2' >@ GHILQHGIRU2$6,6

5HIHUHQFHV >@ >@ >@

>@ >@

>@ >@ >@

>@ >@ >@

>@

)HHQVWUD5%DQG:LHULQJD5- 9DOLGDWLQJ6SHFLILFDWLRQVRI'\QDPLF6\VWHPVXVLQJ$XWRPDWHG 5HDVRQLQJ7HFKQLTXHV,Q-&%LRFKDQG@ >@

>@ >@ >@ >@

2%/2* 6RIWZDUH 6$ 7KH 2%/2* 6RIWZDUH 'HYHORSPHQW $SSURDFK :KLWH 3DSHU   KWWSZZZREORJSW'RZQORDG'RFXPHQWDWLRQH[H 5ROODQG & %HQ $FKRXU & &DXYHW & 5DO\Wp - 6XWFOLIIH $ 0DLGHQ 1$0 -DUNH 0 +DXPHU 3 3RKO . 'XERLV ( DQG +H\PDQV 3 $ 3URSRVDO IRU D 6FHQDULR &ODVVLILFDWLRQ )UDPHZRUN 7HFKQLFDO 5HSRUW &5(:6  KWWSVXQVLWHLQIRUPDWLNUZWK DDFKHQGH&5(:6UHSRUWVKWP 6iQFKH]3/HWHOLHU3DQG5DPRV,&RQVWUXFWVIRUSURWRW\SLQJLQIRUPDWLRQV\VWHPVZLWKREMHFW 3HWUL 1HWV 3URFHHGLQJ RI WKH ,(((,QWHUQDWLRQDO &RQIHUHQFH RQ 60&  SDJHV  2UODQGR 6LGGLTL-0RUUH\,&5RDVW&5DQG2]FDQ0%7RZDUGVTXDOLW\UHTXLUHPHQWVYLDDQLPDWHG IRUPDOVSHFLILFDWLRQV$QQDOVRI6RIWZDUH(QJLQHHULQJQ 7DLYDOVDDUL $ 2Q WKH 1RWLRQ RI ,QKHULWDQFH $&0 &RPSXWLQJ 6XUYH\V 9RO  1  6HSWHPEHU :LHULQJD5-RQJH:DQG6SUXLW35ROHVDQGG\QDPLFVXEFODVVHVDPRGDOORJLFDSSURDFK 9ULMH87KH1HWKHUODQGV

$$QH[DPSOH ,QWKLVH[DPSOHDYHQGLQJPDFKLQH vm DFFHSWVFRLQV coin_in LQFUHDVLQJWKHFXVWRPHU FUHGLW credit  7KLV FUHGLW GHFUHDVHV coin_out  ZKHQ D SURGXFW LV JLYHQ give  7KH PDFKLQHDOVRDOORZVFDQFHOLQJWKHRSHUDWLRQ CANCEL DQGWKHQUHWXUQLQJDOOWKHVWRUHG FRLQV 7KH PDFKLQH KDV D ZDUQLQJ OLJKW light_empty  WKDW LV VZLWFKHG RQ LI WKH DFWLRQ switch_onRFFXUV7KH2$6,63.0VSHFLILFDWLRQRIvmLVWKHIROORZLQJ FODVVYP LGHQWLILFDWLRQ QXPEHU QXPEHU  FRQVWDQWDWWULEXWHV QXPEHUQDW YDULDEOHDWWULEXWHV FUHGLWQDW   OLJKWBHPSW\ERRO IDOVH  HYHQWV VHWQHZ FRLQBLQ FRLQBRXW OLJKWBHPSW\ JLYH YDOXDWLRQV >VZLWFKBRQ@OLJKWBHPSW\ WUXH >FRLQBLQ@FUHGLW FUHGLW >FRLQBRXW@FUHGLW FUHGLW >JLYH@FUHGLW FUHGLW SUHFRQGLWLRQV &$1&(/LI^FUHGLW!` JLYHLI^FUHGLW!` RSHUDWLRQV &$1&(/ &$1&(/ ^FUHGLW!`FRLQBRXW&$1&(/ ^FUHGLW `FRLQBRXW HQGFODVV

7KLV PDFKLQH LV VSHFLDOL]HG LQ FKRFRODWH PDFKLQHV choc_vm  DQG RWKHUV other_vm  7KLVLVDVWDWLFSDUWLWLRQLQJWKXVWKH2$6,6VSHFLILFDWLRQLVWKHIROORZLQJ FKRFBYPRWKHUBYP VWDWLFVSHFLDOL]DWLRQRIYP

$QREMHFWEHORQJLQJWRWKHFODVV choc_vmKDVFKRFRODWHVDVSURGXFWVDQGWKHLUTXDQWLW\ LV num_chocs7KLVTXDQWLW\LVUHGXFHGE\RQHXQLWZKHQJLYLQJDFKRFRODWH give ,WLV QRWSRVVLEOH DSURKLELWLRQ WRREWDLQDFKRFRODWHLIWKHUHLVQHLWKHUFUHGLWQRUFKRFRODWH ,Q2$6,6ZHKDYH FODVVFKRFBYP YDULDEOHDWWULEXWHV QXPBFKRFVQDW   YDOXDWLRQV >JLYH@QXPBFKRFV QXPBFKRFV SUHFRQGLWLRQV JLYHLI^FUHGLW!DQGQXPBFKRFV!` HQGFODVV

:HZLOOQRZFRQVLGHUDG\QDPLFSDUWLWLRQLQJ7KHLGHDLVWRPDNHDGLVWLQFWLRQEHWZHHQ FKRFRODWH PDFKLQHV ZLWK SURGXFWV with_choc  DQG ZLWKRXW SURGXFWV no_choc  $ PDFKLQHRIW\SHno_chocPXVWVZLWFKRQWKHZDUQLQJ light_empty ,Q2$6,6ZHKDYH QRBFKRF^QXPBFKRFV ` ZLWKBFKRF^QXPBFKRFV!` G\QDPLFVSHFLDOL]DWLRQRIFKRFBYP FODVVQRBFKRF WULJJHUV VZLWFKBRQZKHQ^OLJKWBHPSW\ IDOVH` HQGFODVV

:H ZLOO DOVR LQFOXGH D VWDWLF SDUWLWLRQ RI FODVV choc_vm 7KXV ZH PDNH D GLVWLQFWLRQ EHWZHHQERXQGHG bounded_choc DQGXQERXQGHG unbounded_choc 7KHIROORZLQJ 2$6,6VSHFLILFDWLRQJLYHVWKHGHWDLOHGLQIRUPDWLRQRIWKLVSDUWLWLRQ ERXQGHGBFKRFXQERXQGHGBFKRF VWDWLFVSHFLDOL]DWLRQRIFKRFBYP FODVVXQERXQGHG SURWRFROV *(7&+2& *(7&+2& FRLQBLQ*(7&+2& *(7&+2& ^FUHGLW `JLYH*(7&+2&^FUHGLW!`JLYH*(7&+2&  FRLQBLQ*(7&+2&^FUHGLW `FRLQBRXW*(7&+2&  ^FUHGLW!`FRLQBRXW*(7&+2& HQGFODVV FODVVERXQGHG SURWRFROV *(7&+2& *(7&+2& FRLQBLQ*(7&+2& *(7&+2& JLYH*(7&+2&FRLQBLQ*(7&+2&FRLQBRXW*(7&+2&

  

,WLVPDQGDWRU\LQ2$6,6WRUHSHDWWKHIXOOLQKHULWHGFRQGLWLRQDQGWKHQWRH[SHQGWKHIRUPXODLQWKHVXEFODVVVSHFLDOL]DWLRQ

 



$ERXQGHGPDFKLQHKDVDOLPLWHGDGPLVVLRQRIFUHGLW

*(7&+2& JLYH*(7&+2&FRLQBLQ*(7&+2&FRLQBRXW*(7&+2& *(7&+2& JLYH*(7&+2&FRLQBRXW*(7&+2& HQGFODVV

(YHQWXDOO\ vm LV G\QDPLFDOO\ SDUWLWLRQHG LQ working DQG broken_down $IWHU WKH FUHDWLRQDFWLRQ set WKHPDFKLQHVWDUWVLQWKH working VWDWH$PDFKLQHPD\EHUHSDLUHG repair  WR UHDFK WKH workingVWDWH:KHQWKHDFWLRQ break_downRFFXUVWKHPDFKLQHV PRYHV WR WKH VWDWH broken_down ZKHUH WKH HYHQWV cancel coin_in DQG give DUH QRW KDELOLWDWHG7KHVSHFLILFDWLRQLQ2$6,6 VHHWKH)LJXUH LVWKHIROORZLQJRQH EURNHQBGRZQZRUNLQJ G\QDPLFVSHFLDOL]DWLRQRIYP PLJUDWLRQUHODWLRQLV YP VHWZRUNLQJ ZRUNLQJ EUHDNBGRZQEURNHQBGRZQ EURNHQBGRZQ UHSDLUZRUNLQJ FODVVEURNHQBGRZQ HYHQWV UHSDLU SUHFRQGLWLRQV FRLQBLQLI^IDOVH` &$1&(/LI^IDOVH` JLYHLI^IDOVH` HQGFODVV FODVVZRUNLQJ HYHQWV EUHDNBGRZQ HQGFODVV EURNH GRZQ YP ZRUNLQJ QR FKRF

FKRF YP

ZLWK FKRF

ERXQGHG FKRF

RWKHU YP

XQERXQGHG

FKRF



)LJXUH6SHFLDOL]DWLRQKLHUDUFK\

$'/IRUHDFK2$6,6FODVV :HJLYHKHUHD'/IRUPXODHVHWIRUHDFKFODVVPHQWLRQHGDERYH FODVVYP FUHGLW 1o>FRLQBLQ@FUHGLW 1 FUHGLW 1o>FRLQBRXW@FUHGLW 1

FUHGLW 1o>JLYH@FUHGLW 1 >VZLWFKBRQ@OLJKWBHPSW\ WUXH >VHW@FDQFHO  >&$1&(/@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW!o>FRLQBRXW@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW o>FRLQBRXW@FDQFHO  ™ FUHGLW! o>JLYH@IDOVH ™ FUHGLW! o>&$1&(/@IDOVH FDQFHO &$1&(/šFUHGLW! › FDQFHO &$1&(/šFUHGLW   o>™FRLQBRXW@IDOVH

FODVVFKRFBYP QXPBFKRFV 1o>JLYH@QXPBFKRFV 1 ™ QXPBFKRFV!šFUHGLW! o>JLYH@IDOVH

FODVVERXQGHGBFKRF >VHW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2&  › JHWFKRF *(7&+2& o>FRLQBLQ@IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2& › JHWFKRF *(7&+2& o>FKRF@ IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2&  › JHWFKRF *(7&+2& o>FRLQBRXW@IDOVH

FODVVXQERXQGHGBFKRF >VHW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW  o>JLYH@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW! o>JLYH@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW  o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW! o>FRLQBRXW@JHWFKRF *(7&+2& ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2& o>FRLQBLQ@IDOVH ™ JHWFKRF *(7&+2& o>JLYH@IDOVH ™ JHWFKRF *(7&+2& o>FRLQBRXW@IDOVH

FODVVQRBFKRF OLJKWBHPSW\ IDOVHo>™VZLWFKBRQ@IDOVH

  



7KLVIRUPXODDQGQH[WRQHPD\EHGHOHWHGGXHWRQRWPRGLI\LQJWKHYDULDEOHYDOXHRIWKHSURFHVV

FODVVEURNHQBGRZQ ™ IDOVH o>FRLQBLQ@IDOVH ™ IDOVH o>&$1&(/@IDOVH ™ IDOVH o>JLYH@IDOVH

$5HSUHVHQWDWLRQRIG\QDPLFSDUWLWLRQV $V PHQWLRQHG DERYH SURSHUWLHV RI G\QDPLF SDUWLWLRQV QHHG WR EH LQFOXGHG LQ WKH SDUWLWLRQHGFODVV7KHSURSHUWLHVRIWKHFODVV choc_vmDIWHULQFRUSRUDWLQJWKHSURSHUWLHV RIFODVVHVno_chocDQGwith_chocDUHWKHIROORZLQJRQHV QXPBFKRFV šOLJKWBHPSW\ IDOVHo>™VZLWFKBRQ@IDOVH QXPBFKRFV 1o>JLYH@QXPBFKRFV 1 ™ QXPBFKRFV!šFUHGLW! o>JLYH@IDOVH 

7KHLQFOXVLRQRISURSHUWLHVRIWKHVXEFODVVHV broke_downDQG workingLQWRWKHFODVV vm SOXVWKHPLJUDWRU\SURFHVVJLYHVWKHIROORZLQJVHWRI'/IRUPXODH FUHGLW 1o>FRLQBLQ@FUHGLW 1 FUHGLW 1o>FRLQBRXW@FUHGLW 1 FUHGLW 1o>JLYH@FUHGLW 1 >VZLWFKBRQ@OLJKWBHPSW\ WUXH >VHW@FDQFHO  >&$1&(/@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW!o>FRLQBRXW@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW o>FRLQBRXW@FDQFHO  ™ YP ZRUNLQJ o>JLYH@IDOVH ™ YP ZRUNLQJ o>&$1&(/@IDOVH ™ YP ZRUNLQJ o>FRLQBLQ@IDOVH FDQFHO &$1&(/šFUHGLW! › FDQFHO &$1&(/šFUHGLW   o>FRLQBRXW@IDOVH >VHW@YP ZRUNLQJ YP ZRUNLQJš™ FUHGLW! o>JLYH@IDOVH YP ZRUNLQJš™ FUHGLW! o>&$1&(/@IDOVH YP ZRUNLQJo>EUHDNBGRZQ@YP EURNHQBGRZQ YP EURNHQBGRZQo>UHSDLU@YP ZRUNLQJ ™ YP ZRUNLQJ o>EUHDNBGRZQ@IDOVH ™ YP EURNHBGRZQ o>UHSDLU@IDOVH

$5HSUHVHQWDWLRQRIVWDWLFSDUWLWLRQV $IWHUGHDOLQJZLWKG\QDPLFSDUWLWLRQVZHQHHGWRGHULYHWKH'/IRUPXODHIRUHDFKSDWK IURPHDFKOHDIFODVVWRWKHWRSFODVV 





7KLVIRUPXODLVPRYHGKHUHIURPWKHG\QDPLFVXEFODVV







7KLVSHUPLVVLRQDQGWKHQH[WWZRRQHVUHSODFHWKHSURKLELWLRQVRIvmGXHWREHPRUHUHVWULFWLYH

7KLVIRUPXODDQGWKHIROORZLQJRQHDUHUHODWHGWRWKHPLJUDWRU\SURFHVVRIWKHG\QDPLFSDUWLWLRQ 

FODVVYPFKRFBYPERXQGHG QXPBFKRFV 1o>JLYH@QXPBFKRFV 1 FUHGLW 1o>FRLQBLQ@FUHGLW 1 FUHGLW 1o>FRLQBRXW@FUHGLW 1 FUHGLW 1o>JLYH@FUHGLW 1 >VZLWFKBRQ@OLJKWBHPSW\ WUXH >VHW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FKRF@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBRXW@JHWFKRF *(7&+2& >VHW@YP ZRUNLQJ YP ZRUNLQJo>EUHDNBGRZQ@YP EURNHQBGRZQ YP EURNHQBGRZQo>UHSDLU@YP ZRUNLQJ >VHW@FDQFHO  >&$1&(/@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW!o>FRLQBRXW@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW o>FRLQBRXW@FDQFHO  ™ YP ZRUNLQJ o>JLYH@IDOVH ™ YP ZRUNLQJ o>&$1&(/@IDOVH ™ YP ZRUNLQJ o>FRLQBLQ@IDOVH ™ YP ZRUNLQJ o>EUHDNBGRZQ@IDOVH ™ YP EURNHBGRZQ o>UHSDLU@IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2&  › JHWFKRF *(7&+2& o>FRLQBLQ@IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2& › JHWFKRF *(7&+2& o>FKRF@ IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2&  › JHWFKRF *(7&+2& o>FRLQBRXW@IDOVH ™ QXPBFKRFV!šFUHGLW! o>JLYH@IDOVH FDQFHO &$1&(/šFUHGLW! › FDQFHO &$1&(/šFUHGLW   o>FRLQBRXW@IDOVH QXPBFKRFV šOLJKWBHPSW\ IDOVHo>™VZLWFKBRQ@IDOVH

FODVVYPFKRFBYPXQERXQGHG QXPBFKRFV 1o>JLYH@QXPBFKRFV 1 FUHGLW 1o>FRLQBLQ@FUHGLW 1 FUHGLW 1o>FRLQBRXW@FUHGLW 1 FUHGLW 1o>JLYH@FUHGLW 1 >VZLWFKBRQ@OLJKWBHPSW\ WUXH >VHW@YP ZRUNLQJ YP ZRUNLQJo>EUHDNBGRZQ@YP EURNHQBGRZQ YP EURNHQBGRZQo>UHSDLU@YP ZRUNLQJ >VHW@FDQFHO  >&$1&(/@FDQFHO &$1&(/

  



7KLV SURKLELWLRQ IRUPXODH DVVRFLDWHG WR getHYHQWZKDWKDYHMXVWEHHQPHQWLRQHGMXVWDERYHFDQEHPL[HGLQWRRQHIRUPXODE\XVLQJWKH ORJLFFRQQHFWRUµ›¶



FDQFHO &$1&(/šFUHGLW!o>FRLQBRXW@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW o>FRLQBRXW@FDQFHO  ™ YP ZRUNLQJ o>JLYH@IDOVH ™ YP ZRUNLQJ o>&$1&(/@IDOVH ™ YP ZRUNLQJ o>FRLQBLQ@IDOVH ™ YP ZRUNLQJ o>EUHDNBGRZQ@IDOVH ™ YP EURNHBGRZQ o>UHSDLU@IDOVH ™ QXPBFKRFV!šFUHGLW! o>JLYH@IDOVH FDQFHO &$1&(/šFUHGLW! › FDQFHO &$1&(/šFUHGLW   o>FRLQBRXW@IDOVH QXPBFKRFV šVZLWFKBRQ IDOVHo>™OLJKWBHPSW\@IDOVH >VHW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW  o>JLYH@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW! o>JLYH@JHWFKRF *(7&+2& JHWFKRF *(7&+2&o>FRLQBLQ@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW  o>FRLQBRXW@JHWFKRF *(7&+2& JHWFKRF *(7&+2&š FUHGLW! o>FRLQBRXW@JHWFKRF *(7&+2& ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2& o>FRLQBLQ@IDOVH ™ JHWFKRF *(7&+2& o>JLYH@IDOVH ™ JHWFKRF *(7&+2& o>FRLQBRXW@IDOVH ™ JHWFKRF *(7&+2& › JHWFKRF *(7&+2& o>FRLQBLQ@IDOVH ™ JHWFKRF *(7&+2& o>JLYH@IDOVH ™ JHWFKRF *(7&+2& o>FRLQBRXW@IDOVH 

FODVVYPRWKHUBYP FUHGLW 1o>FRLQBLQ@FUHGLW 1 FUHGLW 1o>FRLQBRXW@FUHGLW 1 FUHGLW 1o>JLYH@FUHGLW 1 >VZLWFKBRQ@OLJKWBHPSW\ WUXH >VHW@FDQFHO  >&$1&(/@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW!o>FRLQBRXW@FDQFHO &$1&(/ FDQFHO &$1&(/šFUHGLW o>FRLQBRXW@FDQFHO  ™ YP ZRUNLQJ o>JLYH@IDOVH ™ YP ZRUNLQJ o>&$1&(/@IDOVH ™ YP ZRUNLQJ o>FRLQBLQ@IDOVH FDQFHO &$1&(/šFUHGLW! › FDQFHO &$1&(/šFUHGLW   o>FRLQBRXW@IDOVH >VHW@YP ZRUNLQJ YP ZRUNLQJo>EUHDNBGRZQ@YP EURNHQBGRZQ YP EURNHQBGRZQo>UHSDLU@YP ZRUNLQJ ™ YP ZRUNLQJ o>EUHDNBGRZQ@IDOVH ™ YP EURNHBGRZQ o>UHSDLU@IDOVH

$3URSHUWLHVRIVSHFLHV

 



7KLVIRUPXODDQGWKHQH[WRQHFDQEHGHOHWHGDOWKRXJKZHSUHIHUWRNHHSWKHPLQRUGHUWRPDNHWKHWUDQVODWLRQSURFHVVFOHDUHU

$V PHQWLRQHG DERYH LW LV SRVVLEOH WR GHGXFH WKH SURSHUWLHV DV '/ IRUPXODH  IRU HDFK VSHFLHV DV WKH XQLRQ RI WKH UHVSHFWLYH SURSHUWLHV ,Q WKH H[DPSOH ZH GLVWLQJXLVK WKH IROORZLQJVSHFLHVLQYROYLQJRQO\VWDWLFSDUWLWLRQV RWKHUBYP ERXQGHGBFKRF XQERXQGHGBFKRF

7KHVHV VSHFLHV FRUUHVSRQG ZLWK HDFK FODVV PHQWLRQHG DERYH ,Q RUGHU WR FRPSOHWH WKH FDOFXOXV RI SURSHUWLHV ZH SUHVHQW KHUH WKH VHW RI LGHQWLILFDWLRQ PHFKDQLVPV DWWULEXWHV DQGHYHQWVGHGXFHGIURPWKHVSHFLDOL]DWLRQKLHUDUFK\RIRXUH[DPSOH $,GHQWLILFDWLRQPHFKDQLVPV 7KH XQLTXH DYDLODEOH LGHQWLILFDWLRQ PHFKDQLVP number) KDV EHHQ GHILQHG LQ WKH FODVV vm7KLVPHFKDQLVPLVLQKHULWHGE\HYHU\VSHFLHV $$WWULEXWHVDQGHYHQWV :H SUHVHQW WKH DWWULEXWH DQG HYHQW VHWV IRU HDFK VSHFLHV :H DVVXPH WKDW WKH SRVVLEOH FRQIOLFWV FDXVHG E\ FRLQFLGHQWDO QDPHV KDYH EHHQ SUHYLRXVO\ DGMXVWHG DV D SDUW RI WKH FRQVLVWHQF\YHULILFDWLRQSURFHVVRIWKHVSHFLILFDWLRQ 6SHFLHYPFKRFBYPERXQGHG $WU ^QXPEHUFUHGLWVZLWFKBRQQXPBFKRFV` (Y ^VHWFRLQBLQFRLQBRXWOLJKWBHPSW\JLYH&$1&(/UHSDLU EUHDNBGRZQ`

6SHFLHYPFKRFBYPXQERXQGHG $WU ^QXPEHUFUHGLWVZLWFKBRQQXPBFKRFV` (Y ^VHWFRLQBLQFRLQBRXWOLJKWBHPSW\JLYH&$1&(/UHSDLU EUHDNBGRZQ`

(VSHFLHYPRWKHUBYP $WU ^QXPEHUFUHGLWVZLWFKBRQ` (Y ^VHWFRLQBLQFRLQBRXWOLJKWBHPSW\JLYH&$1&(/UHSDLU EUHDNBGRZQ`

 

,QWKLVH[DPSOHWDNLQJLQWRDFFRXQWWKDWWKHUHLVRQO\RQHKLHUDUFK\DQGWKDWWKHUHLVRQO\RQHGRXEOHVWDWLFSDUWLWLRQRIWKHVDPHFODVV VSHFLHVDUHIRUPHGE\RQO\RQHFODVV,QDPRUHJHQHUDOFDVHLWVKRXOGEHQHFHVVDU\WRFRQQHFWWKHSURSHUWLHVRIHDFKFODVV

Suggest Documents