Decomposition Relationship Visualization for ... - Science Direct

Available online at www.sciencedirect.com

ScienceDirect Procedia Computer Science 28 (2014) 626 – 634

&RQIHUHQFHRQ6\VWHPV(QJLQHHULQJ5HVHDUFK&6(5  (GV$]DG00DGQL8QLYHUVLW\RI6RXWKHUQ&DOLIRUQLD%DUU\%RHKP8QLYHUVLW\RI6RXWKHUQ&DOLIRUQLD 0LFKDHO6LHYHUV-HW3URSXOVLRQ/DERUDWRU\0DULOHH:KHDWRQ7KH$HURVSDFH&RUSRUDWLRQ 5HGRQGR%HDFK&$0DUFK



'HFRPSRVLWLRQ5HODWLRQVKLS9LVXDOL]DWLRQIRU([HFXWDEOH $UFKLWHFWXUH'LDJUDPV -DLPH&/HZ.ULVWLQ0*LDPPDUFR Stevens Institute of Technology, Castle Point on Hudson, Hoboken, NJ 07030, USA

$EVWUDFW 6\VWHPVDUFKLWHFWLQJWRROVDVVLVWLQGHVFULELQJDQGDQDO\]LQJFRPSOH[V\VWHPVDQGSURPRWHWKHGHVLJQRIEHWWHUV\VWHPVWKURXJK VWUXFWXUHG DQDO\VLV $V D V\VWHP LQ DQG RI LWVHOI DQ DUFKLWHFWLQJ WRRO FDQ EH VXEMHFW WR EHWWHUPHQWV DGMXVWPHQWV DQG LPSURYHPHQWVZKLFKDGGWRLWVXVHIXOQHVVIRUWKHDUFKLWHFWLQJFRPPXQLW\7KHLPSOHPHQWDWLRQRIDUFKLWHFWLQJSULQFLSOHVZLWKLQ D WRRO FDQ LQFUHDVH WKH HIILFLHQF\ RI WKDW WRRO DQG LWV XVHU  7KH UHVHDUFK GHVFULEHG LQ WKLV SDSHU SURYLGHV D IXQFWLRQDO PRGHO FRPSDULVRQ RI VRPH VWDQGDUG IXQFWLRQDO QRWDWLRQV DQG VSHFLILHV DQ DUFKLWHFW¶V QHHG IRU DGGLWLRQDO JUDSKLFDO LQGLFDWRUV RQ H[HFXWDEOH GLDJUDPV  7KHVH LQGLFDWRUV DUH LQWHQGHG WR GHOLYHU LPSURYHG YLVXDOL]DWLRQ RI GLVFRQQHFWV DPRQJ YDULRXV OHYHOV RI IXQFWLRQDO GHFRPSRVLWLRQ RQ H[HFXWDEOH GLDJUDPV WR LPSURYH WKH HIILFLHQF\ RI WKH GHVLJQ SURFHVV  7KLV SDSHU SURSRVHV VPDOO HQKDQFHPHQWV WR FXUUHQW H[HFXWDEOH PRGHOLQJ QRWDWLRQV WR JUDSKLFDOO\ LGHQWLI\ GHFRPSRVLWLRQDO GLVFRQQHFWV RQ ())%' DQG DFWLRQ GLDJUDPV 7KH VXJJHVWHG LPSOHPHQWDWLRQ GHWHFWV DQG LOOXVWUDWHV LQFRQVLVWHQFLHV LQ GHFRPSRVLWLRQDO UHODWLRQVKLSV ZKLFK JHQHUDWH HUURUV LI WKHVH UHODWLRQVKLSV DUH RYHUORRNHG E\ WKH XVHU GXULQJ GLDJUDP FRQVWUXFWLRQ  6HYHUDO H[DPSOHV DUH VKRZQ WR SRUWUD\WKHODFNRIJUDSKLFDOLQGLFDWRUVRQH[HFXWDEOHGLDJUDPVIRUFLQJWKHXVHUWRPDQXDOO\LGHQWLI\LOORJLFDOUHODWLRQVKLSVDQG UHUXQWKHVLPXODWLRQXQWLOLWVXFFHHGVLQUXQQLQJWRFRPSOHWLRQWKLVLVDSURFHVVWKDWFDQEHYHU\WLPHFRQVXPLQJDVDUHVXOWRI XVHUHUURU3URSRVHGQRWDWLRQDOHQKDQFHPHQWVLQFUHDVHHIILFLHQF\E\OHVVHQLQJUHSHWLWLYHHIIRUWVDQGWLPHWURXEOHVKRRWLQJWKHVH XVHUHUURUVFDXVLQJGLVFUHSDQFLHVIRXQGLQVLPXODWLRQ  ‹7KH$XWKRUV3XEOLVKHGE\(OVHYLHU%9 © 2014 The Authors. Published by Elsevier B.V. Open access under CC BY-NC-ND license. 6HOHFWLRQDQGSHHUUHYLHZXQGHUUHVSRQVLELOLW\RIWKH8QLYHUVLW\RI6RXWKHUQ&DOLIRUQLD Selection and peer-review under responsibility of the University of Southern California. Keywords:DUFKLWHFWXUHPRGHOLQJIXQFWLRQDOGHFRPSRVLWLRQH[HFXWDEOHDUFKLWHFWXUH())%'

1877-0509 © 2014 The Authors. Published by Elsevier B.V. Open access under CC BY-NC-ND license. Selection and peer-review under responsibility of the University of Southern California. doi:10.1016/j.procs.2014.03.076

Jaime C. Lew and Kristin M. Giammarco / Procedia Computer Science 28 (2014) 626 – 634

627

,QWURGXFWLRQ $VSHFWVRIDV\VWHPXQGHUGHVLJQFDQEHSRUWUD\HGE\YDULRXVQRWDWLRQGLDJUDPVVRPHRIZKLFKLQFOXGHVSLGHU KLHUDUFKLFDO (QKDQFHG )XQFWLRQDO )ORZ %ORFN 'LDJUDPV ())%'  DFWLYLW\ VHTXHQFH 1 DQG ,QWHJUDWHG 'HILQLWLRQIRU)XQFWLRQ0RGHOLQJ,'() GLDJUDPV7KHVHPRGHOLQJGLDJUDPVSUHVHQWWKHV\VWHP¶VGDWDLQYDULRXV IRUPV DV WKH DUFKLWHFW GHFRPSRVHV D V\VWHP  $Q ,'() PRGHO WKRXJK QRW DQ H[HFXWDEOH QRWDWLRQ SURYLGHV D YLVXDO LQGLFDWRU RI WKH SUHVHQFH RU DEVHQFH RI GHFRPSRVLWLRQ UHODWLRQVKLSV WKDW PD\ DOVR EH HPSOR\HG RQ WKH ())%'7KLVUHVHDUFKIRFXVHVRQFRPSDULQJWKHYLVLELOLW\DQDUFKLWHFWKDVLQWRDGHVLJQXVLQJ())%'DQG,'() PRGHOVDQGGHOLQHDWHVDQDUHDRISRWHQWLDOLPSURYHPHQWIRUWKHH[HFXWDEOH())%'DQGVLPLODUDFWLYLW\PRGHOVLQ WHUPVRIXVDELOLW\7KHDQDO\VLVHPSOR\V())%'QRWDWLRQWRH[HPSOLI\WKHSURSRVHGLPSURYHPHQWV7KHDSSURDFK XVHV JHQHULF WHUPLQRORJLHV LQ GHILQLQJ WKH V\VWHP DQG LWV H[WHUQDO V\VWHPV 7KH QHZ IXQFWLRQDOLW\ SURSRVHG IRU DFWLYLW\ PRGHOV OLNH WKH ())%' H[SDQGV WKHLU XVHIXOQHVV DQG FRQYHQLHQFH IRU V\VWHPV HQJLQHHUV E\ YLVXDOL]LQJ GHFRPSRVLWLRQ UHODWLRQVKLSV RQ WKH GLDJUDP YLHZ  7KH &25(  8QLYHUVLW\ (GLWLRQ WRRO LV XVHG WR H[HFXWH WKH VWXG\EXWWKHVDPHSULQFLSOHVWUDQVODWHWRDQ\WRROZLWKDGLDJUDPVLPLODUWRDQ())%' 1.1. Problem Definition $UFKLWHFWVXVHWKHSULQFLSOHVDQGSUDFWLFHVWKH\NQRZWRSHUIRUPHUURUGHWHFWLRQDQGTXDOLW\FRQWUROIRUPRGHOV WKH\ GHYHORS  6LPXODWLRQ RI WKH RSHUDWLRQDO DUFKLWHFWXUH DVVXUHV WKDW WKH IXQFWLRQDO DQG SK\VLFDO DUFKLWHFWXUHV¶ IXQFWLRQVDQGUHVRXUFHVZRUNFRKHVLYHO\2IWHQWKLVYHULILFDWLRQDQGYDOLGDWLRQWDNHVSODFHPDQXDOO\DQGSULRUWR UXQQLQJ D VLPXODWLRQ  2QH W\SH RI HUURU GHWHFWLRQ WKDW LV VWLOO SHUIRUPHG PDQXDOO\ LQ FHUWDLQ PRGHOV LV WXQQHO GHWHFWLRQ  7XQQHOLQJ LV DQ LQGLFDWRU IRU DUFKLWHFWV WKDW WKHUH LV D GLVFRQQHFW LQ WKH ORJLF RI WKH V\VWHP¶V PRGHO 7XQQHOVDUHLGHQWLILHGDQGUHSUHVHQWHGZLWKLQ,'()GLDJUDPVE\SDUHQWKHWLFDOQRWDWLRQDURXQGWKHKHDGRUWDLORIDQ DUURZ  ,I WKHUH DUH SDUHQWKHVHV DURXQG WKH KHDG RI DQ DUURZ WKLV PHDQV WKDW GHFRPSRVLWLRQ RQ WKH GHVWLQDWLRQ IXQFWLRQ KDV EHHQ SHUIRUPHG ZLWKRXW \HW DOORFDWLQJ WKH IORZ DVVRFLDWHG ZLWK WKDW DUURZ WR D VXEIXQFWLRQ  ,I WKH SDUHQWKHVHVDUHDURXQGWKHWDLORIDQDUURZWKLVPHDQVWKDWWKHUHLVQRVRXUFHIRUWKHIORZDVVRFLDWHGZLWKWKHDUURZ IURPDKLJKHUIXQFWLRQ:KHUHDVWXQQHOYLVXDOL]DWLRQZLWKSDUHQWKHVHV DQGDXWRPDWLFGHWHFWLRQDVGRQHLQ&25(  LVSURYLGHGIRULQ,'()QRWDWLRQWKHUHLVSUHVHQWO\QRFRUUHVSRQGLQJWXQQHOYLVXDOL]DWLRQRUDXWRPDWLFGHWHFWLRQLQ ())%' QRWDWLRQ ,QVWHDG WKH SUHVHQFH RI WKH VDPH GLVFRQQHFWV UHSUHVHQWHG E\ WXQQHOV RQ ,'() GLDJUDPV DUH VLJQLILHGLQ())%'VRQO\E\WKHRFFXUUHQFHRIDQHUURUGXULQJVLPXODWLRQZLWKQRYLVXDOPHDQVIRULQVSHFWLRQRQ WKHGLDJUDPEHIRUHVLPXODWLRQ 1.2. Problem Motivation :KLOH WKHUH DUH PDQ\ UHDVRQV EHKLQG WKH VXFFHVVHV DQG IDLOXUHV RI SURMHFWV RQH FDXVH WKDW KDV EHHQ FORVHO\ VWXGLHG LV WKH FRPSHWHQF\ RI V\VWHPV HQJLQHHUV  0RGHOV KDYH EHHQ FUHDWHG DQG GHYHORSHG WR PHDVXUH WKH FRPSHWHQF\RIV\VWHPVHQJLQHHUVGXHWRWKHODUJHUROHRIGHILFLHQF\LQV\VWHPVHQJLQHHULQJFDXVLQJSURMHFWIDLOXUH 7KHUH DUH PDQ\ FRQWULEXWLQJ IDFWRUV WR WKH LQFRPSHWHQF\ WKDW H[LVWV ZKLFK LQFOXGHV WKH ODFN RI HGXFDWLRQ OHDGHUVKLS XQGHUVWDQGLQJ NQRZOHGJH DQG RWKHU IDFWRUV  $V TXRWHG LQ ³5REHUW $ )URVFK ZKHQ DQ $VVLVWDQW 6HFUHWDU\ WR WKH 86 1DY\ZURWH µ>6@\VWHPV HYHQYHU\ ODUJHV\VWHPV DUH QRWGHYHORSHGE\ WKH WRROV RI V\VWHPV HQJLQHHULQJ EXW RQO\ E\ WKH HQJLQHHUV XVLQJ WKH WRROV¶ >)URVFK @´ 5HTXLULQJ EHWWHU HGXFDWLRQ WUDLQLQJ RU FHUWLILFDWLRQ DUH VRPH SURVSHFWLYH VROXWLRQV EXW DOVR ILQGLQJ RSSRUWXQLWLHV WR LPSURYH WRROV FDQ EH DQ DGGLWLRQDO VROXWLRQ WR LPSURYLQJ WKH HIILFLHQF\ RI WKH HQJLQHHU E\ UHPRYLQJ EXUGHQ RI SHUIRUPLQJ UHSHWLWLYH RU FRPSXWDWLRQDOO\LQWHQVLYHWDVNVIURPWKHKXPDQWRWKHPDFKLQH)RUH[DPSOHDQFDUXQHTXLSSHGZLWKDQDYLJDWLRQ V\VWHPFDQWDNHLWVGULYHUIURPGHVWLQDWLRQ$WR%EXWDFDUHTXLSSHGZLWKDQDYLJDWLRQV\VWHPPD\WDNHLWVGULYHU IURP GHVWLQDWLRQ $ WR % PRUH HIILFLHQWO\HVSHFLDOO\ LI WKH GULYHU LVXQIDPLOLDU ZLWK WKH URDGV 7KLVRI FRXUVH VWLOO GHSHQGVRQWKHGULYHUQRWWRPHQWLRQWKHTXDOLW\RIWKHQDYLJDWLRQV\VWHP EXWZLWKWKHULJKWPRGLILFDWLRQVRQHFDQ PDNHTXLWHWKHJHWDZD\  0RUHRYHUWKHQHHGIRUFRPSHWHQWV\VWHPVHQJLQHHUVJHQHUDWHVRSSRUWXQLWLHVIRUYDULRXVW\SHVRIVROXWLRQV%\ FUHDWLQJQHZZD\VWRUHGXFHWKHFKDQFHVRISRWHQWLDOIDXOWVE\V\VWHPVHQJLQHHUVSURMHFWVPD\KDYHDKLJKHUUDWHRI

