3. CRASH-TOLERANT REGISTER IMPLEMENTATION
3.1 Crash-Tolerant Register Implementation in Systems with Churn
3.1.7 Correctness Proof
3.1.7.1 Proof that Join Protocol Terminates
(OSUHVHQWH'HFUHWRVHUiGHDSOLFDFLyQDODVVLJXLHQWHVDFWLYLGDGHVGHSRUWLYDV D 3UXHEDGHSRUWLYDFRPSHWLWLYDRUJDQL]DGD
E 0DUFKDFLFOLVWDRUJDQL]DGD
F 2WURVHYHQWRVGHSRUWLYRVQRFRPSHWLWLYRVRUJDQL]DGRV
3UHFLVDUiQDXWRUL]DFLyQGHOyUJDQRFRPSHWHQWHHQPDWHULDGHHVSHFWiFXORVS~EOLFRV\ DFWLYLGDGHV UHFUHDWLYDV GH OD &RPXQLGDG $XWyQRPD GH &DQWDEULD ODV DFWLYLGDGHV GHSRUWLYDV UHJXODGDV HQ HO DUW GH OD /H\ GHO GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD FX\R iPELWR WHUULWRULDO GLVFXUUD SRU PiVGHXQWpUPLQRPXQLFLSDO
&XDQGR ODV DFWLYLGDGHV GHSRUWLYDV D GHVDUUROODU GLVFXUUDQ GHQWUR GH XQ VROR WpUPLQR PXQLFLSDO FRUUHVSRQGHUi DO $\XQWDPLHQWR OD DXWRUL]DFLyQ GH GLFKD DFWLYLGDG TXH VH DMXVWDUiDORGLVSXHVWRHQHVWH'HFUHWR
1RSRGUiQFHOHEUDUVHDFWLYLGDGHVGHSRUWLYDVVLQFXPSOLUODVFRQGLFLRQHVUHJXODGDVHQ HOSUHVHQWH'HFUHWR\GHPiVQRUPDVYLJHQWHVTXHOHVHDQGHDSOLFDFLyQ
4XHGDQ H[FOXLGRV GHO iPELWR GH DSOLFDFLyQ GH HVWH GHFUHWR DTXHOODV DFWLYLGDGHV GHSRUWLYDVTXHQRVHHQFXHQWUHQUHFRQRFLGDVSRUORVyUJDQRVRILFLDOHVFRPSHWHQWHV
Artículo 2.Actividades deportivas
$ORVHIHFWRVGHOSUHVHQWH'HFUHWRVHHQWLHQGHSRU
D 3UXHED GHSRUWLYD FRPSHWLWLYD RUJDQL]DGD WRGR HVSHFWiFXOR S~EOLFR \ DFWLYLGDG UHFUHDWLYD GH FDUiFWHU GHSRUWLYR FX\R REMHWR VHD FRPSHWLU HQ HVSDFLR R WLHPSR SRU ODV YtDV \ ]RQDV GH GRPLQLR S~EOLFR RUJDQL]DGDV \R DXWRUL]DGDV SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQGHSRUWLYDRHQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGH OD&RPXQLGDG$XWyQRPDGH&DQWDEULD
E0DUFKDFLFOLVWDRUJDQL]DGDVHFRQFLEHFRPRHOHMHUFLFLRItVLFRSRUYtDV\]RQDV GH GRPLQLR S~EOLFR FRQ ILQHV GHSRUWLYRV WXUtVWLFRV R FXOWXUDOHV GH PiV GH SDUWLFLSDQWHV RUJDQL]DGD \R DXWRUL]DGD SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQ GHSRUWLYD R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG $XWyQRPDGH&DQWDEULD
C
V
E
-2017-9619
F 2WURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRV DTXHOORV TXH QR HVWDQGRLQFOXLGRVHQORVDSDUWDGRVDQWHULRUHVVHFRQFLEHQFRPRHOHMHUFLFLRItVLFRSRUODV YtDV\]RQDVGHGRPLQLRS~EOLFRFRQILQHVGHSRUWLYRVWXUtVWLFRVRFXOWXUDOHVGHPiVGH SDUWLFLSDQWHV RUJDQL]DGRV \R DXWRUL]DGRV SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQ GHSRUWLYD R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG$XWyQRPDGH&DQWDEULD
Artículo 3.2UJDQL]DGRU
6H HQWLHQGH SRU RUJDQL]DGRU GH ODV DFWLYLGDGHV GHSRUWLYDV OD DGPLQLVWUDFLyQ X RUJDQLVPR S~EOLFR R OD SHUVRQD ItVLFD R MXUtGLFD UHVSRQVDEOH GH OD FRQYRFDWRULD RUJDQL]DFLyQ \ GHVDUUROOR GH OD DFWLYLGDG PHGLDQWH VX LQWHUYHQFLyQ GLUHFWD R PHGLDQWH FXDOTXLHU IRUPD GH GHOHJDFLyQ FRQWUDWR RFHVLyQ GH OD PLVPD D XQ WHUFHUR H[LVWD R QR FRQWUDSUHVWDFLyQHFRQyPLFD
Artículo 4. 6ROLFLWXG \ GRFXPHQWDFLyQ D SUHVHQWDU SDUD RUJDQL]DU XQD DFWLYLGDG
GHSRUWLYD (ORUJDQL]DGRUSUHVHQWDUiFRQDOPHQRVGtDVKiELOHVGHDQWHODFLyQDODIHFKDGH FHOHEUDFLyQGHODDFWLYLGDGGHSRUWLYDODVLJXLHQWHGRFXPHQWDFLyQ D 6ROLFLWXGSDUDODDXWRUL]DFLyQGHODDFWLYLGDGGHSRUWLYDGLULJLGDDOyUJDQRFRPSHWHQWH HQPDWHULDGHMXHJR\HVSHFWiFXORVTXHFRUUHVSRQGDVHJ~QHOPRGHORTXHILJXUDHQ HO$QH[R,GHSUHVHQWH'HFUHWR E &HUWLILFDGRGHOSDJRGHOD7DVD$GPLQLVWUDWLYD&RQFHSWRDODSUHVHQWDFLyQGH ODVROLFLWXGHQFDVRGHVHUQHFHVDULRGLVSRQLEOHHQODSiJLQDZHEGHO*RELHUQRGH &DQWDEULDZZZFDQWDEULDHV
F $XWRUL]DFLyQ R FHUWLILFDGR GH FDGD PRGDOLGDG GHSRUWLYD H[SHGLGR SRU OD )HGHUDFLyQ FRUUHVSRQGLHQWH\HQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGH OD&RPXQLGDG$XWyQRPDGH&DQWDEULDVHJ~QORGLVSXHVWRHQHODUW G 0HPRULDGHODDFWLYLGDGGHSRUWLYDTXHVHSUHWHQGDFHOHEUDUHQHOTXHVHKDUiFRQVWDU DOPHQRVORVLJXLHQWH 5HJODPHQWRGHODDFWLYLGDGGHSRUWLYDHQHOTXHFRQVWDUiFRPRPtQLPRQRPEUHGH ODDFWLYLGDGGHSRUWLYDQ~PHURFURQROyJLFR GHODHGLFLyQIHFKDGHODFHOHEUDFLyQ KRUDULRGHVDOLGD\Q~PHURSUHYLVWRGHSDUWLFLSDQWHV &URTXLVSUHFLVRGHOUHFRUULGRVREUHOD~OWLPDHGLFLyQGHOPDSDRILFLDOGHFDUUHWHUDV 5XWyPHWUR HQ HO TXH KD GH FRQVWDU HO LWLQHUDULR FRQ QRPHQFODWXUD DFWXDOL]DGD GH ODVFDUUHWHUDVQ~PHURWRWDOGHNLOyPHWURVSHUILOKRUDULRSUREDEOHGHSDVRSRUORV GLVWLQWRV SXQWRV GHWHUPLQDQWHV GHO UHFRUULGR \ SURPHGLR SUHYLVWR WDQWR GH OD FDEH]D GH OD SUXHED FRPR GHO FLHUUH GH pVWD 6L OD SUXHED FRQVWDUD GH YDULDV HWDSDVVHGHWDOODUiFDGDXQDGHHOODV
,GHQWLILFDFLyQGHORVUHVSRQVDEOHVGHODRUJDQL]DFLyQWDQWRGHOGLUHFWRUHMHFXWLYR FRPR GHO UHVSRQVDEOH GH VHJXULGDG YLDO TXH GHEHUi UHXQLU ORV UHTXLVLWRV HVWDEOHFLGRVHQHODUWtFXORGHHVWH'HFUHWR
C
V
E
-2017-9619
&HUWLILFDGR GH OD &RPSDxtD GH 6HJXURV GH UHVSRQVDELOLGDG FLYLO \ GH DFFLGHQWHV VHJ~QVHLQGLFDHQHODUWtFXORGHHVWH'HFUHWR$QH[R,,
&HUWLILFDGRGHODHPSUHVDTXHYD\DDSUHVWDUDVLVWHQFLDVDQLWDULDVHJ~QVHGHWDOOD HQHODUWtFXORGHHVWH'HFUHWR$QH[R,,,
'HFODUDFLyQMXUDGDGHOGLUHFWRUHMHFXWLYR\GHOUHVSRQVDEOHGHVHJXULGDGYLDOGHOD SUXHED GH TXH FRQRFHQ HO UHJODPHQWR UXWyPHWUR \ SODQ GH VHJXULGDG GH OD PLVPD
H (QHOFDVRGHTXHODSUXHEDGHSRUWLYDUHTXLULHVHHOXVRGHSURSLHGDGHVSULYDGDVVH GHEHUiDGMXQWDUODDXWRUL]DFLyQGHOXVRGHORVSURSLHWDULRV
I 'HFODUDFLyQ MXUDGD GHO RUJDQL]DGRU GH OD DFWLYLGDG GHSRUWLYD GH TXH HO SHUVRQDO DX[LOLDUUH~QHORVUHTXLVLWRVHVWDEOHFLGRVHQHODUWtFXORGHHVWH'HFUHWR
J (QFDVRGHTXHHOHYHQWRVHDGHFDUiFWHUEHQpILFRDIDYRUGHXQWHUFHURVHGHEHUi DSRUWDUODGRFXPHQWDFLyQTXHDVtORDFUHGLWH
K $TXHOODVDFWLYLGDGHVGHSRUWLYDVTXHFRQOOHYHQDOJ~QWLSRGHLQVWDODFLyQSRUWiWLOGHODV UHJXODGDV HQ HO DUWtFXOR L GH OD /H\ GH GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD GHEHUi UHXQLU ODV FRQGLFLRQHV WpFQLFDV TXH OH VHDQ GH DSOLFDFLyQ VHJ~Q OR GLVSXHVWR HQ HO DUWtFXOR GH OD /H\ GH GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD\FRQWDUFRQVXFRUUHVSRQGLHQWHDXWRUL]DFLyQ
$UWtFXOR$XWRUL]DFLRQHVR&HUWLILFDGRV)HGHUDWLYRV
3DUD OD SUHVHQWDFLyQ GH ODV DXWRUL]DFLRQHV R FHUWLILFDGRV HPLWLGRV SRU ODV GLIHUHQWHV )HGHUDFLRQHVVHWHQGUiQHQFXHQWDORVVLJXLHQWHVFULWHULRV
/DV DFWLYLGDGHV GHSRUWLYDV FRPSHWLWLYDV RUJDQL]DGDV SUHFLVDUiQ GH OD DXWRUL]DFLyQ SUHYLDPHQWHH[SHGLGDSRUOD)HGHUDFLyQR)HGHUDFLRQHVFRUUHVSRQGLHQWHV
/DV PDUFKDV FLFOLVWDV RUJDQL]DGDV \ RWURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRVSUHFLVDUiQGHXQFHUWLILFDGRH[SHGLGRSRUOD)HGHUDFLyQR)HGHUDFLRQHV R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG $XWyQRPDGH&DQWDEULD
$TXHOODV DFWLYLGDGHV GHSRUWLYDV RUJDQL]DGDV SRU OD )HGHUDFLyQ FRUUHVSRQGLHQWH HVWDUiQH[HQWDVGHVROLFLWDUODGRFXPHQWDFLyQGHORVSiUUDIRVDQWHULRUHV
&XDQGRVHSUHWHQGDUHDOL]DUXQDDFWLYLGDGGHSRUWLYDTXHLQWHJUHYDULDVPRGDOLGDGHV HO RUJDQL]DGRU GHEHUi DSRUWDU ORV FHUWLILFDGRV \ DXWRUL]DFLRQHV GH WRGDV ODV IHGHUDFLRQHVRHQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGHOD &RPXQLGDG$XWyQRPDGH&DQWDEULD
$UWtFXOR/XJDUGH3UHVHQWDFLyQ
/DVROLFLWXGGHDXWRUL]DFLyQMXQWRFRQHOUHVWRGHGRFXPHQWDFLyQVHSUHVHQWDUiHQ FXDOTXLHUDGHORVUHJLVWURVTXHGLVSRQHHODUWGHOD/H\GHGHRFWXEUHGHO 3URFHGLPLHQWR $GPLQLVWUDWLYR &RP~Q GH ODV $GPLQLVWUDFLRQHV 3~EOLFDV HQ DGHODQWH /3$&$3
C
V
E
-2017-9619
$UWtFXOR6XEVDQDFLyQGHGRFXPHQWDFLyQ
6L OD VROLFLWXG GH LQLFLDFLyQ QR UH~QH ORV UHTXLVLWRV VHxDODGRV DQWHULRUPHQWH VH UHTXHULUiDOLQWHUHVDGRSDUDTXHHQXQSOD]RGHGLH]GtDVVXEVDQHODIDOWDRDFRPSDxH ORV GRFXPHQWRV SUHFHSWLYRV FRQ LQGLFDFLyQ GH TXH VL DVt QR OR KLFLHUD VH WHQGUi SRU GHVLVWLGRGHVXSHWLFLyQ
$UWtFXOR,QIRUPHV\&RPXQLFDFLRQHV
8QD YH] REUH HQ SRGHU GHO yUJDQR FRPSHWHQWH SDUD DXWRUL]DU OD DFWLYLGDG GHSRUWLYD WRGDODGRFXPHQWDFLyQUHTXHULGDVROLFLWDUiORVVLJXLHQWHVLQIRUPHV
D $ OD -HIDWXUD 3URYLQFLDO GH 7UiILFR FXDQGR OD RUGHQDFLyQ JHVWLyQ FRQWURO \ YLJLODQFLD GHO WUiILFR GH HVD YtD HVWp DWULEXLGD D OD $GPLQLVWUDFLyQ *HQHUDO GHO (VWDGR
(O LQIRUPH UHIHULGR HQ HO SiUUDIR DQWHULRU QR VHUi SUHFHSWLYR HQ ORV VXSXHVWRV GH DFWLYLGDGHV GHSRUWLYDV TXH VH GHVDUUROOHQ WRWDOPHQWH GHQWUR GHO FDVFR XUEDQR GH XQDSREODFLyQ\QRDIHFWHQDODFLUFXODFLyQSRUWUDYHVtDV\YtDVLQWHUXUEDQDV -XQWRFRQODSHWLFLyQGHLQIRUPHVHUHPLWLUiFRSLDGHORVGRFXPHQWRVSUHYLVWRVHQHO DUWtFXORDSDUWDGRG\ E $O7LWXODUGHODYtDR]RQDGHGRPLQLRS~EOLFRVREUHODYLDELOLGDGGHODDFWLYLGDG -XQWRFRQODSHWLFLyQGHLQIRUPHVHUHPLWLUiFRSLDGHORVGRFXPHQWRVSUHYLVWRVHQHO DUWtFXORDSDUWDGRVG\\DSDUWDGRI
/RV LQIRUPHV SUHYLVWRV HQ HO Q~PHUR DQWHULRU WHQGUiQ FDUiFWHU YLQFXODQWH FXDQGR VH RSRQJDQ D OD UHDOL]DFLyQ GH OD DFWLYLGDG GHSRUWLYD R SURSRQJDQ YDULDFLRQHV HQ HO UHFRUULGR IHFKDV KRUD R OXJDU GH FHOHEUDFLyQ R HVWDEOH]FDQ OLPLWDFLRQHV R PHGLGDV HVSHFtILFDVGHSURWHFFLyQGHOPHGLRDPELHQWH
&XDQGR OD DFWLYLGDG GHSRUWLYD VHD DXWRUL]DGD SRU XQ $\XQWDPLHQWR \ VH GHVDUUROOH IXHUDGHOFDVFRXUEDQRSUHFLVDUiGHORVPLVPRVLQIRUPHVDQWHULRUPHQWHVHxDODGRV\ VLIXHUDQHFHVDULRGHPiVLQIRUPHVGHRWURVRUJDQLVPRV
/D HPLVLyQ GH HVWRV LQIRUPHV VH DMXVWDUi D OR GLVSXHVWR HQ HO DUW GH OD /H\ GHOGHRFWXEUH/3$&$3
6HGHEHUiFRPXQLFDUODVDFWLYLGDGHVGHSRUWLYDVFRQFDUiFWHUSUHYLRDVXFHOHEUDFLyQ DWRGRVORV$\XQWDPLHQWRVSRUGRQGHGLVFXUUD
3UHYLDPHQWH D VX FHOHEUDFLyQ ODV DFWLYLGDGHV GHSRUWLYDV VH FRPXQLFDUiQ D OD 'LUHFFLyQ*HQHUDOGH3URWHFFLyQ&LYLO
$UWtFXOR5HVROXFLyQ$XWRUL]DFLyQ
,QGHSHQGLHQWHPHQWHGHORVFDVRVGHGHVLVWLPLHQWR\UHQXQFLDGHORUJDQL]DGRUTXH SRGUi KDFHUVH SRU FXDOTXLHU PHGLR TXH SHUPLWD GHMDU FRQVWDQFLD GH ORV PLVPRV OD DXWRUL]DFLyQ R GHQHJDFLyQ VHUi REMHWR GH UHVROXFLyQ PRWLYDGD GLFWDGD SRU HO yUJDQR FRPSHWHQWH
(O SOD]R Pi[LPR SDUD UHVROYHU \ QRWLILFDU VHUi FRPR Pi[LPR GH GtDV KiELOHV GHVGH OD UHFHSFLyQ GH OD VROLFLWXG \ GRFXPHQWDFLyQ SUHFHSWLYD WUDQVFXUULGR HO SOD]RVLQ
C
V
E
-2017-9619
TXH VH KD\D GLFWDGR OD UHVROXFLyQ VH HQWHQGHUi GHQHJDGD OD DXWRUL]DFLyQ SDUD OD FHOHEUDFLyQ GH OD DFWLYLGDG VROLFLWDGD VHJ~Q OR GLVSXHVWR HQ HO DUWtFXOR GH OD /H\ GH(VSHFWiFXORV3~EOLFRV\DFWLYLGDGHVUHFUHDWLYDVGH&DQWDEULDVLQSHUMXLFLRGH ODVFDXVDVGHSRVLEOHSDUDOL]DFLyQGHOSURFHGLPLHQWRDQWHULRUPHQWHUHIHULGDV
(VWH SOD]R OHJDO SDUD UHVROYHU \ QRWLILFDU OD UHVROXFLyQ SRGUi VXVSHQGHUVH VHJ~Q GLVSRQHHODUWGHOD/H\GHOGHRFWXEUH/3$&$3
&XDQGRDOJ~QLQIRUPHGHORVSUHYLVWRVHQHODUWGHHVWH'HFUHWRVHDQHJDWLYR VH GLFWDUi 5HVROXFLyQ GHQHJDWRULD GHELGDPHQWH PRWLYDGD FXDQGR HQ HO LQIRUPH ILJXUHQ SUHVFULSFLRQHVWpFQLFDVGHEHUiQLQFRUSRUDUVHHQODDXWRUL]DFLyQ
$UWtFXOR5HVSRQVDEOHVGHODDFWLYLGDGGHSRUWLYD
(O GLUHFWRU HMHFXWLYR \ HO UHVSRQVDEOH GH VHJXULGDG YLDO GH OD DFWLYLGDG GHSRUWLYD GHEHUiQVHUPD\RUHVGHHGDGGHEHUiQFRQRFHUODVQRUPDVGHFLUFXODFLyQSDUDORFXDO GHEHUiQ SRVHHU SHUPLVR GH FRQGXFFLyQ HQ YLJRU \ SUHVHQWDU IRWRFRSLD GHO PLVPR DVt FRPRFRQRFLPLHQWRGHOUHJODPHQWRUXWyPHWUR\SODQGHVHJXULGDGGHODSUXHED$HVWRV HIHFWRV VH FRQVLGHUDUi YiOLGR XQ SHUPLVR GH FRQGXFLU H[WUDQMHUR VLHPSUH TXH KDELOLWH SDUD FRQGXFLU HQ (VSDxD 8QD PLVPD SHUVRQD SXHGH GHVHPSHxDU ODV IXQFLRQHV GH GLUHFWRUHMHFXWLYR\UHVSRQVDEOHGHVHJXULGDGYLDO
(O UHVSRQVDEOH GH VHJXULGDG YLDO GHEHUi LQGLFDU GH PRGR SUHFLVR D FDGD XQR GH ORVPLHPEURVGHOSHUVRQDOKDELOLWDGRODIXQFLyQTXHGHEDQGHVHPSHxDU $UWtFXOR3ODQGH6HJXULGDG $ORVHIHFWRVGHODUWtFXORGHOSODQGHVHJXULGDGFRQWHQGUiFRPRPtQLPR D 'HVFULSFLyQGHORVULHVJRV\PHGLGDVDWRPDUSDUDODVHJXULGDGGHODUHDOL]DFLyQGHOD SUXHEDGHSRUWLYDWDQWRGHSDUWLFLSDQWHVFRPRGHS~EOLFR
E /RV PHGLRV KXPDQRV \ PDWHULDOHV TXH VH GLVSRQJDQ SDUD FXEULU GLFKD DFWLYLGDG GHSRUWLYD LQFOX\HQGR HO FXPSOLPLHQWR GH OR GLVSXHVWR HQ OD /H\ GH (VSHFWiFXORV 3~EOLFRV\$FWLYLGDGHV5HFUHDWLYDVHQPDWHULDGHVHJXULGDGSULYDGD F /DSUHYHQFLyQGHVLQLHVWURV\ODLQWHUYHQFLyQLQPHGLDWDHQHOFRQWUROGHORVPLVPRV G 8ELFDFLyQGHODVPHGLGDVGHVHxDOL]DFLyQGHODDFWLYLGDGGHSRUWLYD\GHOUHVWRGHORV GLVSRVLWLYRVGHVHJXULGDGSUHYLVWRVHQORVSRVLEOHVOXJDUHVSHOLJURVRV $UWtFXOR6HJXURVSDUDDFWLYLGDGHVGHSRUWLYDVR*DUDQWtD)LQDQFLHUDHTXLYDOHQWH &HUWLILFDGR GH FRQWUDWDFLyQ GH VHJXUR GH UHVSRQVDELOLGDG FLYLO R JDUDQWtD ILQDQFLHUD
HTXLYDOHQWH
6HFHUWLILFDUiH[SUHVDPHQWHSRUOD&RPSDxtDGH6HJXURVFRQODTXHVHFRQWUDWHTXH HVWiQFXELHUWRVWRGRVORVSDUWLFLSDQWHVGHODSUXHEDGHORVSRVLEOHVGDxRVDWHUFHURV KDVWD ORV PLVPRV OtPLWHV TXH SDUD ORV GDxRV SHUVRQDOHV \ PDWHULDOHV HVWDEOHFH HO 5HDO'HFUHWRGHGHVHSWLHPEUHSDUDHOVHJXURGHUHVSRQVDELOLGDGFLYLO GHYHKtFXORVDPRWRUGHVXVFULSFLyQREOLJDWRULD3RUWRGRORDQWHULRUHQHOFHUWLILFDGR GH OD FRPSDxtD GH VHJXURV VH GHEH HVSHFLILFDU FODUDPHQWH TXH ³OD FREHUWXUD GHO
C
V
E
-2017-9619
VHJXURTXHFXEUHODUHVSRQVDELOLGDGFLYLOGHODDFWLYLGDG´TXH VHUiODILMDGDHQGLFKD QRUPDWLYD R SRU OD QRUPDWLYD HQ PDWHULD GH VHJXUR GHSRUWLYR HQ YLJRU TXH OR VXVWLWX\D
&HUWLILFDGRGHFRQWUDWDFLyQGHVHJXURGHDFFLGHQWHVRJDUDQWtDILQDQFLHUDHTXLYDOHQWH $ WUDYpV GH OD )HGHUDFLyQ GH TXH WRGRV ORV SDUWLFLSDQWHV GH OD SUXHED HVWiQ IHGHUDGRV \ SRU WDQWR FXELHUWRV SRU HO VHJXUR REOLJDWRULR GHSRUWLYR UHJXODGR SRU HO 5HDO'HFUHWRGHGHMXQLR
&XDQGR HVWR QR IXHUD SRVLEOH FHUWLILFDGR GH OD &RPSDxtD GH 6HJXURV FRQ OD TXH HO RUJDQL]DGRU KD\D FRQWUDWDGR HO VHJXUR GH DFFLGHQWHV HQ HO TXH VH KDJD FRQVWDU H[SUHVDPHQWHTXHHVWiQFXELHUWRVWRGRVORVSDUWLFLSDQWHVGHODSUXHEDFRPRPtQLPR FRQ ODV FREHUWXUDV GHO VHJXUR REOLJDWRULR GHSRUWLYR UHJXODGR HQ HO 5HDO 'HFUHWR GHGHMXQLRRSRUODQRUPDWLYDHQPDWHULDGHVHJXURGHSRUWLYRHQYLJRU TXHORVXVWLWX\D
/RV DQWHULRUHV VHJXURV VH FHUWLILFDUiQ VHJ~Q HO PRGHOR TXH ILJXUD HQ HO $QH[R ,, GHOSUHVHQWH'HFUHWR
(Q DTXHOORV FDVRV TXH ODV SUXHEDV GHSRUWLYDV VHDQ IHGHUDGDV ORV FHUWLILFDGRV DQWHULRUHVSRGUiQVHUHPLWLGRVSRUOD)HGHUDFLyQFRUUHVSRQGLHQWH
$UWtFXOR6HUYLFLRVVDQLWDULRV
&HUWLILFDGR GH OD HPSUHVD VDQLWDULD TXH DFUHGLWH TXH OD RUJDQL]DFLyQ GLVSRQH GXUDQWH WRGD OD FHOHEUDFLyQ GH OD SUXHED GHSRUWLYD GH XQD GRWDFLyQ PtQLPD GH XQD DPEXODQFLD\XQPpGLFRSDUDODDVLVWHQFLDGHWRGRVORVSDUWLFLSDQWHV
(QODVSUXHEDVFX\DSDUWLFLSDFLyQVXSHUHORVSDUWLFLSDQWHVVHFRQWDUiFRQXQ PtQLPR GH GRV DPEXODQFLDV \ GRV PpGLFRV \ GHEHUi DxDGLUVH FRPR PtQLPR XQD DPEXODQFLD\XQPpGLFRSRUFDGDIUDFFLyQVXSOHPHQWDULDGHSDUWLFLSDQWHV
$UWtFXOR3HUVRQDO$X[LOLDU
(O SHUVRQDO DX[LOLDU SDUD HO PDQWHQLPLHQWR GHO RUGHQ \ FRQWURO GH OD DFWLYLGDG GHSHQGHUi GHO UHVSRQVDEOH GH VHJXULGDG YLDO GHEHUi VHU XQ Q~PHUR UD]RQDEOH QR LQIHULRUDXQDSHUVRQDFDGDVHLVFLHQWRVPHWURVDORODUJRGHOUHFRUULGRHQIXQFLyQGHODV FDUDFWHUtVWLFDV GH OD DFWLYLGDG \ GHEHUi WHQHU FRPR PtQLPR ODV VLJXLHQWHV FDUDFWHUtVWLFDV
D 6HUPD\RUGHDxRV\SRVHHUSHUPLVRGHFRQGXFFLyQ
E 'LVSRQHU SRU HVFULWR GH ODV LQVWUXFFLRQHV SUHFLVDV GDGDV SRU HO UHVSRQVDEOH GH VHJXULGDGYLDOGHODSUXHED\TXHKDEUiQVLGRH[SOLFDGDVSUHYLDPHQWHSRUpVWHRSRU ORVDJHQWHVGHODDXWRULGDGTXHGHQFREHUWXUDDODSUXHED
F 'LVSRQHU GH XQ VLVWHPD GH FRPXQLFDFLyQ HILFD] TXH SHUPLWD DO UHVSRQVDEOH GH VHJXULGDGYLDOHQWUDUHQFRQWDFWRFRQHOSHUVRQDOKDELOLWDGRGXUDQWHODFHOHEUDFLyQGH ODSUXHED
G 'LVSRQHUGHPDWHULDOGHVHxDOL]DFLyQDGHFXDGRLQWHJUDGRFRPRPtQLPRSRUFRQRV\ EDQGHUDV YHUGHV DPDULOODV \R URMDV SDUD LQGLFDU D ORV XVXDULRV VL OD UXWD HVWi R QR OLEUHRXQDVLWXDFLyQGHSHOLJURVLGDG
C
V
E
-2017-9619
H 'HEHUi SRGHU GHVSOD]DUVH GH XQ SXQWR D RWUR GHO UHFRUULGR SDUD HO HMHUFLFLR GH VXV IXQFLRQHV
$UWtFXOR8VRGHODVYtDV
/DV SUXHEDV GHSRUWLYDV FRPSHWLWLYDV RUJDQL]DGDV VH GLVSXWDUiQ D WUiILFR FRPSOHWDPHQWH FHUUDGR D ORV XVXDULRV DMHQRV D GLFKD SUXHED \ JR]DUiQ GHO XVR H[FOXVLYR GH ODV YtDV HQ HO HVSDFLR FRPSUHQGLGR HQWUH HO YHKtFXOR GH DSHUWXUD FRQ EDQGHUDURMD\HOGHFLHUUHFRQEDQGHUDYHUGH
/DV PDUFKDV FLFOLVWDV RUJDQL]DGDV \ RWURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRV VH GHVDUUROODUiQ FRQ HO WUiILFR DELHUWR VLQ SHUMXLFLR GH TXH HQ FLHUWDV FLUFXQVWDQFLDV R PRPHQWRV SXHGD FRQVLGHUDUVH OD RSFLyQ GH FHUUDU DO WUiILFR GHWHUPLQDGDV]RQDVPLHQWUDVGXUDHOSDVRGHORVSDUWLFLSDQWHVGHODDFWLYLGDGGHSRUWLYD $UWtFXOR5pJLPHQ6DQFLRQDGRU
/DV LQIUDFFLRQHV FRPHWLGDV SRU ORV RUJDQL]DGRUHV SDUWLFLSDQWHV \ S~EOLFR HQ ODV DFWLYLGDGHV REMHWR GH HVWH GHFUHWR VH WUDPLWDUiQ GH FRQIRUPLGDG DO SURFHGLPLHQWR VDQFLRQDGRU UHJXODGR HQ OD /H\ GH &DQWDEULD GH GH DEULO GH (VSHFWiFXORV 3~EOLFRV\$FWLYLGDGHV5HFUHDWLYDVGH&DQWDEULD
'LVSRVLFLyQ7UDQVLWRULD
/RV ([SHGLHQWHV LQLFLDGRV DQWHV GH OD HQWUDGD HQ YLJRU GHO SUHVHQWH 'HFUHWR VH UHJLUiQSRUORGLVSXHVWRHQODQRUPDWLYDYLJHQWHHQHOPRPHQWRGHOLQLFLRVDOYRTXHORV SUHFHSWRVGHHVWH'HFUHWRUHVXOWHQPiVIDYRUDEOHVSDUDHOLQWHUHVDGR
'LVSRVLFLyQ)LQDO
C V E -2017-9619 &216(-(5Ë$'(35(6,'(1&,$ <-867,&,$ 6HFUHWDUtD*HQHUDOGHOD&RQVHMHUtDGH 3UHVLGHQFLD\-XVWLFLD 6HUYLFLRGH-XHJR\(VSHFWiFXORV *2%,(512 GH &$17$%5,$ (63$&,25(6(59$'23$5$(/5(*,6752 $1(;2,
'DWRVGHORUJDQL]DGRU1RPEUH $SHOOLGR $SHOOLGR 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季
1,)&,) 1RPEUHRUD]yQVRFLDO
7LSRGHYtD 1RPEUHGHODYtD 1 3LVR 3XHUWD 2WURV &yGLJRSRVWDO /RFDOLGDG 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 0XQLFLSLR 3URYLQFLD 7HOpIRQR 'LUHFFLyQGHFRUUHRHOHFWUyQLFR 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 'DWRVGHODDFWLYLGDGGHSRUWLYD 1~PHURGHHGLFLyQ\QRPEUHGHODDFWLYLGDG
)HFKDGHFHOHEUDFLyQ +RUDGHVDOLGD\OOHJDGD /RFDOLGDGGHFHOHEUDFLyQ
6ROLFLWXG 3UXHEDGHSRUWLYDFRPSHWLWLYDRUJDQL]DGD 0DUFKDFLFOLVWDRUJDQL]DGD 2WURVHYHQWRVGHSRUWLYRVQRFRPSHWLWLYRVRUJDQL]DGRV 'RFXPHQWDFLyQTXHDGMXQWDFRSLD\RULJLQDOSDUDVXFRWHMR
&HUWLILFDGR GHO SDJR GH OD 7DVD $GPLQLVWUDWLYD &RQFHSWR D OD SUHVHQWDFLyQ GH OD VROLFLWXG HQ FDVR GH VHU QHFHVDULR GLVSRQLEOHHQODSiJLQDZHEGHO*RELHUQRGH&DQWDEULDZZZFDQWDEULDHV $XWRUL]DFLyQRFHUWLILFDGRGHFDGDPRGDOLGDGGHSRUWLYDH[SHGLGRSRUOD)HGHUDFLyQFRUUHVSRQGLHQWH 0HPRULDGHODDFWLYLGDGGHSRUWLYDTXHVHSUHWHQGDFHOHEUDUHQHOTXHVHKDUiFRQVWDUDOPHQRVORVLJXLHQWH 5HJODPHQWRGHODDFWLYLGDGGHSRUWLYDHQHOTXHFRQVWDUiFRPRPtQLPRQRPEUHGHODDFWLYLGDGGHSRUWLYDQ~PHURFURQROyJLFRGHOD HGLFLyQIHFKDGHODFHOHEUDFLyQKRUDULRGHVDOLGD\Q~PHURSUHYLVWRGHSDUWLFLSDQWHV &URTXLVSUHFLVRGHOUHFRUULGRVREUHOD~OWLPDHGLFLyQGHOPDSDRILFLDOGHFDUUHWHUDV 5XWyPHWURHQHOTXHKDGHFRQVWDUHOLWLQHUDULRFRQQRPHQFODWXUDDFWXDOL]DGDGHODVFDUUHWHUDVQ~PHURWRWDOGHNLOyPHWURVSHUILO KRUDULRSUREDEOHGHSDVRSRUORVGLVWLQWRVSXQWRVGHWHUPLQDQWHVGHOUHFRUULGR\SURPHGLRSUHYLVWRWDQWRGHODFDEH]DGHODSUXHEDFRPR GHOFLHUUHGHpVWD6LODSUXHEDFRQVWDUDGHYDULDVHWDSDVVHGHWDOODUiFDGDXQDGHHOODV )RWRFRSLDGHOFDUQHWGHFRQGXFLUHQYLJRUGHORVUHVSRQVDEOHVGHODRUJDQL]DFLyQWDQWRGHOGLUHFWRUHMHFXWLYRFRPRGHOUHVSRQVDEOH GHVHJXULGDGYLDO 3ODQGHVHJXULGDGGHWDOODGR &HUWLILFDGRGHOD&RPSDxtDGH6HJXURVGHUHVSRQVDELOLGDGFLYLO\GHDFFLGHQWHV$QH[R,, 62/,&,78'3$5$$&7,9,'$'(6'(3257,9$6
C V E -2017-9619 'HFODUDFLyQUHVSRQVDEOH
6RQ FLHUWRV FXDQWRV GDWRV ILJXUDQ HQ OD SUHVHQWH VROLFLWXG \ HQ VX FDVR HQ OD GRFXPHQWDFLyQ DGMXQWD \ HVWD ~OWLPD HV ILHO FRSLD GH ORV RULJLQDOHV&RQR]FR\DFHSWRTXHOD$GPLQLVWUDFLyQ3~EOLFDSRGUiFRPSUREDUHQFXDOTXLHUPRPHQWRODYHUDFLGDGGHWRGRVORVGRFXPHQWRV GDWRV \ FXPSOLPLHQWR GH ORV UHTXLVLWRV SRU FXDOTXLHU PHGLR DGPLWLGR HQ GHUHFKR (Q HO VXSXHVWR GH TXH OD $GPLQLVWUDFLyQ FRPSUXHEH OD LQH[DFWLWXG GH ORV GDWRV GHFODUDGRV HO yUJDQR JHVWRU HVWDUi IDFXOWDGR SDUD UHDOL]DU ODV DFWXDFLRQHV SURFHGHQWHV VLQ SHUMXLFLR GH ODV UHVSRQVDELOLGDGHVTXHSXGLHUDQFRUUHVSRQGHUHQYLUWXGGHODOHJLVODFLyQDSOLFDEOH (Q««««««D««GH«««««««««GH««« )GR 6(59,&,2'(-8(*2<(63(&7È&8/26 &3HxD+HUERVDSODQWD6DQWDQGHU7HOpI /RVGDWRVSHUVRQDOHVUHFRJLGRVVHUiQLQFRUSRUDGRV\WUDWDGRVHQHOILFKHURFRUUHVSRQGLHQWH\SRGUiQVHUFHGLGRVGHFRQIRUPLGDGFRQORSUHYLVWRHQHODUWtFXORGHOD/H\2UJiQLFD GHGHGLFLHPEUHGH 3URWHFFLyQ GH 'DWRV GH &DUiFWHU3HUVRQDO 3RGUi HMHUFHU ORVGHUHFKRV GH DFFHVR UHFWLILFDFLyQ FDQFHODFLyQ\ RSRVLFLyQSUHYLVWRVHQ OD FLWDGD/H\ DQWH HO yUJDQR UHVSRQVDEOHGHOILFKHUR 3DUDFXDOTXLHUFRQVXOWDUHODFLRQDGDFRQHOSURFHGLPLHQWRSXHGHGLULJLUVHDOWHOpIRQRGHLQIRUPDFLyQDGPLQLVWUDWLYDVLOODPDGHVGHIXHUDGHOD&RPXQLGDG$XWyQRPD