buyer has been registered) in such a way that the car broker agent and personal assisa tant agents can interact. The specified system configuration is then ...
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH1
$5HTXLUHPHQW6SHFLILFDWLRQ/DQJXDJHIRU &RQILJXUDWLRQ'\QDPLFVRI0XOWL$JHQW6\VWHP 0HKGL'DVWDQL&DWKROLMQ-RQNHUDQG-DQ7UHXU 9ULMH8QLYHUVLWHLW$PVWHUGDP'HSDUWPHQWRI$UWLILFLDO,QWHOOLJHQFH 'H%RHOHODDQD+9$PVWHUGDP7KH1HWKHUODQGV {jonker, treur}@cs.vu.nl URL: http://www.cs.vu.nl/{~jonker,~treur}
$EVWUDFW ,Q DJHQWPHGLDWHG DSSOLFDWLRQVWKHFRQILJXUDWLRQRIWKHPXOWLDJHQW V\VWHPRIWHQFKDQJHVGXHWRWKHFUHDWLRQDQGWKHGHOHWLRQRIDJHQWV7KHEHKDY LRXURIVXFKV\VWHPVRQWKHRQHKDQGGHSHQGVRQWKHVWUXFWXUDOG\QDPLFVRIWKH V\VWHP FRQILJXUDWLRQ EXW RQ WKH RWKHU KDQG FRQVLVWV RI WKH LQIRUPDWLRQDO G\ QDPLFVRIWKHFRQILJXUDWLRQ7RVSHFLI\DQGYHULI\WKHSURSHUWLHVRIWKHV\VWHP LQFOXGLQJLWVFRQILJXUDWLRQG\QDPLFVDUHTXLUHPHQWODQJXDJHLVQHHGHGWKDWLV FDSDEOHWRH[SUHVVWKRVHSURSHUWLHV,QWKLVSDSHUZHGLVFXVVWKHFRQILJXUDWLRQ G\QDPLFVSURSHUWLHVRIPXOWLDJHQWV\VWHPVDQGGHILQHDODQJXDJHE\PHDQVRI ZKLFK WKRVH SURSHUWLHV FDQ EH VSHFLILHG $SURWRW\SLFDOVFHQDULRIRUDQDJHQW PHGLDWHGV\VWHPLVGLVFXVVHGDQGVRPHLPSRUWDQWUHTXLUHPHQWVIRUWKLVV\VWHP DUHVSHFLILHG
,QWURGXFWLRQ 5HTXLUHPHQWV (QJLQHHULQJ LV WRGD\ D ZHOOVWXGLHG ILHOG RI UHVHDUFK ZLWKLQ 6RIWZDUH (QJLQHHULQJHJ>@>@>@5HTXLUHPHQWVGHVFULEHWKHUHTXLUHGSURSHUWLHVRID V\VWHPWKLVPD\LQFOXGHWKHIXQFWLRQVRIWKHV\VWHPVWUXFWXUHRIWKHV\VWHPVWDWLFDQG G\QDPLF SURSHUWLHV ,Q UHFHQW \HDUV UHTXLUHPHQWV HQJLQHHULQJ IRU GLVWULEXWHG DQG DJHQWV\VWHPVKDVEHHQVWXGLHGLQVRPHGHSWKHJLQ>@>@>@,QDSSOLFDWLRQVWR DJHQWEDVHGV\VWHPVWKHG\QDPLFVRUEHKDYLRXURIWKHV\VWHPSOD\VDQLPSRUWDQWUROH LQ GHVFULSWLRQ RI WKH VXFFHVVIXO RSHUDWLRQ RI WKH V\VWHP 7R EH DEOH WR H[SUHVV UH TXLUHPHQWV XQDPELJXRXVO\ DQG WR VXSSRUW YHULILFDWLRQ E\ DXWRPDWHG WRROV IRUPDO UHTXLUHPHQWVVSHFLILFDWLRQODQJXDJHVDUHLPSRUWDQW '\QDPLFVRIDJHQWEDVHGV\VWHPVFDQWDNHGLIIHUHQWIRUPV'HSHQGLQJRQWKHW\SH RI G\QDPLFV GLIIHUHQW GHPDQGV DUH LPSRVHG RQ WKH H[SUHVVLYLW\ RI D UHTXLUHPHQWV VSHFLILFDWLRQ ODQJXDJH $ VLPSOH IRUP RI UHTXLUHPHQWV IRU G\QDPLFV FORVH WR IXQF WLRQDOUHTXLUHPHQWV H[SUHVVHVUHDFWLYHW\SHVRIEHKDYLRXU+RZHYHUFRPELQDWLRQVRI SURDFWLYHDQGUHDFWLYHEHKDYLRXUFDQUHTXLUHPRUHFRPSOLFDWHGUHTXLUHPHQWVH[SUHV VLRQV 0RVW W\SHV RI EHKDYLRXU RI WKLV W\SH FDQ EH H[SUHVVHG XVLQJ UDWKHU VWDQGDUG IRUPVRIWHPSRUDOORJLFHJ>@>@>@)XUWKHUFRPSOLFDWLRQVDULVHLIWKHHYROX WLRQ RI D V\VWHP RYHU WLPH LV WDNHQ LQWR DFFRXQW WKHQ WHPSRUDO ORJLFV RI WKH PRUH VWDQGDUGW\SHVGRQRWVXIILFH([DPSOHVRIEHKDYLRXURIWKLVW\SHDUHUHODWLYHDGDSWLYH
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH2
EHKDYLRXU HJ µH[HUFLVH LPSURYHV VNLOO¶ LQ ZKLFK WZR GLIIHUHQW SRVVLEOH KLVWRULHV KDYH WR EH FRPSDUHG DQG VHOIPRGLI\LQJ EHKDYLRXU IRU H[DPSOH WKH EHKDYLRXU RI RQH RI WKH DJHQWV HJ D FUHDWLRQ DFWLRQ OHDGV WR D GLIIHUHQW V\VWHP VWUXFWXUH HJ ZLWKDQDGGLWLRQDODJHQW 7KLVSDSHUDGGUHVVHVVSHFLILFDWLRQVRIUHTXLUHPHQWVIRUWKH ODWWHUW\SHRIG\QDPLFV ,QRUGHUWRLOOXVWUDWHWKLVW\SHRIG\QDPLFVFRQVLGHUPXOWLDJHQWPHGLDWLQJV\VWHPV VXFK DV EURNHULQJ V\VWHPV PDWFK PDNLQJ V\VWHPV DQG VHDUFK HQJLQHV ZKLFK DUH LPSRUWDQWHOHFWURQLFFRPPHUFHDSSOLFDWLRQV,QVXFKDSSOLFDWLRQVDXVHULQWHUDFWVZLWK WKHV\VWHPUHFHLYHVLWVSHUVRQDODVVLVWDQWZKLFKLQWXUQLQWHUDFWVZLWKDYDLODEOHLQWHU PHGLDWHDQGWDVNVSHFLILFDJHQWVWRSHUIRUPWKHXVHUWDVN1RWHWKDWLQWKHVHV\VWHPV DJHQWVSHUVRQDODVVLVWDQWDQGWDVNVSHFLILFDJHQWV DUHFUHDWHGDQGUHPRYHGIURPWKH V\VWHP,QWKLVSDSHUZHSURSRVHDQDEVWUDFWPXOWLDJHQWDUFKLWHFWXUHIRUVXFKPHGLDW LQJV\VWHPV$FFRUGLQJWRWKLVDUFKLWHFWXUHZKLFKLVLOOXVWUDWHGLQ)LJXUHPHGLDWLQJ V\VWHPVFRQVLVWRIDFHQWUDOPDLQWHQDQFHDJHQWZKLFKLVUHVSRQVLEOHIRUV\VWHPFRQ ILJXUDWLRQ DQ HQYLURQPHQW FRPSRQHQW ZKLFK UHSUHVHQWV WKH V\VWHP HQYLURQPHQW LQ FOXGLQJDOOFRPSRQHQWVRIWKHV\VWHPH[FHSWLWVHOIDQGLVUHVSRQVLEOHIRUWKHUHDOL]D WLRQRIV\VWHPPRGLILFDWLRQVDQG]HURRUPRUHDJHQWVWKDWFDQEHGLVWLQJXLVKHGLQWZR W\SHV SHUVRQDO DVVLVWDQW DJHQWV 3DJHQWV ZKLFK DVVLVWV WKHLU XVHUV WR DFKLHYH WKHLU WDVNVDQGLQWHUPHGLDWHWDVNVSHFLILFDJHQWV,DJHQWVVXFKDVQHJRWLDWRUPDWFKPDNHUV DQGDXFWLRQHHU ZKLFKDUHUHVSRQVLEOHIRUWKHDFWXDOSHUIRUPDQFHRIWKHXVHUWDVNV 3DJHQW ,DJHQW 8VHU (QYLURQPHQW 0DLQWHQDQFH 8VHU ,DJHQW 3DJHQW )LJ17KHJHQHULFDUFKLWHFWXUHRIWKHDJHQWPHGLDWLQJV\VWHPV ,QLWLDOO\WKHPDLQWHQDQFHDJHQWLQWHUDFWVZLWKXVHUVWKURXJKGDVKHGOLQNV DQGGH WHUPLQHV WKH UHTXLUHG PRGLILFDWLRQ RI V\VWHP FRQILJXUDWLRQ 7KH PDLQWHQDQFH DJHQW FRPPXQLFDWHVWKHQZLWKWKHHQYLURQPHQWWKURXJKWKHEROGOLQN DQGRUGHUWRPRGLI\ WKHV\VWHPFRQILJXUDWLRQ7KHHQYLURQPHQWLPSOHPHQWVWKHJLYHQRUGHUWKURXJKZKLFK WKHV\VWHPFRQILJXUDWLRQLVPRGLILHG7KHXVHUVFDQWKHQGHOHJDWHWKHLUWDVNVWRWKHLU FRQILJXUHGSHUVRQDODVVLVWDQWVZKLFKLQWXUQDFKLHYHWKHWDVNVE\LQWHUDFWLQJZLWKWKH FRQILJXUHGWDVNVSHFLILFLQWHUPHGLDWHDJHQWVWKURXJKWKHUHPDLQLQJOLQNV )RUH[DP SOHDXVHUZKRLVZLOOLQJWREX\DFDUFRPPXQLFDWHVZLWKWKHPDLQWHQDQFHDJHQWDQG UHTXLUHV D FDU EURNHULQJ V\VWHP 7KH PDLQWHQDQFH DJHQW VSHFLILHV D FDU EURNHULQJ V\VWHPFRQVLVWLQJRIDFDUEURNHUDJHQWZKLFKPD\DOUHDG\H[LVW DQGDSHUVRQDODVVLV WDQW DJHQW IRU WKH XVHU RWKHU SHUVRQDO DVVLVWDQW DJHQWV PD\ H[LVW DOUHDG\ VLQFH WKH EX\HUKDVEHHQUHJLVWHUHG LQVXFKDZD\WKDWWKHFDUEURNHUDJHQWDQGSHUVRQDODVVLV WDQWDJHQWVFDQLQWHUDFW7KHVSHFLILHGV\VWHPFRQILJXUDWLRQLVWKHQFRPPXQLFDWHGWR WKH HQYLURQPHQW FRPSRQHQWZKLFKUHDOL]HVWKHUHTXLUHGFRQILJXUDWLRQ7KHXVHUFDQ QRZGHOHJDWHVLWVFDUEX\LQJWDVNWRLWVDVVLJQHGSHUVRQDODVVLVWDQWDJHQWZKLFKLQWXUQ P
L
Q
M
[
\
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH3
FDQLQWHUDFWZLWKWKHFDUEURNHUDJHQWWRDFKLHYHWKHGHOHJDWHGWDVN7KHXVHUFDQGH FLGHWRWHUPLQDWHWKHEURNLQJV\VWHPLQZKLFKFDVHWKHSHUVRQDODVVLVWDQWDJHQWFDQEH HLWKHU GHOHWHG IURP WKH V\VWHP RU VHW LGOH 7KH FDU EURNHU DJHQW PD\ DOVR EH HLWKHU GHOHWHGRUVHWLGOHLIWKHUHDUHQRRWKHUFDUUHODWHGSHUVRQDODVVLVWDQWDJHQWV 2QHHVVHQWLDOSURSHUW\RIWKHVHDJHQWPHGLDWLQJV\VWHPVLVWKHLUG\QDPLFFRQILJXUD WLRQV QHZ DJHQWV DUH FUHDWHG DQG UHPRYHG IURP WKH V\VWHP $ FRUUHFWO\ EHKDYLQJ V\VWHPGHSHQGVWKHUHIRUHRQLWVFRQILJXUDWLRQGXULQJLWVH[HFXWLRQ)RUWKLVUHDVRQLW LV LPSRUWDQW WR VSHFLI\ FRQILJXUDWLRQ SURSHUWLHV RI VXFK V\VWHPV GXULQJ WKHLU H[HFX WLRQV7KLVLVWKHIRFXVRIWKHSDSHU,QSDUWLFXODUZHZLOOGHYHORSDWUDFHUHTXLUHPHQW ODQJXDJH WKDW FDQ H[SUHVV EHVLGH IXQFWLRQDO DQG LQIRUPDWLRQDO UHTXLUHPHQWV WKRVH UHTXLUHPHQWV WKDW DUH FRQFHUQHG ZLWK WKH V\VWHP FRQILJXUDWLRQ GXULQJ LWV H[HFXWLRQ WUDFHV %DVHG RQ WKLV ODQJXDJH ZH ZLOO WKHQ LGHQWLI\ D QXPEHU RI UHTXLUHPHQW W\SHV FRQFHUQLQJ WKH FRQILJXUDWLRQ RI DJHQWPHGLDWHG V\VWHPV $ VFHQDULR IRU DQ DJHQW PHGLDWLQJV\VWHPZLOOPRWLYDWHWKHVHUHTXLUHPHQWV
5HTXLUHPHQW/DQJXDJH ,Q WKLV VHFWLRQ ZH ILUVW GHILQH DQ RUGHUHGVRUWHG ODQJXDJH FDOOHG 'HVLJQ /DQJXDJH '/ WKHH[SUHVVLRQVRIZKLFKVSHFLI\WKHFRQILJXUDWLRQVRIDJHQWPHGLDWLQJV\VWHP 7KHVH H[SUHVVLRQV ZLOO EH XVHG WR VSHFLI\ WKH UHTXLUHG V\VWHP FRQILJXUDWLRQ 7KHQ EDVHG RQ WKH '/ H[SUHVVLRQV ZH GHILQH DQRWKHU RUGHUHGVRUWHG ODQJXDJH FDOOHG 'H VLJQ$FWLRQ/DQJXDJH'$/ WKHH[SUHVVLRQVRIZKLFKPRGLI\V\VWHPFRQILJXUDWLRQ LHWKHH[SUHVVLRQVLQGLFDWHDFWLRQVWKDWFKDQJHRQHV\VWHPFRQILJXUDWLRQWRDQRWKHU )RU H[DPSOH WKH PDLQWHQDQFH DJHQW LQ RXU H[DPSOH JHQHUDWHV VXFK H[SUHVVLRQV ,Q RUGHUWRPRGLI\WKHV\VWHPFRQILJXUDWLRQWKHPRGLILFDWLRQDFWLRQVQHHGWREHFRPPX QLFDWHG ,Q RXUH[DPSOHWKHPDLQWHQDQFHDJHQWFRPPXQLFDWHVVXFKPRGLILFDWLRQDF WLRQV ZLWK WKH HQYLURQPHQW FRPSRQHQW ,Q RUGHU WR VSHFLI\ WKHVH FRPPXQLFDWLRQ H[ SUHVVLRQV ZH GHILQH D WKLUG RUGHUHGVRUWHG ODQJXDJH FDOOHG &RPPXQLFDWLRQ $FWLRQ /DQJXDJH &$/ WKDW XVHV WKH '$/ H[SUHVVLRQV DQG JHQHUDWHV VXFK FRPPXQLFDWLRQ H[SUHVVLRQV )LQDOO\ WKH H[SUHVVLRQV RI WKHVH ODQJXDJHV ZLOO EH XVHG WR GHILQH WKH 7UDFH5HTXLUHPHQW/DQJXDJH75/ WKHH[SUHVVLRQVRIZKLFKIRUPDOL]HSURSHUWLHVRI QRWRQO\WKHIXQFWLRQDOEHKDYLRXURIWKHV\VWHPEXWDOVRWKHFRQILJXUDWLRQRIWKHV\V WHPGXULQJH[HFXWLRQWUDFHV 1RWHWKDWWKHILUVWWKUHHODQJXDJHVDUHREMHFWODQJXDJHVLQWKHVHQVHWKDWWKH\DUH XVHG E\ WKH FRPSRQHQWV LQ WKH DJHQWPHGLDWLQJ V\VWHPV WR VSHFLI\ DQG PRGLI\ WKH FRQILJXUDWLRQRIWKHV\VWHPZKLOHWKHWUDFHUHTXLUHPHQWODQJXDJHLVDPHWDODQJXDJH LQ WKH VHQVH WKDW LW LV XVHG E\ DQ H[WHUQDO REVHUYHU WR VSHFLI\ WKH LQIRUPDWLRQDQG FRQILJXUDWLRQ SURSHUWLHVRIWKHV\VWHPEHKDYLRXU&RQVHTXHQWO\WKHILUVWWKUHHREMHFW ODQJXDJHV SUHVXSSRVH FHUWDLQ W\SH RI PXOWLDJHQW V\VWHP DUFKLWHFWXUH VLQFH WKHLU H[ SUHVVLRQVDUHDERXWV\VWHPLQJUHGLHQWV,QWKLVSDSHUZHFRQFHQWUDWHRQV\VWHPVVSHFL ILHGDFFRUGLQJWRVRPHIRUPRIFRPSRVLWLRQDODUFKLWHFWXUH >@7KHVHV\VWHPVFRQVLVW RIDQXPEHURIFRPSRQHQWVWKDWLQWHUDFWZLWKHDFKRWKHUWKURXJKFHUWDLQW\SHVRIFRQ QHFWLRQV &RPSRQHQWV PD\ RU PD\ QRW EH FRPSRVHG RI RWKHU FRPSRQHQWV &RPSR QHQWVWKDWDUHQRWFRPSRVHGDUHVRPHWLPHVFDOOHGSULPLWLYHFRPSRQHQWV7KHVHFRP
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH4
SRQHQWVDUHGHILQHGLQWHUPVRIFHUWDLQLQJUHGLHQWVVXFKDVLQSXWDQGRXWSXWLQWHUIDFHV FRQWUROORRSVLJQDWXUHVHPEHGGHGFRPSRQHQWVIRUQRQSULPLWLYHFRPSRQHQWV DQG NQRZOHGJH EDVHV IRU SULPLWLYH FRPSRQHQWV 7KH WR EH IRUPDOL]HG FRQILJXUDWLRQ SURSHUWLHVDUHDERXWWKHVHLQJUHGLHQWVDQGWKHLUVWUXFWXUDOUHODWLRQV$OWKRXJKZHZLOO QRW JLYH DQ H[KDXVWLYH OLVW RI DOO LQJUHGLHQWV WKDW PD\ EH XVHG LQ WKHVH W\SHV RIV\V WHPVZHPHQWLRQDQGXVHWKHPRVWLPSRUWDQWLQJUHGLHQWV7KXVZHIRUPDOLVHV\VWHPV RQ WKH EDVLV RI VRPH IRUP RI FRPSRQHQWEDVHG RUFRPSRVLWLRQDODUFKLWHFWXUHDVIRU H[DPSOH EXW FHUWDLQO\ QRW H[FOXVLYHO\ LV SRVVLEOH ZLWKLQ '(6,5( '(VLJQ DQG 6SHFLILFDWLRQ RI ,QWHUDFWLQJ 5(DVRQLQJ FRPSRQHQWV FI >@ 7KH UHDGHU VKRXOG QRWH WKDWWKHSURSRVHGREMHFWODQJXDJHVFRXOGEHHDVLO\UHIRUPXODWHGIRUGLIIHUHQWW\SHVRI V\VWHPV 'HVLJQ/DQJXDJH'/ 7KHVRUWVLQ'/LGHQWLI\WKHLQJUHGLHQWVLQVXFKV\VWHPV$OWKRXJKDQH[KDXVWLYHHQX PHUDWLRQRIDOOVRUWVWKDWDUHXVHGLVRXWRIVFRSHRIWKLVSDSHUVRPHLPSRUWDQWVRUWV DUHPHQWLRQHGLQWDEOH 7DEOH1([DPSOHVRIVRUWVLQ'/
6RUW 63
'HVFULSWLRQ VRUWIRUV\VWHPFRPSRQHQWVSDUWQDPHVLGHQWLI\DVSHFLILF V\VWHPFRPSRQHQWLQWKHKLHUDUFKLFDOV\VWHPVWUXFWXUH
63SULP
VRUWIRUSULPLWLYHV\VWHPFRPSRQHQWV
63,QWHUIDFH
VRUWIRUFRPSRQHQWLQWHUIDFHVLHLQSXWRURXWSXW
6&21
VRUWIRUFRQQHFWLRQVEHWZHHQV\VWHPFRPSRQHQWV
66,*
VRUWIRUVLJQDWXUHVXVHGE\FRPSRQHQWV
6.%
VRUWIRUNQRZOHGJHEDVHVRISULPLWLYHV\VWHPFRPSRQHQWV
7KHVH VRUWV FDQ EH RUGHUHG OLNH IRU H[DPSOH 63 KROGVBLQIRBUVWDWHBU4ΓW7RXWSXW8$ FRPPXQLFWLRQBIURPBWR46/7(508$0$ WUXH
∧
VWUXFWXUHBUHDOLVHVBVHUYLFH('()2546/7(50
∃W¶7!W7
>KROGVBLQIRBUVWDWHBU4
⇒
ΓW¶7RXWSXW(: ('()25WUXH @@
1RWH WKDW 6/7(50 LV DQ DVVXPHG VRUW WKDWUHIHUVWRWKHVHUYLFHODQJXDJHWHUPVE\ ZKLFKWKHXVHUGHQRWHVWKHNLQGRIVHUYLFHV KHLVLQWHUHVWHGLQ([DPSOHVWKDWLOOXV WUDWH 6/7(50 H[SUHVVLRQV DUH ³UHTXHVWSHUVRQDODVVLVWDQW ´ DQG ³UHTXHVWFDUEURNHULQJ V\VWHP ´ *5 &UHDWLRQ 6XFFHVVIXOQHVV ,I DW WLPH SRLQWWWKHDJHQW8$JHQHUDWHVDVHU YLFHUHTXHVW 4HJIRUKDYLQJSHUVRQDODVVLVWDQFH WR0$RQLWVRXWSXWDQG 5LVWKH EHKDYLRXU UHTXLUHG IRU VHUYLFH UHTXHVW 4 WKHQ D WLPH SRLQW W !W H[LVWV VXFK WKDW WKH V\VWHP FRQILJXUDWLRQ FRQWDLQV WKH QHFFHVDU\ VWUXFWXUH HJ SHUVBDVV DQG WKHV\VWHP VKRZVEHKDYLRXU5
∀4ΓW746/7(50 >KROGVBLQIRBUVWDWHBU4ΓW7RXWSXW8$ FRPPXQLFDWLRQBIURPBWR46/7(508$0$ WUXH
∧∃('()25G7G7>VWUXFWXUHBUHDOLVHVBVHUYLFH('()2546/7(50 ∧6% ('()25G7G7 @ ⇒ ∃W¶7!W7( '()25G7G7 5
>VWUXFWXUHBUHDOLVHVBVHUYLFH( '()2546/7(50
∧KROGVBLQIRBUVWDWHBU4ΓW¶7RXWSXW(: ( '()25WUXH ∧ 6% ( '()25G7G7
∧ ∀W7W7W7W7
5
>W7±W7
54
≥G7∧W7≤W7≤W7±G7∧W7±W7≥G7⇒
ΓW7W7SHUVBDVV @
@@
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH12
7KHWHUPV6% DQG5RFFXUULQJLQWKLVSURSHUW\DUHH[SODLQHGLQ6HFWLRQ 7KHWHUP6% LVDVFKHPHRISURSHUWLHVWKDWUHODWHDVWUXFWXUH('()25WREHKDYLRXU 57KHRFFXUUHQFHRI5PDNHVLWDVFKHPH 5
5
*OREDO3URSHUWLHV 7KHEDVLFSURSHUWLHVDUHGLYLGHGLQWKUHHVXEFODVVHVDVIROORZV $JHQWSURSHUWLHV $Q DJHQW SURSHUW\ UHIHUV WR WKH EHKDYLRXU RI D VSHFLILF DJHQW $Q LPSRUWDQW DJHQW SURSHUW\IRUWKHH[DPSOHPHQWLRQHGDERYHLVVSHFLILHGE\WKHIROORZLQJUHTXLUHPHQW $50$$FWLRQ,QLWLDWLRQ6XFFHVVIXOQHVV ,IDWWLPHSRLQWWWKHDJHQW0$KDVD VHUYLFH UHTXHVW 4 HJ D UHTXHVW IRU D SHUVRQDO DVVLVWDQFH RQ LWV LQSXW WKHQ D WLPH SRLQW W !W H[LVWV VXFK WKDW 0$ KDV WRBEHBSHUIRUPHGDGG( RQ LWV RXWSXW ZKHUH ( LV D V\VWHPFRQILJXUDWLRQWKDWFDQVDWLVI\WKHVHUYLFHUHTXHVW4 ∀4ΓW746/7(50('()25
>KROGVBLQIRBUVWDWHBU4
ΓW7LQSXW0$ FRPPXQLFDWLRQBIURPBWR46/7(508$0$ WUXH
∧VWUXFWXUHBUHDOLVHVBVHUYLFH('()2546/7(50 ∧¬∃(¶'()25 >KROGVBLQIRBUVWDWHBU4
ΓW7LQSXW0$ REVHUYDWLRQBUHVXOW(¶'()25SRV WUXH
∧VWUXFWXUHBUHDOLVHVBVHUYLFH(¶'()2546/7(50 @
⇒
∃
W¶7!W7 >KROGVBLQIRBUVWDWHBU4
@
ΓW¶7RXWSXW0$ WRBEHBSHUIRUPHGDGG('()25 WUXH
∧∀(´'()25
>VWUXFWXUHBUHDOLVHVBVHUYLFH(´'()2546/7(50
∧KROGVBLQIRBUVWDWHBU4ΓW¶7RXWSXW0$ WRBEHBSHUIRUPHGDGG(´'()25 WUXH @ ⇒HTXDO('()25(´'()25 @
@
:RUOGSURSHUWLHV 7KHUHTXLUHGSURSHUWLHVRIWKHEHKDYLRXURIWKHHQYLURQPHQWFRPSRQHQWDUHVSHFLILHG DVIROORZV (5(:$FWLRQ([HFXWLRQ6XFFHVVIXOQHVV ,IDWWLPHSRLQWWWKHZRUOGFRPSR QHQW(:KDVWRBEHBSHUIRUPHGα RQLWVLQSXWDQGβLVWKHHIIHFWRISHUIRUPLQJαWKHQD WLPHSRLQWW !WH[LVWVVXFKWKDW(:KDVβRQLWVRXWSXW
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH13 ∀4ΓW7α$&7,21β'()25 >KROGVBLQIRBUVWDWHBU4
ΓW7LQSXW(: WRBEHBSHUIRUPHGα$&7,21 WUXH ⇒
∃W¶7!W7 >KROGVBLQIRBUVWDWHBU4
@
ΓW¶7RXWSXW(: β'()25WUXH
∧LVBHIIHFWBRIβ'()25α$&7,21 @
:KHUHWKHSUHGLFDWHLVBHIIHFWBRIβα LVGHILQHGDVIROORZV ∀['()25 ∀['($7
LVBHIIHFWBRI[DGG[ LVBHIIHFWBRI
¬[GHOHWH[
:RUOGSURSHUWLHV 7KHWUDQVIHUSURSHUWLHVVSHFLI\WKDWLQIRUPDWLRQWUDQVIHUEHWZHHQDJHQWVWDNHVSODFHLQ D SURSHU PDQQHU 7ZR LPSRUWDQW WUDQVIHU SURSHUWLHV DUH VSHFLILHG DV WKH IROORZLQJ UHTXLUHPHQWV 75 7UDQVIHU 8$0$ ,IDWWLPHSRLQWWWKHDJHQW8$JHQHUDWHVDUHTXHVWIRU 0$ RQ LWV RXWSXW WKHQ D WLPH SRLQW W !W H[LVWV VXFK WKDW 0$ KDV WKLV UHTXHVW RQ LWV LQSXW ∀4ΓW7ϕ)25 >KROGVBLQIRBUVWDWHBU4
ΓW7RXWSXW8$ FRPPXQLFDWLRQBIURPBWRϕ)258$0$ WUXH ⇒
∃
W¶7!W7 >KROGVBLQIRBUVWDWHBU4
ΓW¶7LQSXW0$ FRPPXQLFDWLRQBIURPBWRϕ)258$0$ WUXH @
@
75 7UDQVIHU 0$(: ,I DW WLPH SRLQW W WKH DJHQW 0$ JHQHUDWHV α IRU(:RQLWVRXWSXW1RWHWKDW αLVRIW\SH $&7,21VXFKWKDWLWLV HLWKHU DGG( RU GHOHWH( WKHQ D WLPH SRLQW W !W H[LVWV VXFK WKDW (: KDV WRBEHBSHUIRUPHGα RQLWVLQSXW
WRBEHBSHUIRUPHG
∀4ΓW7α$&7,21 >KROGVBLQIRBUVWDWHBU4
∃
W¶7!W7
ΓW7RXWSXW0$ WRBEHBSHUIRUPHGα$&7,21 WUXH ⇒
ΓW¶7LQSXW(: WRBEHBSHUIRUPHGα$&7,21 WUXH @
>KROGVBLQIRBUVWDWHBU4 @
6HPDQWLF3URSHUWLHV 7KH VHPDQWLF SURSHUWLHV VSHFLI\ WKH DVVXPHG JHQHULF SURSHUWLHV RI WKH V\VWHP 7KH IROORZLQJVHPDQWLFSURSHUWLHVDUHGLVWLQJXLVKHG
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH14
6HPDQWLF3URSHUWLHV 7KLVSURSHUW\JXDUDQWHHVWKDWLIDV\VWHPGHVFULSWLRQKROGVLQWKHLQIRUPDWLRQDOVWDWH RI WKHHQYLURQPHQWWKHQWKHDFWXDOV\VWHPFRQILJXUDWLRQLWVVWUXFWXUDOVWDWH LVLQGHHG GHVFULEHGE\WKDWGHVFULSWLRQ 5$,IDWWLPHSRLQWWLQWUDFH 4WKHZRUOGFRPSRQHQW(:KDVGHVFULSWLRQ(RQ LWV RXWSXW WKHQ DW WLPH SRLQW W LQ WUDFH 4WKHV\VWHPKDVVWUXFWXUH(LHWKHV\VWHP GHVFULSWLRQKROGVBLQIRBUVWDWHBU4ΓW7LQWHUIDFH&63 ),)25WY79 ⇒ ∃Σ6,* >ROGVBVWUXFWBUVWDWHBU4ΓW7V\VWHP H[LVWVBFRPS&63 WUXH ∧KROGVBVWUXFWBUVWDWHBU4ΓW7V\VWHP KDVBLQWHUIDFHBVLJQDWXUHΣ6,*&63 WUXH ∧KROGVBVWUXFWBUVWDWHBU4Γ""W7V\VWHP LVBIRUPXODBRI),)25Σ6,* WUXH @ @
&$ $W DQ\ WLPHWLQDQ\WUDFH 4LIWKHV\VWHPKDVDFHUWDLQVWUXFWXUHLQLWVVWUXF WXUDOVWDWH WKHQWKHIRUPXODHWKDWFDQEHHYDOXDWHGLQWKLVV\VWHPVWUXFWXUHKDYHWUXWK YDOXHVLQWKHV\VWHP VLQIRUPDWLRQDOVWDWH
∀4ΓW7&63),)25('()25∃Σ6,* Γ"W7V\VWHP H[LVWVBFRPS&63 WUXH ∧ KROGVBVWUXFWBUVWDWHBU4Γ"W7V\VWHP KDVBLQWHUIDFHBVLJQDWXUHΣ6,*&63 WUXH ∧ KROGVBVWUXFWBUVWDWHBU4Γ""W7V\VWHP LVBIRUPXODBRI),)25Σ6,* WUXH @ ⇒ ∃WY79KROGVBLQIRBUVWDWHBU4ΓW7LQWHUIDFH&63 ),)25WY79 @ >>KROGVBVWUXFWBUVWDWHBU4
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH15
6WUXFWXUH%HKDYLRXUSURSHUWLHV ,Q WKLV VHFWLRQ UHTXLUHG EHKDYLRXU LV UHODWHG WR VWUXFWXUH SURSHUWLHV DQG VHUYLFH UH TXHVWV,QWKHIROORZLQJ 54Γ W 7 W 7 & 63 VWDQGVIRUDFHUWDLQEHKDYLRXUDOUH TXLUHPHQW$VDQH[DPSOH SHUVBDVVBUHT4Γ W 7 W 7 & 63 GHQRWHVWKHIROORZLQJ UHTXLUHPHQWKHUH,1)2LVDVRUWIRUWKHFRQWHQWRIUHTXHVWVDQGDQVZHUV
∀$,1)2>KROGVBLQIRBUVWDWHBU4ΓW7LQSXW&63 UHTXHVW$,1)2 WUXH
⇒
∃W7∃%,1)2>W7≤W7≤W7W7∧ KROGVBLQIRBUVWDWHBU4
ΓW7RXWSXW&63 DQVZHUBIRU%,1)2$,1)2 WUXH @@
%\ GHILQLQJ VXFK DEEUHYLDWLRQV IRU WKH UHTXLUHPHQWV RI LQWHUHVW IRU WKH V\VWHP LQ TXHVWLRQDSRZHUIXOVFKHPHRIVWUXFWXUHEHKDYLRXUSURSHUWLHVFDQEHIRUPXODWHG6% DQG6% /HW 6% ( '()25 G7 G7 GHQRWH WKH IROORZLQJ VFKHPH RI VWUXFWXUH EHKDYLRXU SURSHUWLHV ,I EHWZHHQ WLPH SRLQWV W DQG W WKH V\VWHP KDV VWUXFWXUH ( '()25 WKHQ 5 LV WUXH EHWZHHQ W DQG W ± G IRU DOO SHULRGV RI VXIILFLHQW OHQJWK G PLQLPXP 5
5
5
∀4Γ∀W7W7W7W7 ≥
>>W7±W7 G7
∧∀W∈>W7W7@KROGVBVWUXFWBFVWDWHBF4ΓW7 ('()25WUXH ∧W7≤W7≤W7±G7∧W7±W7≥G7@ 54
⇒
ΓW7W7SHUVBDVV @
,Q WKH QH[W VWUXFWXUHEHKDYLRXU VFKHPH RI SURSHUWLHV 6% WKH OLQN LV PDGH EH WZHHQDVHUYLFHUHTXHVW 4WKHEHKDYLRXU 5WKDWVDWLVILHV 4DQGWKHSRVVLEOHVWUXFWXUHV ('()25WKDWFDQUHDOLVH56% GHQRWHVWKHIROORZLQJVFKHPHRIVWUXFWXUHEHKDYLRXU SURSHUWLHV 5
5
∀46/7(50
>LPSOLHGBVHUYLFH546/7(50
⇒
∃('()25G7G7 >6%5('()25G7G7
∧
VWUXFWXUHBUHDOLVHVBVHUYLFH('()2546/7(50 @
@
6\VWHP(YDOXDWLRQ ,Q RUGHU WR HYDOXDWHWKHV\VWHPEHKDYLRXUZHQHHGWRYHULI\WKDWWKHV\VWHPKDVWKH UHTXLUHG SURSHUWLHV ,Q 6HFWLRQ ZH KDYH LQWURGXFHG FHUWDLQ SURSHUWLHV IRU WKH SUR SRVHGVFHQDULR+RZHYHUYHULI\LQJVXFKSURSHUWLHVPD\EHTXLWHFRPSOH[7KHUHIRUH ZHPD\GHILQHVRPHLQWHUPHGLDWHSURSHUWLHVE\PHDQVRIZKLFKJOREDOSURSHUWLHVFDQ
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH16
EHSURYHGHDVLO\DQGPRUHHIILFLHQWO\DQGZKLFKE\WKHPVHOYHVFDQEHGHULYHGIURP EDVLFSURSHUWLHV ,QWHUPHGLDWH3URSHUWLHV ,QWHUPHGLDWHSURSHUWLHVFDQEHGHULYHGIURPEDVLFSURSHUWLHV+RZHYHULWLVXVHIXOWR IRUPXODWH WKHP H[SOLFLWO\ 7KHVH SURSHUWLHV VSHFLI\ WKH RXWSXWRXWSXW UHODWLRQV EH WZHHQ GLIIHUHQW V\VWHP FRPSRQHQWV 7ZR LPSRUWDQW LQWHUPHGLDWH SURSHUWLHV DUH DV IROORZV ,58$0$,QWHUDFWLRQ ,IDWWLPHSRLQWWWKHDJHQW8$JHQHUDWHVDVHUYLFHUH TXHVW 4 IRU 0$ RQ LWV RXWSXW WKHQ D WLPH SRLQW W !W H[LVWV VXFK WKDW 0$ KDV WRBEHBSHUIRUPHGDGG( UHODWHGWRWKLVUHTXHVWRQLWVRXWSXW ∀4ΓW746/7(50('()25 ΓW7RXWSXW8$ FRPPXQLFDWLRQBIURPBWR46/7(508$0$ WUXH
>>KROGVBLQIRBUVWDWHBU4
∧VWUXFWXUHBUHDOLVHVBVHUYLFH('()2546/7(50
∧¬∃(¶'()25
>KROGVBLQIRBUVWDWHBU 4
ΓW7RXWSXW(: REVHUYDWLRQBUHVXOW(¶'()25SRV WUXH
∧VWUXFWXUHBUHDOLVHVBVHUYLFH(¶'()2546/7(50 @@
⇒
∃W¶7!W7
>KROGVBLQIRBUVWDWHBU4
ΓW¶7RXWSXW0$ WRBEHBSHUIRUPHGDGG('()25 WUXH
∧ ∀(´'()25
>VWUXFWXUHBUHDOLVHVBVHUYLFH(´'()2546/7(50
∧KROGVBLQIRBUVWDWHBU4ΓW¶7RXWSXW0$ WRBEHBSHUIRUPHGDGG(´'()25 WUXH ⇒HTXDO('()25(´'()25
@
@
@
,5 0$(: ,QWHUDFWLRQ ,I DW WLPH SRLQW W 0$ KDV DQ DFWLRQ HJ WRBEHBSHUIRUPHGDGG( RUWRBEHBSHUIRUPHGGHOHWH( RQLWVRXWSXWWKHQDWLPHSRLQWW !W H[LVWVVXFKWKDW(:KDVWKHHIIHFWRIWKHDFWLRQHJ(UHVSQRW( RQLWVRXWSXW
∀4ΓW7α$&7,21β'()25
>>KROGVBLQIRBUVWDWHBU 4
∧
β
ΓW7RXWSXW0$ WRBEHBSHUIRUPHGα$&7,21 WUXH
LVBHIIHFWBRI '()25
∃W¶7!W7
KROGVBLQIRBUVWDWHBU 4
α$&7,21 @ ⇒
ΓW¶7RXWSXW(: β'()25WUXH @
7KH8VHRI3URRI3DWWHUQV 7KHIROORZLQJORJLFDOUHODWLRQVKLSVKROGEHWZHHQWKHGLIIHUHQWSURSHUWLHV
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH17
,QWHUPHGLDWHSURSHUWLHVDUHLPSOLHGE\WUDQVIHUSURSHUWLHVDQGDJHQWRUZRUOGSUR SHUWLHV 75 $5⇒,5 75 (5⇒,5 ,QWHUPHGLDWHSURSHUWLHVFDQEHFKDLQHGWRLQGLUHFWLQWHUDFWLRQSURSHUWLHVH[SUHVV LQJLQGLUHFWLPSDFWRIRQHFRPSRQHQWRQDQRWKHURQH ,5 ,5⇒*5
,QGLUHFWLQWHUPHGLDWHSURSHUWLHVLPSO\WKHJOREDOSURSHUWLHVDVVXPLQJ5HSUHVHQ WDWLRQDQG&RKHUHQFHSURSHUWLHVDQG6WUXFWXUH%HKDYLRXUUHODWLRQVKLSV *5 5$ &$ 6%⇒*5 &KHFNLQJ3URSHUWLHV *LYHQ D WUDFH RU VHW RI WUDFHV DOO RI WKH DERYH SURSHUWLHV FDQ EH FKHFNHG DXWRPDWL FDOO\7RWKLVHQGVRIWZDUHHQYLURQPHQWKDVEHHQGHYHORSHGLQ3URORJ,IWKHSURSHUW\ *5LVFKHFNHGWKHRXWFRPHFDQEHRQHRIWKHIROORZLQJ ,QGHHG*5VDWLVILHGRU *5 LV GLVVDWLVILHG LQ WKLV FDVH JLYHQ WKH ORJLFDO UHODWLRQVKLSV GHILQHG E\ WKH SURRISDWWHUQVDWOHDVWVRPHRIWKHEDVLFSURSHUWLHVDUHDOVRGLVVDWLVILHGZKLFKRQHV FDQDOVREHIRXQGE\UXQQLQJWKHFKHFNLQJVRIWZDUHIRUDOORIWKHEDVLFSURSHUWLHVWKH RXWFRPHRIWKLVFKHFNSRLQWVWRZKHUHWKHSUREOHPRULJLQDWHV
'LVFXVVLRQ 7KH UHTXLUHPHQWV VSHFLILFDWLRQ ODQJXDJH LQWURGXFHG LQ WKLV SDSHU FDQ EH XVHG LQ D QXPEHURIZD\V)LUVWLWDOORZVIRUVSHFLILFDWLRQRIUHTXLUHPHQWVRQWKHV\VWHPVWUXF WXUHRYHUWLPH0RVWRWKHUUHTXLUHPHQWODQJXDJHVHJ>@>@ RQO\DOORZIRUVSHFL ILFDWLRQRILQIRUPDWLRQDOV\VWHPVWDWHVIRUDJLYHQIL[HGV\VWHPVWUXFWXUH,QRXUODQ JXDJHLWLVSRVVLEOHERWKWRUHIHUWRWKHVWUXFWXUDOVWDWHRIWKHV\VWHPDQGWKHLQIRUPD WLRQDOVWDWHRILW $VHFRQGXVHLVWKDWDEURDGFODVVRIEHKDYLRXUDOSURSHUWLHVFDQEHVSHFLILHGRIWKH V\VWHPRURIVSHFLILFSDUWVRIWKHV\VWHPIRUH[DPSOHDJHQWV1RWRQO\FDQHJUHDF WLYHQHVV DQG SURDFWLYHQHVV SURSHUWLHV EH VSHFLILHG EXW DOVR SURSHUWLHV H[SUHVVLQJ DGDSWLYHEHKDYLRXUVXFKDVµH[HUFLVHLPSURYHVVNLOO¶ZKLFKDUHUHODWLYHWRFRPSDULQJ WZRDOWHUQDWLYHVIRU WKHKLVWRU\FDQEHH[SUHVVHGLQWKLVODQJXDJHLQVWDQGDUGIRUPV RIWHPSRUDOORJLFGLIIHUHQWDOWHUQDWLYHKLVWRULHVFDQQRWEHFRPSDUHG $ WKLUG DQGPRUHVRSKLVWLFDWHGXVHLVWRVSHFLI\UHTXLUHPHQWVRQWKHG\QDPLFVRI WKHSURFHVVRIPRGLILFDWLRQRIWKHV\VWHPVWUXFWXUHRYHUWLPHIRUH[DPSOHDVLQLWLDWHG DQGSHUIRUPHGE\WKHV\VWHPHJRQHRILWVDJHQWV LWVHOI+HUHUHTXLUHPHQWVRQIRU H[DPSOHDJHQWEHKDYLRXUDQGWKHG\QDPLFVRIWKHV\VWHPVWUXFWXUHDQGWKHLUUHODWLRQ
/HFWXUH1RWHVLQ&RPSXWHU6FLHQFH18
VKLSVFDQEHVSHFLILHG)RUH[DPSOHLWFDQEHH[SUHVVHGZKHWKHUDV\VWHPPRGLILFDWLRQ LQLWLDWLRQE\RQHRIWKHDJHQWVRFFXUVDQGZKHWKHULWLVVXFFHVVIXO 5HTXLUHPHQWVFDQEHVSHFLILHGDWGLIIHUHQWOHYHOVRIDJJUHJDWLRQ)RUH[DPSOHDUH TXLUHPHQWIRUWKHRYHUDOOV\VWHPFDQEHUHILQHGLQWRUHTXLUHPHQWVRIGLIIHUHQWSDUWVRI WKHV\VWHPLHUHTXLUHPHQWVRQVSHFLILFDJHQWVDQGRQVSHFLILFLQWHUDFWLRQVEHWZHHQ DJHQWVZKLFKWRJHWKHULPSO\WKHJOREDOUHTXLUHPHQW )RUDOOGLIIHUHQWW\SHVRIUHTXLUHPHQWVGLVFXVVHGIRUDJLYHQVHWRIWUDFHVWKHUHTXLUH PHQWVFDQEHYHULILHGDXWRPDWLFDOO\%\VSHFLI\LQJWKHUHILQHPHQWRIDUHTXLUHPHQWIRU WKHRYHUDOOV\VWHPLWLVSRVVLEOHWRSHUIRUPGLDJQRVLVRIPDOIXQFWLRQLQJRIWKHV\VWHP ,I WKH RYHUDOO UHTXLUHPHQW IDLOV RQ D JLYHQ WUDFH WKHQ VXEVHTXHQWO\ DOO UHILQHG UH TXLUHPHQWVIRUWKHSDUWVRIWKHV\VWHPFDQEHYHULILHGDJDLQVWWKDWWUDFHWKHFDXVHRI WKHPDOIXQFWLRQLQJFDQEHDWWULEXWHGWRWKHSDUWV RIWKHV\VWHPIRUZKLFKWKHUHILQHG UHTXLUHPHQWV IDLOV
5HIHUHQFHV %UD]LHU)07-RQNHU&0DQG7UHXU-3ULQFLSOHVRI&RPSRVLWLRQDO0XOWLDJHQW 6\VWHP 'HYHORSPHQW ,Q - &XHQD HG 3URF RI WKH WK ,),3 :RUOG &RPSXWHU &RQJUHVV:&& &RQIHUHQFHRQ,QIRUPDWLRQ7HFKQRORJ\DQG.QRZOHGJH6\VWHPV ,7 .12:6 SS7REHSXEOLVKHGE\,263UHVV 'DYLV$0 6RIWZDUHUHTXLUHPHQWV2EMHFWV)XQFWLRQVDQG6WDWHV3UHQWLFH +DOO1HZ-HUVH\ 'DUGHQQH $ /DPVZHHUGH $ YDQ DQG )LFNDV 6 *RDOGLUHFWHG 5HTXLUH PHQWV$FTXLVLWLRQ6FLHQFHLQ&RPSXWHU3URJUDPPLQJYROSS 'DULPRQW5DQG/DPVZHHUGH$YDQ )RUPDO5HILQHPHQW3DWWHUQVIRU*RDO 'ULYHQ 5HTXLUHPHQWV (ODERUDWLRQ 3URF RI WKH )RXUWK $&0 6\PSRVLXP RQ WKH )RXQGDWLRQRI6RIWZDUH(QJLQHHULQJ)6( SS 'XERLV ( 'X %RLV 3 DQG =HLSSHQ -0 $ )RUPDO 5HTXLUHPHQWV (QJL QHHULQJ 0HWKRG IRU 5HDO7LPH &RQFXUUHQW DQG 'LVWULEXWHG 6\VWHPV ,Q 3URFHHG LQJVRIWKH5HDO7LPH6\VWHPV&RQIHUHQFH576¶ 'XERLV (