628

Jaime C. Lew and Kristin M. Giammarco / Procedia Computer Science 28 (2014) 626 – 634

VXFFHVV%\HOLPLQDWLQJWKHJDSVLQNQRZOHGJHDQGFUHDWLQJDPRUHHIILFLHQWWRROXVHUVFDQDOVREHPRUHHIILFLHQWLQ WKHLU ZRUN  :LWK WKH FRPSOH[LW\ RI PRGHUQ LQWHJUDWHG PRGHOLQJ WRROV LW LV HDV\ IRU V\VWHPV HQJLQHHUV ERWK FRPSHWHQWDQGLQFRPSHWHQWWRIDOOLQWRPRPHQWVRISHUSOH[LW\WKDWFDQEHEULGJHGE\HQKDQFHGXVDELOLW\   5HVHDUFK  7KHDUFKLWHFWLQJWRROZLOOEHWKHHQWLW\UHJDUGHGDVWKHV\VWHPXQGHUGHVLJQDQGH[WHUQDOV\VWHPVDUHLGHQWLILHG DV WKH ³$UFKLWHFW´ DQG ³7RRO 9HQGRU´  )XUWKHUPRUH WKH V\VWHP LQ DQDO\VLV LV GHFRPSRVHG WR GHSLFW LWV VHW RI FRPSRQHQWV DQG HOHPHQWV WR FKDUDFWHUL]H LWV RYHUDOO IXQFWLRQDOLW\ RI WKH WRRO  7KLV SDUWLWLRQLQJ ZLOO DOORZ IRU WKH GHPDUFDWLRQRIWKHDUHDLQZKLFKWKHDUFKLWHFWLQJSULQFLSOHVFDQEHH[HFXWHGPRVWHIIHFWLYHO\$YDULHW\RIGLIIHUHQW PRGHOVDUHXVHGLQWKLVVHFWLRQWRUHSUHVHQWWKHGHFRPSRVLWLRQDQGWRVKRZWKHQHFHVVLW\IRUDGGHGIXQFWLRQDOLW\  2.1 Context Diagram ,Q )LJXUH D  WKH FRQWH[W GLDJUDP LOOXVWUDWHV WKH UHODWLRQVKLSV EHWZHHQ WKH DUFKLWHFWLQJ WRRO DQG LWV H[WHUQDO V\VWHPVZKLFKDUHGHILQHGDVWKH³DUFKLWHFW´DQG³WRROYHQGRU´7KHDUURZVLQGLFDWHWKHLQWHUDFWLRQVEHWZHHQWKH XQLWVWKHVHH[WHUQDOV\VWHPVLQWHUDFWZLWKDQGDUHLPSDFWHGE\WKHV\VWHPDVWKHV\VWHPRXWSXWVWRWKHVHH[WHUQDO V\VWHPV7KHWRROYHQGRUDOVRDIIHFWVWKHV\VWHPVLQFHWKHYHQGRULVWKHHQWLW\WKDWPDLQWDLQVWKHDUFKLWHFWLQJWRRO DQGFDQPDQLSXODWHWKHIXQFWLRQVRIWKHWRRO  D E 

)LJD &RQWH[WGLDJUDPE )XQFWLRQVKLHUDUFK\

2.2 Functions Hierarchy 7KH³8QLYHUVH´LQFRQWH[WLVGHFRPSRVHGLQWRWKUHHPDLQIXQFWLRQVIURPWKH0HWDIXQFWLRQ3URYLGH$UFKLWHFWLQJ &DSDELOLWLHV 8VH $UFKLWHFWLQJ 7RRO DQG 0DLQWDLQ $UFKLWHFWLQJ 7RRO 7KH 0HWDIXQFWLRQ FRUUHVSRQGV WR WKH 8QLYHUVHWKH3URYLGH$UFKLWHFWLQJ&DSDELOLWLHVIXQFWLRQLVSHUIRUPHGE\WKH$UFKLWHFWLQJ7RROZKLFKLVWKHV\VWHP LQGLVFXVVLRQWKH8VH$UFKLWHFWLQJ7RROIXQFWLRQLVSHUIRUPHGE\WKHH[WHUQDOV\VWHP$UFKLWHFWDQGWKH0DLQWDLQ $UFKLWHFWLQJ7RROIXQFWLRQLVSHUIRUPHGE\WKHILQDOH[WHUQDOV\VWHP7RRO9HQGRU)LJXUHIXUWKHUEUHDNVGRZQWKH H[WHUQDO V\VWHP OHYHO IXQFWLRQ RI 3URYLGH $UFKLWHFWLQJ &DSDELOLWLHV LQWR WKUHH ILUVWOHYHO IXQFWLRQV $FFHSW 8VHU 5HTXHVWV  3URYLGH )HHGEDFN 0DQDJH 8VHU $FWLYLW\ DQG 'HWHUPLQH 6\VWHP 5HVSRQVH 7KHVH VXEIXQFWLRQV DUH SHUIRUPHGE\WKHDUFKLWHFWLQJWRRO 2.3 First, Second and Third Level Functions: Provide Architecting Capabilities )LJXUHIXUWKHUVKRZVWKHIXQFWLRQDOKLHUDUFK\H[KLELWLQJWKHILUVWVHFRQGDQGWKLUGOHYHOIXQFWLRQV,Q)LJXUH WKH3URYLGH$UFKLWHFWLQJ&DSDELOLWLHVIXQFWLRQLVEURNHQLQWRLWVWKUHHVXEIXQFWLRQV7KHILUVWOHYHOVXEIXQFWLRQ $FFHSW8VHU5HTXHVWV 3URYLGH)HHGEDFNLVWKHVXEV\VWHPWKDWLQLWLDOO\KDQGOHVWKHGDWDLQSXWWHGIURPWKHXVHU

Jaime C. Lew and Kristin M. Giammarco / Procedia Computer Science 28 (2014) 626 – 634

629

7KHVH LQWHUDFWLRQV FDQ EH VHHQ E\ LWV VHFRQGOHYHO IXQFWLRQV $FFHSW 8VHU ,2 DQG 3URYLGH )HHGEDFN 7KH QH[W VXEV\VWHP LV 0DQDJH 8VHU $FWLYLW\ ZKLFK FRQWUROV ZKHUH WKH LQSXWV DQG RXWSXWV ZLOO EH DOORFDWHG 7KLV VXEVHW FRQWDLQVWKHVHFRQGOHYHOIXQFWLRQV$OORFDWH8VHU,23URFHVV0RGHOV 6LPXODWLRQV'LVSOD\8VHU$FWLYLW\DQG ,PSOHPHQW $UFKLWHFWLQJ 3ULQFLSOHV 7KH ILQDO VXEV\VWHP LV 'HWHUPLQH 6\VWHP 5HVSRQVH DQG LV UHVSRQVLEOH IRU SURYLGLQJ DFFHVV DQG SURFHVVLQJ XVHU LQSXWV DQG RXWSXWV 7KLV VXEVHW FRQWDLQV WKH VHFRQGOHYHO IXQFWLRQV 0DQDJH 8VHU3HUPLVVLRQVDQG3URFHVV8VHU,2 

)LJ)LUVWOHYHODQGVHFRQGOHYHOIXQFWLRQVKLHUDUFK\

2.4 Proposed Methods 7KHSURSRVHGPHWKRGFRQVLVWVRILPSOHPHQWLQJFHUWDLQDUFKLWHFWLQJSULQFLSOHVZLWKLQWKHDUFKLWHFWLQJWRRO7KLV ZLOORFFXUDWWKHWKLUGOHYHOLQWKHIXQFWLRQDOKLHUDUFK\DQGKDVEHHQDVVLJQHGDVHWRIVXEIXQFWLRQVZKLFKFDQEH VHHQLQ)LJXUH7KHIXQFWLRQ'HWHFW7XQQHOVZLOODOORZWKHDUFKLWHFWWRHDVLO\LGHQWLI\ZKHUHWXQQHOVPD\H[LVWLQ WKHLU PRGHOV DQG 'HWHFW ; DQG 'HWHFW