Robots: A Real-Time Systems Architectural Style

May 31, 2017 | Autor: Vered Gafni | Categoria: Real Time Systems, Operational Semantics
Share Embed


Descrição do Produto

5RERWV$5HDO7LPH6\VWHPV$UFKLWHFWXUDO6W\OH 9HUHG*DIQL 0%7,VUDHO$LUFUDIW,QGXVWULHV@7KHDFWXDODUFKLWHFWXUHRIDVRIWZDUHV\VWHPDIIHFWVWRD ODUJHH[WHQWWKHFDSDELOLWLHVRISURJUDPDQDO\VLVXQGHUVWDQGLQJ PDLQWDLQDELOLW\DQG YHULILFDWLRQ ZLWK UHVSHFW WR WKH V\VWHP UHTXLUHPHQWV 7KHUHIRUH LW LV LPSRUWDQW WR GHYHORSWKHVRIWZDUHGHVLJQDFFRUGLQJWRDZHOOGHILQHGDUFKLWHFWXUDOVW\OHWKDWZRXOG OHDG WR D ULJRURXV \HW VLPSOH DQG FOHDU VWUXFWXUH RI WKH VRIWZDUH DUFKLWHFWXUH 7KH HIIHFWLYHQHVV RI DUFKLWHFWXUDO VW\OHV LV FRQVLGHUDEO\ LQFUHDVHG E\ WKHLU IRUPDOL]DWLRQ E\ $'/V $UFKLWHFWXUDO 'HVFULSWLRQ /DQJXDJHV  LQ ZKLFK FDVH DXWRPDWLF FRGH JHQHUDWLRQDQGPHFKDQL]DWLRQRIDQDO\VLVDQGYHULILFDWLRQSURFHGXUHVDUHSRVVLEOH 5HDOWLPH V\VWHPV LQWURGXFH VSHFLDO DUFKLWHFWXUDO UHTXLUHPHQWV 6XFK V\VWHPV FRQVLVW RI D FRQWUROOHU DQ HPEHGGHG FRPSXWHU  DLPHG DW WKH VWDELOL]DWLRQ RI DQ RQJRLQJ SURFHVV DW D UHTXLUHG VWDWH GLFWDWHG G\QDPLFDOO\  E\ D FRPPDQGLQJ HQYLURQPHQW 7KH FRQWUROOHU FRQWLQXRXVO\ UHDFWV WR WKH HQYLURQPHQW GDWD DQG HYHQWV E\FRPSXWHGUHVSRQVHVWKDWPXVWEHDFFRPSOLVKHGZLWKLQKDUGGHDGOLQHVVXFKWKDWWKH UHDFWLRQHIIHFWZLOOEHUHOHYDQWWRWKHSUHVHQWSURFHVVVWDWH WKHUHDOWLPHUHTXLUHPHQW  7\SLFDO UHDOWLPH V\VWHPV HJ DXWRSLORW WUDIILF FRQWURO SURGXFWLRQ OLQH  DUH FKDUDFWHUL]HG E\ FRPSOH[ EHKDYLRUV ZKLFK LQYROYH FRQFXUUHQW FRQWURO RI PDQ\ LQWHUDFWLQJ VXESURFHVVHV ,Q DGGLWLRQ VXFK V\VWHPV DUH ODUJH DQG KDYH FRPSOH[ VWUXFWXUDOUHTXLUHPHQWV PXOWLOHYHOGLVWULEXWHG &RUUHVSRQGLQJVRIWZDUHDUFKLWHFWXUH PXVW GHVFULEH WKH SDUWLWLRQ RI WKH SURJUDP LQWR FRQFXUUHQW FRPSXWDWLRQ WKUHDGV WKH G\QDPLFUHFRQILJXUDWLRQRIWKHVHWRIDFWLYHWKUHDGVIROORZLQJ PRGHWUDQVLWLRQVDQG WKHWLPHFRQVWUDLQHGLQWHUDFWLRQEHWZHHQWKHDFWLYHFRPSRQHQWVDWHDFKPRGH

,Q WKLV SDSHU ZH SUHVHQW DQ DUFKLWHFWXUDO VW\OH IRU UHDOWLPH V\VWHPV DQG LWV LPSOHPHQWDWLRQE\DQ$'/FDOOHG5RERWV$EDVLFVSHFLILFDWLRQLQ5RERWVFRQVLVWVRI DV\QFKURQRXVFRQWUROWDVNWKDWLVUHVSRQVLEOHIRUWKHG\QDPLFUHFRQILJXUDWLRQRIWKH V\VWHPFRQWUROOHUDVDVHWRIDV\QFKURQRXVREVHUYHUDQGSURFHVVWDVNV7KHFRQWUROOHU DUFKLWHFWXUHHYROYHVE\KLHUDUFKLFDOUHILQHPHQWRIREVHUYHUVDQGSURFHVVHVLQWRORZHU OHYHOFRQWUROWDVNVHDFKGRPLQDWLQJD QHZVHWRIREVHUYHUVDQG SURFHVVHV 5RERWV LV JLYHQRSHUDWLRQDOVHPDQWLFVE\ VWDWHFKDUWV $OVRWKHDUFKLWHFWXUDOVW\OHLVHPEHGGHG LQ 5RERWV E\ VHPDQWLF UXOHV WKDW DOORZ IRUPDO FKHFNLQJ RI WKH FRQVLVWHQF\ DQG FRPSOHWHQHVVRIDUFKLWHFWXUDOVSHFLILFDWLRQV7KXVLWLVSRVVLEOHWRSHUIRUPDXWRPDWLF SURJUDPDQDO\VLVWKDWFDQEHXVHGIRUSURJUDPXQGHUVWDQGLQJDQGYHULILFDWLRQ 7KRXJKWKHSUHVHQWDWLRQLQWKLVSDSHULVUDWKHULQIRUPDO ZHKRSHLW JLYHVSUHFLVH QRWLRQ RI WKH ODQJXDJH DQG LWV VHPDQWLFV 7KXV 6HFWLRQ  SURYLGHV D GHVFULSWLRQ RI 5RERWVWKURXJKDZRUNHGRXWH[DPSOH6HFWLRQGHVFULEHVLQIRUPDOO\WKHVHPDQWLFV RI 5RERWV 6HFWLRQ  GLVFXVVHV UHODWHG ZRUN DQG 6HFWLRQ  GHVFULEHV WKH FXUUHQW VWDWXVDQGIXWXUHZRUN

 7KH$UFKLWHFWXUDO6W\OHRI5RERWV 7KH FRPPRQ DSSURDFK WR UHDOWLPH GHVLJQ HPSOR\V WDVNV DV WKH EXLOGLQJ EORFNV RI UHDOWLPHSURJUDPV(DFKWDVNIRUPVDQLQGHSHQGHQWWKUHDGRIH[HFXWLRQ$SURJUDP LV FRQILJXUHG DV D VHW RI LQWHUDFWLQJ WDVNV WKDW FDQ EH G\QDPLFDOO\ UHFRQILJXUHG E\ FUHDWLRQ DQG GHOHWLRQ RI WDVNV WKXV DGMXVWLQJ WKH FRQWUROOHU RSHUDWLRQ WR WKH FXUUHQW ZRUNLQJ PRGH ,QWHUWDVN V\QFKURQL]DWLRQ WDNHV SODFH WKURXJK HYHQWV 0RUH VSHFLILFDOO\ D WDVN FDQ DOWHUQDWHO\ VLJQDO HYHQWV ZKLOH H[HFXWLRQ RU VXVSHQG LWV RSHUDWLRQ XQWLO WKH RFFXUUHQFH RI D FHUWDLQ HYHQW RU RQH RI D VHW RI HYHQWV LQ WKH JHQHUDOFDVH  $Q DUFKLWHFWXUDO VW\OH IRU UHDOWLPH V\VWHPV SURYLGHV PHDQV IRU UHSUHVHQWLQJ WKH G\QDPLFUHFRQILJXUDWLRQRIWKH VHWRIDFWLYHWDVNVDORQJWKHV\VWHPRSHUDWLRQDQGD VFKHPHRILQWHUDFWLRQEHWZHHQWKHDFWLYHWDVNVDWHDFKPRGH 5RERWV LV D GHVFULSWLRQ ODQJXDJH WKDW VXSSRUWV D VSHFLILF DUFKLWHFWXUDO VW\OH RI UHDOWLPHV\VWHPV7KLVVHFWLRQSUHVHQWV5RERWVDQGWKHDVVRFLDWHGDUFKLWHFWXUDOVW\OH WKURXJKD ZRUNHGRXWH[DPSOH RI DQ DXWRPDWLF FUXLVH FRQWURO V\VWHP 7KLV H[DPSOH KDV EHHQ H[WHQVLYHO\ XVHG WR GHPRQVWUDWH DQG FRPSDUH DUFKLWHFWXUDO VW\OHV RI UHDOWLPHV\VWHPV>@+HQFHLWFDQEHLQVWUXFWLYHWRHYDOXDWHRXUDSSURDFK   $XWRPDWLF&UXLVH&RQWURO6\VWHP 7KH$XWRPDWLF &UXLVH&RQWURO $&& V\VWHPLVLQWHQGHGWRPDLQWDLQWKHVSHHGRID FDUXQGHUWKHGULYHUFRPPDQG7KH$&&LQWHUIDFHZLWKWKHGULYHU )LJ FRQVLVWVRID PDVWHUVZLWFK RQRII DUHVXPHEXWWRQWKHGULYLQJFRQWUROSHGDOV EUDNHVDQGJDV  DQG D WKUHHVWDWH FRPPDQG OHYHU LQGLFDWLQJ GULYHU UHTXHVWV IRU PDLQWDLQLQJ 0  GHFUHDVLQJ ' RULQFUHDVLQJ , WKHVSHHGRIWKHFDU7KH$&&LQWHUDFWLRQ ZLWKWKH FDUPRWLRQV\VWHPWDNHVSODFHWKURXJKDGLVFUHWHOLQHLQGLFDWLQJZKHWKHUWKHHQJLQHLV UXQQLQJDVSHHGDQGDQ530PHWHUVDWKURWWOHDQGDJHDULQWHJUDWRU 7KH$&&LVHQDEOHGRQO\ZKHQWKHHQJLQHLVUXQQLQJLQZKLFKFDVHLWWDNHVRYHUWKH VSHHGFRQWUROZKHQHYHUWKHPDVWHUVZLWFKLVWXUQHGRQ7KHFRQWUROLVUHOHDVHGXSRQ WXUQLQJWKHPDVWHUVZLWFKRII:KLOHDFWLYHWKH$&&PDLQWDLQVWKHVSHHGUHFRUGHG

PDVWHU

JDVEUDNHV RQRII

SHGDOV

VZLWFK ,

UHVXPH

0 '

EXWWRQ

FRPPDQG OHYHU

$&&

(QJLQH

6SHHG 530

7KURWWOH

&DU0RWLRQ3URFHVV

*HDU

)LJ,QWHUIDFHFKDUWRIWKH$&&V\VWHP

XSRQHQWHULQJWKLVVWDWHE\FRXSOHGFRQWUROORRSVRYHUWKHWKURWWOHDQGWKHJHDU7KH GULYHUPD\UHTXLUHGHFUHDVHRULQFUHDVHRIWKHGHVLUHGVSHHGE\PRYLQJWKHFRPPDQG OHYHUWRWKHFRUUHVSRQGLQJSRVLWLRQ7KHFRQWURORSHUDWLRQLVLPPHGLDWHO\VXVSHQGHGLI DQ\RIWKHGULYLQJSHGDOVDUHSUHVVHG7KHGULYHU PD\UHWXUQ FRQWURO WR WKH $&& E\ SUHVVLQJ WKH UHVXPH EXWWRQ LQ ZKLFK FDVH WKH $&& FRQWLQXHV WR PDLQWDLQ WKH ODVW VSHHGFRPPDQG    %DVLF$UFKLWHFWXUDO6WUXFWXUH 7KH EDVLF DUFKLWHFWXUDO VWUXFWXUH RI 5RERWV LV D URERW D V\VWHP FRPSULVHV D VHW RI KLHUDUFKLFDOO\UHODWHGURERWV)RUH[DPSOH)LJLOOXVWUDWHVWKHVRIWZDUHDUFKLWHFWXUH FRUUHVSRQGLQJWRWKHWRSOHYHOURERWRIWKH$&&,QJHQHUDODURERWFRQVLVWVRIWKUHH W\SHVRIWDVNV LQGLFDWHGE\GLIIHUHQWVKDSHVLQWKHILJXUH WKDWLQWHUDFWDFFRUGLQJWRD GHILQLWHVFKHPH6SHFLILFDOO\ZHHPSOR\WKHIROORZLQJWDVNW\SHV x $ VLQJOH FRQWURO WDVN ZKRVH UROH LV WR PDLQWDLQ WKH RSHUDWLRQDO PRGH RI WKH FRQWUROOHU WKH WDVN $&& LQ WKH SUHVHQW H[DPSOH  ,W RSHUDWHV E\ UHVSRQGLQJ WR PRGHWUDQVLWLRQHYHQWVZLWKSURSHUUHFRQILJXUDWLRQV FUHDWLRQDQGGHOHWLRQ RIWKH VHWRIDFWLYHWDVNV x 2EVHUYHUV DUH WDVNV ZKRVH UROH LV WR LGHQWLI\ DQG UHSRUW WR WKH FRQWURO WDVN WKH RFFXUUHQFHV RI HYHQWV LQ WKH URERW HQYLURQPHQW ERWK WKH FRPPDQGLQJ HQYLURQPHQWDQGWKHSURFHVVXQGHUFRQWURO )RUH[DPSOH WKH WDVN (QJLQH LV DQ REVHUYHU LQWHQGHG WR LGHQWLI\ WKH SURFHVV HYHQWV HQJLQHRQ DQG HQJLQHRII  LQGLFDWHWKHHQJLQHVWDUWDQGVWRSUXQQLQJUHVSHFWLYHO\ 2QWKHRWKHUKDQGWKH WDVN 6ZLWFK LV DQ REVHUYHU WKDW LGHQWLILHV WKH FRPPDQGLQJ HYHQWV VWDUWDFF DQG VWRSDFF LQGLFDWHWKHWXUQLQJVRIWKHPDVWHUVZLWFKRQDQGRIIUHVSHFWLYHO\  x 3URFHVVHV DUH WDVNV WKDW SHUIRUP DFWXDO FRQWURO RSHUDWLRQV WKDW UHJXODWH WKH EHKDYLRURIWKHFRQWUROOHGSURFHVV,QRXUH[DPSOHWKHSURFHVV &UXLVH&RQWURO LV UHVSRQVLEOHIRUPDLQWDLQLQJWKHDFWXDODXWRPDWLFFUXLVHFRQWUROSURFHVV

 

7KHJHDUFRQWUROUHTXLUHPHQWLVQRWSDUWRIWKHRULJLQDOSUREOHP,WKDVEHHQDGGHGLQRUGHUWR GHPRQVWUDWHFRPSRVLWLRQRIV\QFKURQL]LQJSURFHVVHV

 

6ZLWFK

VWDUWDFF

HQJLQHRQ

VWRSDFF

HQJLQHRII

$&&

FUHDWH GHOHWH

(QJLQH

FUHDWH GHOHWH

FUHDWHGHOHWH

&UXLVH&RQWURO

)LJ7KHWRSOHYHOVRIWZDUHDUFKLWHFWXUHRIWKH$&&V\VWHP 7KH LGHD XQGHUO\LQJ D URERW FRQVWUXFWLRQ LV WKDW DW HYHU\ VWDWH RI WKH V\VWHP RSHUDWLRQ WKH FRQWURO WDVN LV UHVSRQVLEOH IRU PDLQWDLQLQJ DFWLYH WKH SURFHVVHV WKDW SHUIRUPWKHRSHUDWLRQUHTXLUHGDWWKHSUHVHQWPRGHDQGWKHREVHUYHUVWKDWLGHQWLI\WKH HYHQWVWKDWPLJKWFDXVHDWUDQVLWLRQWRDIROORZLQJRSHUDWLRQDOPRGH)RULQVWDQFHWKH WDVN (QJLQHPXVWEHDFWLYHDVORQJDVWKH $&&LVRSHUDWLQJ2Q WKH RWKHU KDQG WKH WDVN 6ZLWFK PXVW EH NHSW DFWLYH RQO\ ZKLOH WKH HQJLQH LV UXQQLQJ DQG WKH WDVN &UXLVH&RQWUROLVDFWLYHRQO\ZKHQWKHVZLWFKLVRQZKLOHWKHHQJLQHLVUXQQLQJ 7KXV LQ JHQHUDO D URERW FRPSULVHV D VLQJOH FRQWURO WDVN WKDW PDQLSXODWHV WKH FUHDWLRQDQGGHOHWLRQRIDQXPEHURISURFHVVHVDQGREVHUYHUVZKLFKLQWXUQVLJQDOWKH FRQWUROWDVNZLWKWKHRFFXUUHQFHVRIHYHQWVWKDWPD\FDXVHIXUWKHUUHFRQILJXUDWLRQRI WKHVHWRIDFWLYHWDVNV   5RERWV7KH$UFKLWHFWXUDO'HVFULSWLRQ/DQJXDJH $URERWVSHFLILFDWLRQLQ5RERWVFRPSULVHVWH[WXDODQGYLVXDOGHVFULSWLRQVWRUHSUHVHQW D UHDOWLPH VXEV\VWHP LQ WKH DUFKLWHFWXUDO VW\OH GHVFULEHG DERYH )RU LQVWDQFH WKH IROORZLQJURERWUHSUHVHQWVWKHWRSOHYHOVSHFLILFDWLRQRIWKH$&& URERW$&& FRQWURO

(QJLQH

$&& HQJLQHRII

'LVDEOHG

HQJLQHRQ

6ZLWFK ,QDFWLYH

VWDUWDFF VWRSDFF

(QDEOHG

$FWLYH &UXLVH&RQWURO

ZKHUH REVHUYHU(QJLQHVLJQDOV^HQJLQHRQHQJLQHRII` REVHUYHU6ZLWFKVLJQDOV^VWDUWDFFVWRSDFF` SURFHVV&UXLVH&RQWURO

7KH ILUVW OLQH LGHQWLILHV WKH URERW E\ D XQLTXH QDPH ZKLFK LV DOVR XVHG DV WKH

LGHQWLILHU RI WKH FRQWURO WDVN WKDW IROORZV  7KH ERG\ RI WKH URERW FRQVLVWV RI WKH VSHFLILFDWLRQ RI WKH URERW XQLTXH  FRQWURO WDVN IROORZHG E\ D ³ZKHUH´ VHFWLRQ WKDW VSHFLILHV WKH LQWHUIDFH RI WKH VHUYHUV WKH REVHUYHUV DQG SURFHVVHV  WKDW DUH PDQLSXODWHGE\WKHFRQWUROWDVN 7KH FRQWURO WDVN EHKDYLRU LV H[SUHVVHG E\ D VHTXHQWLDO VWDWHFKDUW >@ WKDW LV DXJPHQWHGZLWKWDVNVWLFNHUVSODFHGRQWKHIUDPHVRIWKHVWDWHV$WDVNVWLFNHUEHDUVD WDVNQDPHDQGKDVDVKDSHWKDWLQGLFDWHVLWVW\SHURXQGHGFRUQHUVUHFWDQJOHVGHQRWH REVHUYHUV DQG QRUPDO UHFWDQJOHV GHQRWH SURFHVVHV 2SHUDWLRQDOO\ WKH LQWHQGHG PHDQLQJRIWDVNVWLFNHUVWKDWDUHDWWDFKHGWRDVWDWHLVWKDWWKHFRUUHVSRQGLQJWDVNVDUH UHVSHFWLYHO\FUHDWHGDQGGHOHWHGXSRQHDFKHQWUDQFHDQGH[LWRIWKHVWDWH ,QRXUH[DPSOHWKHWRSOHYHOEHKDYLRUJLYHQE\WKH$&&VWDWHFKDUWFRQVLVWVRIWZR VWDWHV'LVDEOHG LQLWLDO DQG(QDEOHG7KHWUDQVLWLRQVEHWZHHQWKHVHVWDWHVDUHFDXVHG UHVSHFWLYHO\E\WKHHYHQWVHQJLQHRQDQGHQJLQHRIIWKDWDUHLGHQWLILHGE\WKHREVHUYHU WDVN (QJLQHZKLFKLVDOZD\VDFWLYH LQGLFDWHGE\WKHWDVNVWLFNHUSODFHGRQWKHPRVW RXWHUVWDWHIUDPH 7KHVWDWH(QDEOHGFRQVLVWVRIWZRVXEVWDWHV,QDFWLYH LQLWLDO DQG $FWLYH7KHWUDQVLWLRQIURP,QDFWLYHWR$FWLYHLVGXHWRWKHHYHQWVWDUWDFF LGHQWLILHG E\ WKH REVHUYHU WDVN 6ZLWFK WKDW EHFRPHV DFWLYH XSRQ WKH HQWUDQFH WR WKH VWDWH (QDEOHG  ,Q WKH RWKHU GLUHFWLRQ WKH HYHQW VWRSDFF ZLOO FDXVH WKH WUDQVLWLRQ IURP $FWLYH WR VWDWH ,QDFWLYH :LWKLQ WKH VWDWH $FWLYH WKH SURFHVV &UXLVH&RQWURO WKDW PDLQWDLQVWKHDFWXDOFUXLVHFRQWURORSHUDWLRQLVDFWLYH 7KH VSHFLILFDWLRQ RI D VHUYHU LQWHUIDFH VWDUWV ZLWK WKH W\SH LGHQWLILHU REVHUYHU RU SURFHVV IROORZHG E\ WKH WDVN QDPH 2EVHUYHU¶V VSHFLILFDWLRQV OLNH (QJLQH DQG 6ZLWFKDOVRFRQWDLQWKHILHOG³VLJQDOV´WKDWOLVWVWKHHYHQWVWKDWDUHLGHQWLILHGE\WKH WDVN7KHVSHFLILFDWLRQRIWKHSURFHVVLQWHUIDFH &UXLVH&RQWUROFRQWDLQVQRDGGLWLRQDO LQIRUPDWLRQ 1RWH WKDW WKH VSHFLILFDWLRQ RI D VHUYHU W\SH LV UHGXQGDQW  LW LV DOUHDG\ JLYHQE\WKHVKDSHRIWKHWDVNVWLFNHU KRZHYHUWKLVIRUPZDVHQFRXUDJHGE\5RERWV¶ XVHUVIRUWKHVDNHRIUHDGDELOLW\ 7KHVHUYHUWDVNVDUHFODVVLILHGWREHHLWKHULQWKHVWDWXVWREHUHILQHG DVLQGHHGDUH WKHWDVNVLQWKHSUHVHQWH[DPSOH RULQWKHVWDWXVH[HFXWDEOHLIWKHVSHFLILFDWLRQDOVR FRQWDLQV WKH DFWLYDWLRQ FRQGLWLRQV RI WKH WDVN ,Q D FRPSOHWH V\VWHP VSHFLILFDWLRQ HYHU\WREHUHILQHGWDVNPXVWKDYHDQDVVRFLDWHGUHILQHPHQW VHHQH[WVHFWLRQ  ,W LV ZRUWKZKLOH PHQWLRQLQJ WKH FRQVWUDLQWV LPSRVHG RQ WKH IXQFWLRQDOLW\ DQG LQWHUDFWLRQRIWDVNVDVLOOXVWUDWHGE\WKHURERW$&&)RULQVWDQFH x FUHDWLRQDQGGHOHWLRQRIWDVNVDUHDOORZHGRQO\E\WKHFRQWUROWDVN x WKHH[LVWHQFHRIDGHILQLWHVRXUFHIRUHYHU\HYHQW x HYHQWVIORZLQDIL[HGGLUHFWLRQIURPREVHUYHUVWRWKHFRQWUROWDVN 6XFK FRQVWUDLQWV VLPSOLI\ WR D ODUJH H[WHQW WKH YDOLGDWLRQ RI WKH FRQVLVWHQF\ DQG FRPSOHWHQHVV RI D GHVLJQ )RU LQVWDQFH JLYHQ D URERW VSHFLILFDWLRQ LW FDQ EH HDVLO\ YHULILHG ZHDWKHU RU QRW WKH REVHUYHUV DFWLYDWHG DW HDFK OHYHO SURYLGH IRU WKH LGHQWLILFDWLRQ RI DOO DQG RQO\  WKH HYHQWV WKDW PLJKW FDXVH VWDWH WUDQVLWLRQV DW WKDW OHYHO$FWXDOO\WKHVDWLVIDFWLRQRIVXFKFRQVWUDLQWVFDQEHGHGXFHGDXWRPDWLFDOO\GXH WRWKHIRUPDOVHPDQWLFVRI5RERWV VHH6HFWLRQ 

 

  6WUXFWXUHVRI5RERWV $ URERW GHVFULEHV D VLQJOH FRQWURO SURFHVV DW D FHUWDLQ OHYHO RI DEVWUDFWLRQ ,Q WKLV VHFWLRQ ZH SUHVHQW WZR UHODWLRQV EHWZHHQ URERWV UHILQHPHQW DQG FRPSRVLWLRQ WKDW HQDEOHWKHGHVLJQRIDODUJHV\VWHPDVDKLHUDUFKLFDOVWUXFWXUHRIFRQFXUUHQWURERWV 5HILQHPHQW2QHZD\WRJHQHUDWHDVWUXFWXUHRIURERWVLVE\VWHSZLVHUHILQHPHQWRI WKHLU VHUYHUV LQWR QHZ URERWV )LJ   %RWK REVHUYHUV DQG SURFHVVHV EXW QRW WKH FRQWURO WDVN DUH HOLJLEOH IRU UHILQHPHQW SURYLGHG WKDW WKHLU VSHFLILFDWLRQ VWDWXV LV WREHUHILQHG 7KH RQO\ FRPPLWPHQW RI D UHILQHPHQW LV WR UHVSHFW WKH LQWHUIDFH VSHFLILFDWLRQ RI WKH UHILQHG WDVN DV LW LV GHFODUHG LQ WKH KRVW URERW WKH URERW ZKRVH WDVNLVUHILQHG  REV

REV

&RQWUROWDVN

REV

&RQWUROWDVN

SURFHVV

SURFHVV

SURFHVV

)LJ7DVNUHILQHPHQW

7KHLQWHUDFWLRQEHWZHHQDKRVWDQGLWVUHILQHPHQWVWDNHVSODFHLQWZROHYHOV)LUVWWKH KRVWFRQWUROVWKHDFWLYDWLRQVRILWVUHILQHPHQWV DFWXDOO\DFFRPSOLVKHGE\WKHFUHDWLRQ DQGGHOHWLRQRIWKHLUFRQWUROWDVNV 7KHQDFWLYHREVHUYHUUHILQHPHQWVV\QFKURQL]HWKH KRVW RSHUDWLRQ E\ VLJQDOLQJ HYHQWV WR LWV FRQWURO WDVN WKHVH HYHQWV DUH JHQHUDWHG E\ WKHUHILQHPHQWV¶FRQWUROWDVNV  ,Q WKH URERW $&& DOO WKH VHUYHUV DUH HOLJLEOH IRU UHILQHPHQW VLQFH WKH\ DUH DOO VSHFLILHG DV WREHUHILQHG :H VWDUW ZLWK D UHILQHPHQW RI WKH SURFHVV &UXLVH&RQWURO JLYHQE\WKHIROORZLQJURERW URERW&UXLVH&RQWURO FRQWURO

3HGDOV 2SHUDWLQJ 6SHHG&RQWURO

DERUW UHVXPH

5HVXPH 6XVSHQGHG

ZKHUH REVHUYHU3HGDOVVLJQDOV^DERUW`DFWLYDWLRQLQWHUUXSWGHDGOLQHPV REVHUYHU5HVXPHVLJQDOV^UHVXPH`DFWLYDWLRQSHULRGLF+] SURFHVV6SHHG&RQWURO

7KHURERW &UXLVH&RQWUROHPSOR\VWKHREVHUYHUV 3HGDOVDQG 5HVXPH WR FRQWURO WKH DFWLYDWLRQ RI WKH SURFHVV 6SHHG&RQWURO 7KH URERW VWDUWV LQ VWDWH 2SHUDWLQJ ZKHUH 6SHHG&RQWURO LV DFWLYH7KH HYHQW DERUW VLJQDOHG E\ 3HGDOV WR GHVLJQDWH WKH GULYHU SUHVVHLWKHURQWKHJDVRUWKHEUDNHSHGDOVZLOOFDXVHWUDQVLWLRQWRVWDWH6XVSHQGHGLQ ZKLFKFDVHWKHWDVN 5HVXPHEHFRPHVDFWLYH7KHUHWXUQWRVWDWH2SHUDWLQJLVFDXVHG

E\ WKH HYHQW UHVXPH WKDW LV VLJQDOHG E\ WKH WDVN 5HVXPH ZKHQHYHU D SUHVV RQ WKH UHVXPHEXWWRQKDVEHHQLGHQWLILHG 7KHLQWHUIDFHGHFODUDWLRQVRIWKHREVHUYHUV 3HGDOVDQG 5HVXPHDUHHQULFKHGZLWK WZRILHOGV³DFWLYDWLRQ´DQG³GHDGOLQH´7KHILUVWVSHFLILHVWKHDFWLYDWLRQHYHQWRIWKH WDVN7KHUHDUHWZRW\SHVRIDFWLYDWLRQHYHQWVLQWKLVH[DPSOH x SHULRGLF LQWKHWDVN5HVXPH LQGLFDWHVSHULRGLFDFWLYDWLRQRIWKHWDVNDWWKHUDWH GHQRWHGE\WKHDVVRFLDWHGSDUDPHWHU x LQWHUUXSW LQ WKH WDVN 3HGDOV  LQGLFDWHV DFWLYDWLRQ E\ DQ KDUGZDUH LQWHUUXSW LGHQWLILHGE\WKHDVVRFLDWHGLQWHJHU  ,QJHQHUDO ZH DOORZDFWLYDWLRQVE\DQ\IRUPRIVSRUDGLFHYHQWV LQSDUWLFXODUHYHQWV VLJQDOHGE\WHUPLQDWLRQVRIWDVNV VHHEHORZ  7KH ILHOG ³GHDGOLQH´ VSHFLILHV WKH PD[LPDO DOORZHG GXUDWLRQ PHDVXUHG IURP WKH RFFXUUHQFHRIWKHDFWLYDWLRQHYHQWWLOOWKHWHUPLQDWLRQRIWKHH[HFXWLRQRIWKHWDVN,Q FDVHRIDQLQWHUUXSWGULYHQWDVNOLNH3HGDOVWKHGHDGOLQHPXVWEHH[SOLFLWO\VSHFLILHG )RU SHULRGLF DFWLYDWLRQ LI WKH GHDGOLQH LV QRW VSHFLILHG  DV LQ WKH FDVH RI 5HVXPH WKHQWKHGHIDXOWLVWKHWDVNSHULRG $VHUYHUVSHFLILHGZLWKDQDFWLYDWLRQILHOGLVGHILQHGWREHH[HFXWDEOH,QRXUPRGHO VHH6HFWLRQ   DQ H[HFXWDEOH WDVN LV D SXUH GDWDSURFHVVLQJ WHUPLQDWLQJ SURJUDP RQH WKDW FRQWDLQV QR V\QFKURQL]DWLRQ ZLWK WKH HQYLURQPHQW  $ VSHFLILFDWLRQ LQ 5RERWVSURYLGHVRQO\WKHDFWLYDWLRQFRQGLWLRQVRIWKHWDVN7KHSURJUDPLVH[HFXWHG LQUHVSRQVHWRHYHU\RFFXUUHQFHRIDQDFWLYDWLRQHYHQWDQGHYHU\ WHUPLQDWLRQRIWKH SURJUDPLVFRQVLGHUHGDQHYHQWWKDWLVVLJQDOHGWRWKHORFDOFRQWUROWDVN7KHHYHQWLV LGHQWLILHG HLWKHU E\ WKH YDOXH UHWXUQHG E\ WKH SURJUDP FRPSXWDWLRQ RU WKH GHIDXOW YDOXHGRQHWKDWLQGLFDWHV MXVW WKH IDFW RI D WHUPLQDWLRQ RI WKH SURJUDP H[HFXWLRQ ,Q QRUPDO H[HFXWLRQ WKH SURJUDP WHUPLQDWLRQ LV H[SHFWHG EHIRUH WKH VSHFLILHG GHDGOLQH H[SLUHV2WKHUZLVHLIWKHGHDGOLQHLVH[FHHGHGWKHZKROHH[HFXWLRQRIWKHV\VWHPLV FRQVLGHUHGHUURQHRXV1RWHWKDWWKHSURJUDPVSHFLILFDWLRQRIDQH[HFXWDEOHWDVNLVQRW SDUW RI WKH 5RERWV VSHFLILFDWLRQ VHH 6HFWLRQ   +RZHYHU WKH IRUELGGDQFH RI V\QFKURQL]HG LQWHUDFWLRQ ZLWK WKH HQYLURQPHQW HQVXUHV WKDW ZKHQHYHU FRPSXWDWLRQV DUHDGGHGWRWKHV\VWHPVSHFLILFDWLRQWKH\FDQQRWLQYDOLGDWHWKHEHKDYLRUDOSURSHUWLHV 1H[W ZH GHPRQVWUDWH D UHILQHPHQW RI WKH WDVN 6ZLWFK WKH UHILQHPHQW RI (QJLQH EHKDYHVVLPLODUWRWKDWRI6ZLWFKKHQFHLWVGHVFULSWLRQLVRPLWWHG  URERW6ZLWFK VLJQDOV^VWDUWDFFVWRSDFF` FRQWURO

6ZLWFK2II 2II

6ZLWFK2Q VZRQ?VWDUWDFF VZRII?VWRSDFF

2Q

ZKHUH REVHUYHU6ZLWFK2IIVLJQDOV^VZRII`DFWLYDWLRQSHULRGLF+] REVHUYHU6ZLWFK2QVLJQDOV^VZRQ`DFWLYDWLRQSHULRGLF+]

7KH ILHOG ³VLJQDOV´ GHFODUHG EHIRUH WKH FRQWURO WDVN VSHFLILHV WKH HYHQWV WKDW DUH VLJQDOHGWRWKHURERWHQYLURQPHQW LQWKLVFDVHWKH$&&FRQWUROWDVN ,QJHQHUDOWKH GHFODUDWLRQ RI D ³VLJQDOV´ ILHOG ZLWK D URERW LQWHUIDFH H[WHQGV WKH FRQVLVWHQF\ FRPPLWPHQWV 1DPHO\ LW PXVW EH FKHFNHG WKDW WKH VSHFLILHG HYHQWV DUH DFWXDOO\

 

JHQHUDWHG E\ WKH FRQWURO WDVN ,Q RXU H[DPSOH WKH FRQWURO WDVN 6ZLWFK JHQHUDWHV WKH LQWHUIDFHHYHQWVZKLOHWUDQVLWLQJEHWZHHQWKHVWDWHV2IIDQG2QLQDFFRUGDQFHZLWKWKH FRUUHVSRQGLQJPDVWHUVZLWFKWUDQVLWLRQV1RWHWKDWWKHLQWHUIDFHHYHQWVDUHLGHQWLILHG E\ GLIIHUHQW QDPHV ZLWKLQ WKH URERW IRU LQVWDQFH VWDUWDFF LV VZRQ  7KLV LV QRW PDQGDWRU\ KRZHYHU ZH ILQG LW DGYDQWDJHRXV DV LW LQGLFDWHV GLIIHUHQW OHYHOV RI DEVWUDFWLRQ &RPSRVLWLRQ $ FRPSRVLWLRQ RI URERWV GHVFULEHV FRQFXUUHQW SURFHVVHV WKDW V\QFKURQL]HHDFKRWKHUH[HFXWLRQVYLDHYHQWV7KHFRPSRVLWLRQRIURERWVLVDVSHFLDO URERWWKDWVSHFLILHVDPDWFKLQJRIWKHHYHQWVWKDWDUHVLJQDOHGLQRQHURERWDQGZDLWHG LQ DQRWKHU URERWV RI WKH FRPSRVLWLRQ )RU H[DPSOH OHW WKH IROORZLQJ UHTXLUHPHQWV GHILQHWKHVSHHGFRQWUROSURFHVVLQWKH$&&        

7KH SURFHVV FRQWUROV WKH JHDU WUDQVLWLRQV EHWZHHQ WKUHH SRVLWLRQV   ' DFFRUGLQJWRWKHHQJLQH530 7KH VSHHG FRQWURO LV RSHUDWHG LQ WZR PRGHV QRUPDO DQG VSHFLDO HDFK FKDUDFWHUL]HGE\DGLIIHUHQWWUDQVIHUIXQFWLRQ  7KHQRUPDOPRGHLVPDLQWDLQHGDWSRVLWLRQ'DQGDWSRVLWLRQSURYLGHGLWKDV EHHQHQWHUHGIURPSRVLWLRQ'RULWLVWKHLQLWLDOJHDUSRVLWLRQ 7KHVSHFLDOPRGHLVPDLQWDLQHGDWSRVLWLRQDQGDWSRVLWLRQSURYLGHGLWKDV EHHQHQWHUHGIURPSRVLWLRQ

:H ILUVW VSHFLI\ WKH EHKDYLRUV RI WKH JHDU DQG WKH WKURWWOH SURFHVVHV E\ VHSDUDWH URERWV7KHJHDUFRQWUROSURFHVVLVVSHFLILHGDVIROORZV URERW*HDU&UO FRQWURO 530

USP'

,QLW

USP

USP

'ULYH 6HW'

USP USP'

 6HW

USP USP

 6HW

ZKHUH REVHUYHU530VLJQDOV^USPUSPUSP'`DFWLYDWLRQSHULRGLF+] SURFHVV6HWDFWLYDWLRQRQFHDWFUHDWLRQGHDGOLQHPV SURFHVV6HWDFWLYDWLRQRQFHDWFUHDWLRQGHDGOLQHPV SURFHVV6HW'DFWLYDWLRQRQFHDWFUHDWLRQGHDGOLQHPV

7KH REVHUYHU 530 VLJQDOV WKH JHDU SRVLWLRQ FRUUHVSRQGLQJ WR WKH FXUUHQW 530 ,W VHUYHVWRGHWHUPLQHWKHLQLWLDOJHDUSRVLWLRQ'ULYHRUDQGWKHIXUWKHUH[FKDQJHV (DFK RI WKH SURFHVVHV 6HW 6HW DQG 6HW' LQWHJUDWHV WKH JHDU LQWR WKH FRUUHVSRQGLQJ SRVLWLRQ 7KH\ DUH DFWLYDWHG MXVW RQFH XSRQ WKH HQWUDQFH WR WKH FRUUHVSRQGLQJVWDWH7KLVLVDVSHFLDOIRUPRIDVSRUDGLFHYHQWWKDWLVVSHFLILHGE\WKH YDOXHRQFHDWFUHDWLRQXVHGLQWKHDFWLYDWLRQILHOG

1H[WWKHWKURWWOHEHKDYLRULVVSHFLILHGDVIROORZV URERW7KURWWOH&UO KRVWHYHQWV^ORZGULYH` FRQWURO

1RUPDO

1RUPDO&UO

ORZ GULYH

6SHFLDO

6SHFLDO&UO

ZKHUH SURFHVV1RUPDO&UO SURFHVV6SHFLDO&UODFWLYDWLRQSHULRGLF+] 7KHLQWHUIDFHILHOG³KRVWHYHQWV´LQGLFDWHVHYHQWVWKDWDUHH[SHFWHGWREHVLJQDOHGE\ DQ\URERWWKDWZLOOKRVW7KURWWOH&UO WKXVQRREVHUYHUZLOOEHDOORFDWHGZLWKLQWKHURERW LQRUGHUWRGHWHFWWKHP $GHILQLWLRQRIWKLVNLQGDOORZVXVWRHPSOR\URERWVDVOLEUDU\ FRPSRQHQWV WKHHYHQWVDUHLQVWDQWLDWHGE\WKHDSSOLFDWLRQWKDWXVHVWKHURERW  *LYHQWKHVSHFLILFDWLRQVRIWKHURERWV 7KURWWOH&UODQG *HDU&UOWKHLUFRPSRVLWLRQLV VSHFLILHGE\WKHURERW6SHHG&RQWURODVIROORZV URERW6SHHG&RQWURO FRPSRVLWLRQ^7KURWWOH&UO*HDU&UO` ZKHUH7KURWWOH&UOORZm*HDU&UOUSP 7KURWWOH&UOGULYHm*HDU&UOUSP'

7KHWHUPVRIWKHIRUP³HYHQWmHYHQW¶¶VSHFLI\WKDWHYHU\VLJQDORIHYHQWLVDOVR LQWHUSUHWHG DV D VLJQDO RI WKH HYHQW HYHQWV LQ D FRPSRVLWLRQ DUH UHSUHVHQWHG LQ WKH IRUP URERWLGHYHQWLG ZKHUH URERWLG GHQRWHV WKH URERW LQ ZKLFK WKH HYHQW LV GHFODUHG 7KLV ZD\ ZH V\QFKURQL]H EHWZHHQ HYHQWV RI WKH URERWV WKDW SDUWLFLSDWH LQ WKHFRPSRVLWLRQ 6HPDQWLFDOO\DFRPSRVLWLRQRIURERWVLVHTXLYDOHQWWRDVLQJOHURERWZKRVHFRQWURO WDVN LV UHSUHVHQWHG E\ WKH $1'FRPSRVLWLRQ RI WKH VWDWHFKDUWV RI WKH LQGLYLGXDO URERWV DQG HYHU\ WUDQVLWLRQ ODEHOHG E\ HYHQW LV UHSODFHG E\ D WUDQVLWLRQ ODEHOHG E\ HYHQWHYHQWIRUHYHU\GHFODUDWLRQ³HYHQWmHYHQW¶¶ )URPDVRIWZDUHHQJLQHHULQJSHUVSHFWLYHWKHQRWDWLRQHPSOR\HGLQ5RERWVKDVWKH DGYDQWDJH RI ORRVLQJ WKH FRXSOLQJ EHWZHHQ WKH V\QFKURQL]LQJ SURFHVVHV VLQFH WKH FRQQHFWLRQLVPDGHRQO\DWWKHOHYHOZKHUHWKHSURFHVVHVDUHDFWXDOO\FRPSRVHG WKXV HDFKSURFHVVFDQEHVSHFLILHGLQGHSHQGHQWO\ ,QFRQWUDVWLQ6WDWHFKDUWVWKHVLJQDOLQJ WDVNPXVW³NQRZ´WKDWDQRWKHUWDVNLVV\QFKURQL]LQJRQLWVHYHQWVPRUHRYHULWPXVW NQRZWKHLGHQWLILFDWLRQRIWKHHYHQWLQWKHV\QFKURQL]HGWDVN

 

  &RPSOHWLQJWKH$&&6SHFLILFDWLRQ :H FRPSOHWH WKH VSHFLILFDWLRQ RI WKH $&& ZLWK WKH UHILQHPHQW RI WKH SURFHVV

1RUPDO&UODVIROORZV URERW1RUPDO&UO FRQWURO

&PG/HYHU 0DLQWDLQ

,QLW

6HW6SHHG&PG

GRQH

LQFUHDVH

GHFUHDVH

PDLQWDLQ

,QFUHDVH

,QF&PG

'HFUHDVH

'HF&PG

7KURWWOH&UO/RRS ZKHUH REVHUYHU&PG/HYHUVLJQDOV^PDLQWDLQLQFFPGGHFFPG` DFWLYDWLRQSHULRGLF+] SURFHVV6HW6SHHG&PGVLJQDOV^GRQH` DFWLYDWLRQRQFHDWFUHDWLRQGHDGOLQHPV SURFHVV,QF6SHHG&PGDFWLYDWLRQSHULRGLF+] SURFHVV'HF6SHHG&PGDFWLYDWLRQSHULRGLF+] SURFHVV7KURWWOH&UO/RRSDFWLYDWLRQSHULRGLF+]

7KLVURERWVWDUWVRSHUDWLQJLQVWDWH,QLWZKHUHWKHSURFHVV 6HW6SHHG&PGLVDFWLYDWHG MXVWRQFH LWLQLWLDOL]HVWKHVSHHGFRPPDQGWREHPDLQWDLQHGE\WKH$&&WRWKHFXUUHQW FDU VSHHG  7KH H[LW IURP VWDWH ,QLW LV FDXVHG E\ WKH HYHQW GRQH WKDW LV VLJQDOHG E\ 6HW6SHHG&PG XSRQ LWV WHUPLQDWLRQ VHH 6HFWLRQ   7HUPLQDWLRQ HYHQWV QHHG QRW DOORFDWHGREVHUYHUVLQRUGHUWREHGHWHFWHG WKH\DUHKDQGOHGE\WKHRSHUDWLQJV\VWHP VHHWKHVXEVHFWLRQRIH[HFXWLRQHQYLURQPHQWLQ6HFWLRQ  7KHWUDQVLWLRQHYHQWVLGHQWLILHGE\&PG/HYHUGHQRWHWKHSRVLWLRQV¶H[FKDQJHRIWKH FRPPDQGOHYHU 7KH SURFHVVHV ,QF6SHHG&PG DQG 'HF6SHHG&PG PRGLI\ WKH VSHHG FRPPDQG LQ RSHQ ORRS DQG 7KURWWOH&UO/RRS SHUIRUPV WKH DFWXDO FRQWURO RSHUDWLRQ (DFK LV DQ H[HFXWDEOH WDVN DVVRFLDWHG ZLWK D FRUUHVSRQGLQJ FRPSXWDWLRQ 7KURWWOH&UO/RRS IRU LQVWDQFH UHDGV WKH FXUUHQW VSHHG FRPSDUHV LW ZLWK WKH VSHHG FRPPDQG IHHGV WKH HUURU LQWR D WUDQVIHU IXQFWLRQ DQG RXWSXWV WKH FRPSXWHG UDWH FRPPDQGWRWKHWKURWWOH  )LJSUHVHQWVWKHFRPSOHWHWUHHVWUXFWXUHRIWDVNVWKDWLPSOHPHQWVWKH$&&V\VWHP UHFWDQJOHVGHQRWHFRQWUROWDVNVFLUFOHVGHQRWHH[HFXWDEOHVHUYHUV(YHU\FRQWUROWDVN LQWKHKLHUDUFK\WRJHWKHUZLWKLWVLPPHGLDWHVXERUGLQDWHVFRQVWUXFWVDURERW SDUDOOHO KRUL]RQWDOOLQHVGHQRWHFRPSRVLWLRQ $5RERWVVSHFLILFDWLRQRIDV\VWHPFRPSOHWHO\ GHILQHV WKH FRPSXWDWLRQV RI WKH FRQWURO WDVNV 7KH FRPSXWDWLRQV RI WKH VHUYHUV DUH FRQVWUXFWHGRIDQLPSOLFLWFRQWUROSDUWWKDWLPSOHPHQWVWKHDFWLYDWLRQFRQGLWLRQVDQGD GDWDSURFHVVLQJSDUWWKDWGRHVQRWHPSOR\DQ\V\QFKURQL]DWLRQFRQVWUXFWV VHH6HFWLRQ  

$&& (QJLQH

&UXLVH&RQWURO

(QJLQH

(QJLQH

2II

2Q

3HGDOV

6ZLWFK

6SHHG&RQWURO

5HVXPH

6ZLWFK

6ZLWFK

2II

2Q

*HDU&UO

7KURWWOH&UO 1RUPDO&UO

6SHFLDO &UO

530

&PG OHYHU

6HW 6SHHG &PG

7KU&UO /RRS

,QF

'HF

6SHG

6SHHG

&PG

&PG

6HW

6HW

6HW'

)LJ7KH$&&VWUXFWXUHRIURERWV

  7KH0LVVLQJ3DUW$V\QFKURQRXV,QWHUDFWLRQ 7KH DUFKLWHFWXUDO VW\OH RI 5RERWV UHSUHVHQWV WKH V\QFKURQL]HG LQWHUDFWLRQ DPRQJ WKH FRPSRQHQWV RI D VRIWZDUH V\VWHP @ 

7KRXJKHYHU\V\VWHPQHFHVVDULO\HPSOR\VD³PDLQ¶¶WDVNWKDWLVLPSOLFLWO\FUHDWHGDWVWDUWXS :HLJQRUHTXHXHVZKHUHZLWKHDFKRFFXUUHQFHRIDQHYHQWRQO\RQHVHOHFWHGWDVNLVWULJJHUHG



 

SKDVH RI D WDVN WHUPLQDWHV HLWKHU E\ QRUPDO WHUPLQDWLRQ RI WKH WDVN SURJUDP RU E\ H[HFXWLQJDZDLWLQVWUXFWLRQVXFKWKDWWKHDZDLWHGHYHQWKDVQRWEHHQVLJQDOHGLQWKH FXUUHQWH[HFXWLRQSKDVH ,Q SUDFWLFH V\QFKURQRXV V\VWHPV FRQVLGHU WKH H[WHUQDO HYHQWV RQO\ DW WKH WLFNV JHQHUDWHG E\ D PDVWHU FORFN DW D IL[HG UDWH DQG LW LV DVVXPHG WKDW DOO FRPSXWDWLRQV WULJJHUHG LQ D WLFN WHUPLQDWH EHIRUH WKH QH[W WLFN RFFXUV HJ 6WDWHFKDUWV>@ (67(5(/>@/8675(>@  7KH PRWLYDWLRQ IRU LQWURGXFLQJ WKH V\QFKURQRXV PRGHO KDV EHHQ WKH EHKDYLRUDO QRQGHWHUPLQLVPRIWKHDV\QFKURQRXVPRGHO6SHFLILFDOO\LQWKHDV\QFKURQRXVPRGHO WKHUH LV QR ERXQG RQ WKH GXUDWLRQ EHWZHHQ WKH RFFXUUHQFH DQG WKH UHVSRQVH WR DQ HYHQW 7KXV LW LV LPSRVVLEOH WR FDUU\ RXW IRUPDO YHULILFDWLRQ RI UHDOWLPH SURSHUWLHV 7KHV\QFKURQRXVPRGHOLQGHHGRYHUFRPHVWKLVSUREOHPKRZHYHULWLVTXHVWLRQDEOHWR ZKDW H[WHQW WKH V\QFKURQ\ K\SRWKHVLV QDPHO\ WKH SRVVLELOLW\ RI LQVWDQWDQHRXV UHVSRQVH LVUHDVRQDEOH 7KH7DVN%HKDYLRUDO0RGHORI5RERWV7KHLGHDXQGHUO\LQJWKHEHKDYLRUDOPRGHO RIWDVNVLQ5RERWVLVWRPDNHFRPSOHWHVHSDUDWLRQEHWZHHQWKHUHDFWLYHDQGIXQFWLRQDO DVSHFWVRIUHDOWLPHSURJUDPVDQGWRLQWHUSUHWWKHPLQV\QFKURQRXVDQGDV\QFKURQRXV H[HFXWLRQPRGHOVUHVSHFWLYHO\7KXVLQDGGLWLRQWRWKHQDWXUDOVLPSOLFLW\ JDLQHGE\ WKH VHSDUDWLRQ RI FRQFHUQV ZH DFKLHYH WKH FDSDELOLW\ RI IRUPDO VSHFLILFDWLRQ DQG YHULILFDWLRQ RI UHDOWLPH SURSHUWLHV ZKLOH UHWDLQLQJ WKH SUDFWLFDO LPSOHPHQWDWLRQ RI IXQFWLRQDOFRPSXWDWLRQV ,Q SUDFWLFH WKH GHVLUHG VHSDUDWLRQ LV REWDLQHG E\ HPSOR\LQJ WZR W\SHV RI WDVNV FRQWURO DQG GDWDSURFHVVLQJ &RQWURO WDVNV DUH V\QFKURQRXV SURJUDPV ZKRVH RSHUDWLRQLVUHVWULFWHGWRWKHIRUPWKDWFDQEHUHSUHVHQWHGE\VHTXHQWLDOVWDWHFKDUWV QR $1'VWDWHV VXFKWKDWWKHRQO\DFWLRQWKDWPD\EHH[HFXWHGLQVWDWHWUDQVLWLRQVLVWKDW RIVLJQDOLQJDQHYHQW 7KH FRPSXWDWLRQ RI D GDWDSURFHVVLQJ WDVN FRQVLVWV RI RQO\ QRUPDO SURFHVVLQJ LQVWUXFWLRQV LQFOXGLQJ DV\QFKURQRXV ,2 RSHUDWLRQV  ,W LV DVVXPHG WKDW WKH FRPSXWDWLRQDOZD\VWHUPLQDWHVDQGUHWXUQVDYDOXHWKDWLVVLJQDOHGWRWKHHQYLURQPHQW E\GHIDXOWWKHUHWXUQHGYDOXHLVGRQHLQGLFDWLQJWKHFRPSOHWLRQRIWKHFRPSXWDWLRQ  $GDWDSURFHVVLQJWDVNLVH[HFXWHGDV\QFKURQRXVO\LQUHVSRQVHWRVSHFLILFDFWLYDWLRQ HYHQWVDQGLWVH[HFXWLRQLVUHVWULFWHGE\DKDUGGHDGOLQH WKHUHDOWLPHUHTXLUHPHQW  $Q\ GHDGOLQH YLRODWLRQ ZRXOG EH FRQVLGHUHG DQ H[HFXWLRQ IDLOXUH 7KH DFWLYDWLRQ FRQGLWLRQV RI D GDWDSURFHVVLQJ WDVN DUH QRW VSHFLILHG LQ WKH WDVN FRPSXWDWLRQ EXW KDQGOHGE\DQDVVRFLDWHGFRQWUROWDVNZLWKWKHIROORZLQJEHKDYLRU FUHDWH

$ZDLWLQJ (YHQW

,QDFWLYH GHOHWH

GRQHVLJQDO

5XQQLQJ

WR GHDGOLQH

HYHQWVFKHGXOH

$FWLYH $FWLYH1

)LJ7KHEHKDYLRUDOPRGHORIGDWDSURFHVVLQJWDVNV

)DLO

$FFRUGLQJO\WKHFRQWUROWDVNRIDGDWDSURFHVVLQJWDVNFRQVLVWVRI1RUGHUHGFRSLHVRI WKHVWDWH$FWLYHZKHUH1LVWKHGHDGOLQHGXUDWLRQH[SUHVVHGLQWLFNV$FRS\LHQWHUV WKHVWDWH5XQQLQJZKHQHYHUWKHDFWLYDWLRQHYHQWRFFXUVDQGWKHFRS\LLVDOUHDG\LQ VWDWH5XQQLQJ7KXVHYHU\RFFXUUHQFHRIWKHDFWLYDWLRQHYHQWLVUHVSRQGHGHYHQLILW RFFXUVZKLOHWKHWDVNLVH[HFXWLQJ QRWHWKDWWKH QXPEHURIVLPXOWDQHRXVDFWLYDWLRQV RIDGDWDSURFHVVLQJWDVNLVERXQGHGE\LWVGHDGOLQH )XUWKHUPRUHLWKDVEHHQVKRZQ >@WKDWWKLVPRGHOJLYHVULVHWRDGHFLGDEOHUHDVRQLQJWKHRU\ZLWKUHVSHFWWRUHDOWLPH UHTXLUHPHQWVRIDV\QFKURQRXVWDVNV 6WDWHFKDUW 5HSUHVHQWDWLRQ *LYHQ D VSHFLILFDWLRQ LQ 5RERWV WKDW VDWLVILHV WKH VHPDQWLF UXOHV ZH FUHDWH WKH FRUUHVSRQGLQJ WUHH ZKRVH OHDYHV GHQRWH H[HFXWDEOH VHUYHUV DFWXDOO\GDWDSURFHVVLQJWDVNV DQGWKHLQWHUPHGLDWHQRGHVDUHFRQWUROWDVNV ORFDWHG LQ WKH WUHH DFFRUGLQJ WR WKH KLHUDUFK\ GLFWDWHG E\ WKH UHILQHPHQW DQG FRPSRVLWLRQ UHODWLRQV VHH H[DPSOH LQ )LJ   :LWK HYHU\ QRGH LQ WKH WUHH ZH DVVRFLDWHDVWDWHFKDUWDVIROORZV(YHU\VHUYHUQRGH WKHOHDYHV LVUHSUHVHQWHGE\WKH FRUUHVSRQGLQJ GDWDSURFHVVLQJ FRQWURO VWDWHFKDUW DV GHILQHG LQ )LJ  (YHU\ FRQWURO WDVN LV UHSUHVHQWHG E\ WKH VWDWHFKDUW DXJPHQWHG ZLWK WDVNVWLFNHUV  JLYHQ LQ LWV VSHFLILFDWLRQ 1H[W ZH FUHDWH D FRPSRXQG VWDWHFKDUW WKDW UHSUHVHQWV WKH VSHFLILFDWLRQ :H VWDUW ZLWKWKHOHDYHVDQGWKHQUHFXUVLYHO\UHSODFHHYHU\WDVNVWLFNHULQWKHKRVWQRGHZLWK WKHVWDWHFKDUWRIWKHFRUUHVSRQGLQJRIIVSULQJZKLFKLVFRPSRVHGLQDQ $1' PDQQHU ZLWKWKHVWDWHWKDWLVODEHOHGE\WKHWDVNVWLFNHU7KXVDVWDWH;WKDWLVODEHOHGE\1 WDVNVWLFNHUVLVUHSODFHGE\DQ$1'VWDWHRI1FRPSRQHQWVWKDWLQFOXGH;DQGWKH 1FRUUHVSRQGLQJVWDWHFKDUWVRIWKHWDVNVWLFNHUV)RUH[DPSOHWKHIROORZLQJVWDWHFKDUW UHSUHVHQWVWKHWUDQVODWLRQRIWKHWRSOHYHOURERW$&& 6HFWLRQ 

$&& HQJLQHRII

(QJLQH 6ZLWFK

,QDFWLYH

'LVDEOHG

VWDUWDFF

VWRSDFF

HQJLQHRQ

$FWLYH

&UXLVH &RQWURO

(QDEOHG 'XH WR WKH KLHUDUFKLFDO VWUXFWXUH RI WKH VSHFLILFDWLRQ ZH JHW DW WKH HQG RI WKH SURFHVVDQRUPDOFRPSRXQG$1'VWDWHFKDUW ZLWKQRWDVNVWLFNHUV 7KHPHDQLQJRI D 5RERWV VSHFLILFDWLRQ LV JLYHQ E\ WKH VHW RI FRPSXWDWLRQV WKDW VDWLVI\ WKH FRPSOHWH $1'VWDWHFKDUWVXFKWKDWQRVHUYHUUHDFKHVLWV)DLOVWDWH



([HFXWLRQ HQYLURQPHQW 2XU H[HFXWLRQ HQYLURQPHQW FRQVLVWV RI D V\QFKURQRXV H[HFXWLYH WKDW UXQV WKH FRQWUROWDVNV DQG DQ DV\QFKURQRXV H[HFXWLYH WKDW UXQV FRQFXUUHQWO\WKHH[HFXWLRQRIWKHDFWLYDWHGGDWDSURFHVVLQJWDVNV$WHDFKWLPHLQVWDQW WLWKHFRQWUROH[HFXWLYHH[DPLQHVWKHHYHQWVWKDWRFFXUUHGGXULQJWKHSHULRG>WLWL LQ RUGHU WR LGHQWLI\ RFFXUUHQFHV RI DFWLYDWLQJ HYHQWV DQG GHDGOLQHV H[SLUDWLRQ LQ

 

SDUWLFXODU WKLV VHW LQFOXGHV WKH HYHQWV GHQRWLQJ WHUPLQDWLRQV RI WDVNV¶ H[HFXWLRQV UHSRUWHGE\WKHDV\QFKURQRXVGDWDSURFHVVLQJWDVNVH[HFXWLYHVHHEHORZ  7KH LQWHUDFWLRQ EHWZHHQ WKH H[HFXWLYHV FRQVLVWV RI SRVVLEO\ RYHUODSSLQJ LQWHUDFWLRQF\FOHVHDFKUHSUHVHQWLQJDVLQJOHH[HFXWLRQRID IXQFWLRQ$QLQWHUDFWLRQ F\FOH )LJ   VWDUWV XSRQ HDFK GHWHFWLRQ RI WKH DFWLYDWLRQ HYHQW E\ WKH FRQWURO H[HFXWLYH$QDFWLYDWLRQUHTXHVWWKDWFRQVLVWVRIWKHWDVNQDPHDQGWKHDFWLYDWLRQWLPH LV LVVXHG WR WKH GDWDSURFHVVLQJWDVNVH[HFXWLYH ZKLFK LQ UHVSRQVH VFKHGXOHV WKH FRUUHVSRQGLQJWDVNDQGPRQLWRUVLWVH[HFXWLRQXQWLOFRPSOHWLRQ(YHU\WHUPLQDWLRQRI D WDVN H[HFXWLRQ LV LPPHGLDWHO\ UHSRUWHG WR WKH FRQWUROH[HFXWLYH LQFOXGLQJ WKH DFWLYDWLRQWLPHWKDWZDVVSHFLILHGLQWKHFRUUHVSRQGLQJDFWLYDWLRQUHTXHVW V\QFKURQRXV FRQWUROH[HFXWLYH

GHDGOLQHLQVSHFWLRQ

W



UHWXUQ 7GRQHW

DFWLYDWLRQ



UHTXHVW 7W



DV\QFKURQRXV GDWDSURFHVVLQJWDVNV H[HFXWLYH

H[HFXWLRQRI7

)LJ5RERWV([HFXWLRQ(QYLURQPHQW

6WDUWLQJIURPWKHQH[WLQVWDQWDIWHULVVXLQJDQDFWLYDWLRQUHTXHVWWKHFRQWUROH[HFXWLYH ORRNV IRU D FRUUHVSRQGLQJ WHUPLQDWLRQ HYHQW LGHQWLILHG E\ WKH GDWDSURFHVVLQJWDVNV H[HFXWLYH  ,I WKH GHDGOLQH H[SLUHV EHIRUH WKH H[SHFWHG WHUPLQDWLRQ WKH ZKROH H[HFXWLRQLVGHFODUHGWRIDLO

 5HODWHG:RUN 5RERWV KDV EHHQ GHVLJQHG WR UHSUHVHQW D VSHFLILF UHDOWLPH DUFKLWHFWXUDO VW\OH LQ FRQWUDVWZLWKJHQHUDO$'/VHJ'DUZLQ>@:ULJKW>@ 5DSLGH>@ 7KRXJKWKH GRPDLQVSHFLILFDSSURDFK PHDQV ORVV RI JHQHUDOLW\ LW KDV WKH DGYDQWDJHV RI VLPSOHU DQG SUHFLVH H[SUHVVLRQ RI WKH GHVLJQ EHWWHU GHVLJQ FRPSUHKHQVLRQ DQG VXSSRUW RI DXWRPDWLFDQDO\VLVDQGYHULILFDWLRQ 7KHUHDUHVHYHUDOGRPDLQVSHFLILFUHDOWLPH$'/V)RULQVWDQFH0HWD+>@KDVD ULFK VHW RI FRPSRQHQWV DQG FRQQHFWRUV¶ W\SHV PRGHV PDFURV SURFHVVHV HYHQWV PRQLWRUV SDFNDJHV HWF  WKDW DUH RWKHUZLVH DEVWUDFWHG LQ 5RERWV E\ WKH IHZ DSSOLFDWLRQ RULHQWHG FRQVWUXFWV FRQWURO REVHUYHU SURFHVV VWDWH DQG HYHQW  7KH YDULHW\ RI DUFKLWHFWXUDO FRQVWUXFWV \LHOGV FRPSOH[ LQWHUREMHFW DQG KLHUDUFKLFDO UHODWLRQV 7KLV IDFW LV UHIOHFWHG LQ WKH ODQJXDJH VHPDQWLFV WKDW LQYROYHV VHYHUDO PDWKHPDWLFDOPRGHOVGLIIHUHQWIURPWKHV\QFKURQRXVDV\QFKURQRXVPRGHOHPSOR\HG LQ 5RERWV +RZHYHU WKH ODQJXDJH HQDEOHV IRUPDO DQDO\VLV RI YDULRXV UHDOWLPH LPSRUWDQW DVSHFWV VXFK DV VFKHGXOLQJ UHOLDELOLW\ DQG VHFXULW\ ZKLFK ZH KRSH 5RERWVZLOOVXSSRUWLQWKHIXWXUH &RQFHSWXDOO\ WKH PRVW UHODWHG WR RXU ZRUN LV WKH 3URFHVVFRQWURO SDUDGLJP VXJJHVWHGE\6KDZ>@7KLVSDUDGLJPDGRSWVWKHFORVHGFRQWUROORRSVWUXFWXUHZLWK

FOHDU VHSDUDWLRQ RI WKH FRQWURO DQG SURFHVV VXEV\VWHPV +RZHYHU LQ FRQWUDVW ZLWK 5RERWVWKHSURFHVVFDQQRWEHUHFRQILJXUHGLQUHVSRQVHWR PRGH WUDQVLWLRQV WDNHQ LQ WKHFRQWUROSDUWWKHVH PXVWEHUHSRUWHGWRWKHSURFHVVWKDW ZLOO UHDFW LQGHSHQGHQWO\ &RQVHTXHQWO\WKHUHLVDQLQFUHDVHGDPRXQWRIGDWDIORZWKHSURFHVVDOJRULWKP PXVW FRQVWDQWO\FRQVLGHUDOOSRVVLEOHLQSXWVDQGSDUWRIWKHFRQWUROORJLFPXVWEHUHSOLFDWHG LQWKHSURFHVV+HQFHWKHSURFHVVEHFRPHV PRUHFRPSOH[WKHQUHDOO\ QHHGHG$OVR WKH3URFHVVFRQWUROSDUDGLJPGRHVQRWVXJJHVWDQ\KLHUDUFK\ )URPDWHFKQLFDOSRLQWRIYLHZ5RERWVLVEDVHGRQVWDWHFKDUWV>@7KHH[WHQVLRQ RI VWDWHV ZLWK WDVNVWLFNHUV LV DFWXDOO\ V\QWDFWLFVXJDU WKDW LPSRVHV D FRQFHSWXDO KLHUDUFK\RQVHWVRIWDVNVZKLFKRWKHUZLVHVKRXOGEHUHSUHVHQWHGE\DIODWVWUXFWXUHRI $1'FRPSRVHGVWDWHFKDUWV:HEHOLHYHWKHFRQFHSWXDOKLHUDUFK\LPSURYHVWRDODUJH H[WHQWWKHH[SUHVVLYHQHVVDQGFRPSUHKHQVLRQRIWKHV\VWHPGHVLJQ 0RVWRIWKHUHDOWLPHDUFKLWHFWXUDOVW\OHV VHH6KDZ>@IRUDJRRGVXUYH\ HPSOR\ VWDWH PDFKLQHV LQ RUGHU WR UHSUHVHQW WKH EHKDYLRUDO DVSHFW RI WKH GHVLJQ +RZHYHU QRQH WDNHV WKH EHKDYLRUDO GHVLJQ DV WKH RULHQWDWLRQ IRU WKH VWUXFWXUH RI WKH V\VWHP $OVR RQO\ IHZ SURYLGH IRUPDO UHODWLRQV EHWZHHQ WKH IXQFWLRQDO DQG EHKDYLRUDO VSHFLILFDWLRQV )LQDOO\WKHRSHUDWLRQDO PRGHORI5RERWVWKDWLQWHJUDWHVV\QFKURQRXVH[HFXWLRQ RI FRQWUROWDVNVZLWKWKHGHDGOLQHFRQVWUDLQHGDV\QFKURQRXVH[HFXWLRQRIGDWDSURFHVVLQJ WDVNVKDVEHHQIRUPDOO\GHILQHGDQGDQDO\]HGE\WKHDXWKRULQSUHYLRXVZRUNV>@,W LV ZRUWKZKLOH PHQWLRQLQJWKDWH[LVWLQJUHDFWLYH $'/VWKDW VXSSRUW IRUPDO UHDVRQLQJ DUHEDVHGRQDV\QFKURQRXVH[HFXWLRQPRGHOV HJ3L&DOFXOXVLQ'DUZLQ>@&63 LQ :ULJKW >@  7KXV WKH\ DUH VXLWDEOH IRU GLVWULEXWHG V\VWHPV EXW UHVWULFWHG ZLWK UHVSHFWWRUHDOWLPHSURSHUWLHVVSHFLILFDWLRQ

 6WDWXVDQG)XWXUH:RUN 5RERWV HYROYHG GXULQJ WKH GHYHORSPHQW RI ODUJHVFDOH UHDOWLPH V\VWHPV LQ 0%7 6WDWHFKDUWVLVFRPPRQVSHFLILFDWLRQIRUPDOLVPLQ0%7KRZHYHUXQWLOUHFHQWO\LWZDV XVHG LQGHSHQGHQWO\ RI WKH VRIWZDUH GHVLJQ $W ILUVW 5RERWV ZDV IRUPXODWHG DV JXLGHOLQHV IRU WKH V\VWHP DUFKLWHFWXUH WR EH XVHG ZLWK VWDWHFKDUWV DQG YDULRXV RSHUDWLQJ V\VWHPV ,Q TXLWH D VKRUW WLPH LW KDV EHHQ DGRSWHG E\ VRIWZDUH HQJLQHHUV DQGDVVLPLODWHGLQWKHVWDQGDUGGHYHORSPHQWSURFHVV,WVVDOLHQW IHDWXUHVHPSKDVL]HG E\XVHUVDUHWKHVLPSOLFLW\WKHUHIOHFWLRQRIWKHQDWXUDOGHVLJQRIUHDOWLPHV\VWHPV DQG WKH HDVH RI WKH GHVLJQ XQGHUVWDQGLQJ E\ QHZ HQJLQHHUV WKDW MRLQ WKH WHDP (QFRXUDJHG E\ WKH XVHU¶V UHVSRQVH WKH ODQJXDJH KDV EHHQ IRUPDOO\ GHILQHG DQG LV FXUUHQWO\XQGHULPSOHPHQWDWLRQ )XWXUHZRUNRQ5RERWVLVDLPHGDWVHYHUDOGLUHFWLRQV x $XWRPDWLF YHULILFDWLRQ PDLQO\ E\ DGRSWLRQ RI H[LVWLQJ UHDOWLPH PRGHO FKHFNLQJWRROV x ,GHQWLILFDWLRQ RI GHVLJQ SDWWHUQV IRU LQVWDQFH ZH ZHUH DEOH WR ILQG RXW WKDW 6ZLWFK 5HVXPH DQG 3HGDOV UHSUHVHQW WKH W\SLFDO EHKDYLRUV RI REVHUYHUV  :H H[SHFWWKLVDFWLYLW\ZLOOJLYHULVHWRREMHFWRULHQWHGH[WHQVLRQRI5RERWV

 

0%7LVWKHV\VWHPVGLYLVLRQLQWKHHOHFWURQLFJURXSRI,VUDHO$LUFUDIW,QGXVWULHV

 

x

([WHQGLQJ WKH VSHFLILFDWLRQ RI DFWLYDWLRQ FRQGLWLRQV ZLWK WKH IXOO SRZHU RI 0$66 DQLQWHUYDOWHPSRUDOORJLFEDVHGODQJXDJHWKDWLVDVVRFLDWHGZLWKDSURRI V\VWHP>@ 

5HIHUHQFHV  $OOHQ5*DUODQ'$)RUPDO%DVLV IRU $UFKLWHFWXUDO&RQQHFWLRQV$&07UDQVRQ 6(DQG0HWKRGRORJ\-XO\  %HU\ * *RQWKLHU * 7KH (67(5(/ 6\QFKURQRXV 3URJUDPPLQJ /DQJXDJH 'HVLJQ 6HPDQWLFV,PSOHPHQWDWLRQ6FLHQFHRI&RPSXWHU3URJUDPPLQJ1R  %LQQV39HVWDO6)RUPDOUHDOWLPH$UFKLWHFWXUH6SHFLILFDWLRQDQG$QDO\VLV,QWK ,(((:RUNVKRSRQ5HDO7LPH2SHUDWLQJ6\VWHPVDQG6RIWZDUH1HZ
Lihat lebih banyak...

Comentários

Copyright © 2017 DADOSPDF Inc.