Rapid Development of Custom Software Architecture Design ...

More documents

Recommendations

Info

FRPSRVHGZLWKLQWKH)23/IUDPHZRUNWRGHILQHFRPSOH[DQGLQWHUHVWLQJGHVLJQFRQVWUDLQWV$V DUFKLWHFWV JDLQ IXUWKHU H[SHULHQFH ZRUNLQJ ZLWK $UPDQL WKH\ IUHTXHQWO\ GLVFRYHUDGGLWLRQDO FRQVWUDLQWV WKDW WKH\ ZRXOG OLNH WR EH DEOH WR H[SUHVV EXW WKDW DUH QRW UHDGLO\UHSUHVHQWHGZLWK WKLV VHW RI SULPLWLYH IXQFWLRQV 7R DGGUHVVWKLV LVVXH $UPDQL SURYLGHV DPHFKDQLVP E\ ZKLFK DUFKLWHFWV FDQ FDSWXUH XVHIXO QRQSULPLWLYH IXQFWLRQV WKDW FDQ EHUHXVHGLQPXOWLSOHFRQVWUDLQWVSHFLILFDWLRQV7KHVHXVHUGHILQHGIXQFWLRQVFDOOHGGHVLJQDQDO\VHVZLOOEHGLVFXVVHGLQGHWDLOODWHULQWKLVFKDSWHU7KH IROORZLQJ H[DPSOHV LOOXVWUDWH KRZ WKH EXLOWLQ IXQFWLRQV FDQ EH XVHG WR FDSWXUHDUFKLWHFWXUDOGHVLJQFRQVWUDLQWV7KHILUVWSUHGLFDWH&RQQHFWHGFOLHQWVHUYHUFKHFNVWKDWWKHFRPSRQHQWVFOLHQWDQGVHUYHUDUHFRQQHFWHG7KHQH[WSUHGLFDWHLVGHILQHGLQWKHVFRSHRI DV\VWHPLQVWDQFH)RUDOOFRQQFRQQHFWRULQV\VWHP,QVWDQFH&RQQHFWRUV_VL]HFRQQUROHV ,WJXDUDQWHHVWKDWDOORI WKHFRQQHFWRUVLQWKHV\VWHPPXVWEHELQDU\FRQQHFWRUVLHWKH\PXVWKDYHH[DFWO\WZRUROHV7KHIROORZLQJSUHGLFDWHVSHFLILHVWKDWDOOUROHVRQDOOFRQQHFWRUVLQDV\VWHPPXVWEHDWWDFKHGWRDSRUWDQGIXUWKHUWKDWWKHDWWDFKHGSRUWUROHSDLUPXVWVKDUHWKHVDPHSURWRFRO)RUDOOFRQQFRQQHFWRULQV\VWHP,QVWDQFH&RQQHFWRUV_)RUDOOUUROHLQFRQQ5ROHV_([LVWVFRPSFRPSRQHQWLQV\VWHP,QVWDQFH&RPSRQHQWV_([LVWVSSRUWLQFRPS3RUWV_DWWDFKHGSUDQGSSURWRFRO USURWRFRO7KHSRUWDQGUROHSURWRFROYDOXHVDUHUHSUHVHQWHGDVSURSHUWLHVRI WKHSRUWDQGUROHGHVLJQHOHPHQWV,QDGGLWLRQWRGHVFULELQJWKHWRSRORJLFDOIHDWXUHVRI DV\VWHPSUHGLFDWHVFDQGHVFULEHDQGERXQGOHJDOSURSHUW\YDOXHVDQGW\SHV7KHIROORZLQJH[DPSOHVGHPRQVWUDWHSUHGLFDWHVWKDWERXQGWKHOHJDOYDOXHUDQJHIRUDSURSHUW\ VHOIWKURXJKSXW5DWH! DQGWKDWVSHFLI\DUHODWLRQVKLSEHWZHHQPXOWLSOHSURSHUWLHVFRPSWRWDO/DWHQF\ FRPSUHDG/DWHQF\FRPSSURFHVVLQJ/DWHQF\FRPSZULWH/DWHQF\7KHVHH[DPSOHVDUHQRWLQWHQGHGWREHDQH[KDXVWLYHH[KLELWLRQRI WKHW\SHVRI SUHGLFDWHVWKDWFDQEHH[SUHVVHGLQ$UPDQL5DWKHUWKH\DUHLQWHQGHGDVH[DPSOHVWKDWJLYHDIODYRUIRUWKH W\SHV RI SUHGLFDWHV WKDW FDQ EH H[SUHVVHG RYHU GHVLJQ LQVWDQFHV ZLWK WKH $UPDQLSUHGLFDWHODQJXDJH9The reserved keyword self refers to the design element instance (component, connector, port, role, or system) inwhich the constraint is scoped.
6FRSLQJUXOHV([WHQGLQJILUVWRUGHUSUHGLFDWHORJLFZLWKDVHWRI DUFKLWHFWXUDOSULPLWLYHVLVRQO\DILUVWVWHSWRZDUGV LQWHJUDWLQJ WKH FRQVWUDLQW ODQJXDJH ZLWK WKH UHVW RI WKH $UPDQL GHVLJQ ODQJXDJH$QRWKHU NH\ LVVXH LV HVWDEOLVKLQJ WKH VFRSLQJ DQG YLVLELOLW\ UXOHV IRU WKH FRQVWUDLQWV'HYHORSLQJDQDSSURSULDWHVHWRIVFRSLQJUXOHVLVFKDOOHQJLQJEHFDXVHWKH\PXVWVDWLVI\WKHODQJXDJH·VFRQIOLFWLQJQHHGVIRUPRGXODULW\H[SUHVVLYHFDSDELOLW\DQGVXFFLQFWQHVV7KHLPSRUWDQFHRI VXFFLQFWQHVVDQGH[SUHVVLYHQHVVLQODQJXDJHGHVLJQDUHREYLRXV6XFFLQFWH[SUHVVLRQVDUHJHQHUDOO\HDVLHUWRZULWHUHDGDQGFKHFNIRUHUURUVWKDQYHUERVHH[SUHVVLRQV/LNHZLVHLI WKHODQJXDJHPDNHVLWGLIILFXOWWRH[SUHVVWKHGHVLUHGFRQVWUDLQWVWKHQLWLVOLNHO\WREHDQLPSHGLPHQWWRJRRGGHVLJQUDWKHUWKDQDQDLG$FOHDQLQWHJUDWLRQRI WKHFRQVWUDLQWODQJXDJHZLWKWKHUHVWRI WKH$UPDQLODQJXDJHVKRXOGWKHUHIRUHPDNHLWVWUDLJKWIRUZDUGIRUDQ DUFKLWHFW WR H[SUHVV KLV RU KHU GHVLUHG GHVLJQ FRQVWUDLQWV DQG WR GR VR LQ DQ HOHJDQWFRQFLVHZD\7KHUDWLRQDOHIRUVXSSRUWLQJPRGXODULW\LQFRQVWUDLQWH[SUHVVLRQVLVDELWPRUHVXEWOH7KHPRGXODULW\RI FRQVWUDLQWH[SUHVVLRQVKRZHYHUSOD\VDFULWLFDOUROHLQ$UPDQL·VLQFUHPHQWDOPRGLILFDWLRQ FDSDELOLWLHV .HHSLQJ FRQVWUDLQW VSHFLILFDWLRQV VHOIFRQWDLQHG PDNHV LW PXFKHDVLHUWRPRYHFRQVWUDLQWVDURXQGLQDGHVLJQWRVKULQNRUH[SDQGWKHVFRSHRI DSSOLFDELOLW\RI WKH FRQVWUDLQW DQG WR FRPSRVH DUELWUDU\ FRQVWUDLQWV ZLWKLQ D GHVLJQ )URP DQHQYLURQPHQWPRGLILFDWLRQ SHUVSHFWLYH WKH DGGLWLRQ WR RU UHPRYDO RI FRQVWUDLQWV IURP DGHVLJQLVJUHDWO\HDVHGLI WKRVHFRQVWUDLQWVDUHSDFNDJHGDVPRGXODULQGHSHQGHQWHQWLWLHV$VVHFWLRQ ZLOO LOOXVWUDWH WKLV LVVXH EHFRPHV LQFUHDVLQJO\ LPSRUWDQW ZKHQ FRQVWUDLQWSUHGLFDWHV DUH XVHG LQ W\SH DQG GHVLJQ UXOH VSHFLILFDWLRQV UDWKHU WKDQ VLPSOH LQVWDQFHVSHFLILFDWLRQV$UPDQLDFKLHYHVWKHVHJRDOVE\SURYLGLQJDIHZVLPSOHVFRSLQJUXOHVWKDWDUHEURDGO\DQGXQLIRUPO\DSSOLFDEOH$Q$UPDQLGHVLJQFDQEHUHSUHVHQWHGDVDWUHH(DFKQRGHRI WKHWUHHKDV SUHFLVHO\ RQH SDUHQW DQG ]HUR RU PRUH FKLOGUHQ )RU H[DPSOH D FRPSRQHQW &KDVDSDUHQWWKDWLVDV\VWHPFDOOLW6DQGDVHWRI FKLOGUHQWKDWLQFOXGHDOORI &·VSRUWVSURSHUWLHVDQGUHSUHVHQWDWLRQV(DFKRI &·VFKLOGUHQDOVRKDV]HURRUPRUHFKLOGUHQ ,WLVLPSRUWDQWWRQRWHWKDWWKHDUFVRI WKLVWUHHUHSUHVHQWSDUHQWFKLOGUHODWLRQVKLSVEHWZHHQHOHPHQWVUDWKHUWKDQV\VWHPFRQQHFWLYLW\7KLVWUHHVWUXFWXUHLVRUWKRJRQDOWRWKHFRQQHFWLYLW\JUDSK$UPDQLXVHV WR UHSUHVHQW V\VWHP WRSRORJ\ 7KLV XQGHUO\LQJ WUHH UHSUHVHQWDWLRQ FDQ EH XVHG WRGHVFULEHDUELWUDU\V\VWHPFRQQHFWLYLW\JUDSKV7KHILUVWRI WKHVHUXOHVVWDWHVWKDWFRQVWUDLQWVFDQEHVSHFLILHGLQWKHVFRSHRI DQ\GHVLJQHOHPHQW RU GHVLJQ HOHPHQW W\SH GHFODUDWLRQ UHPHPEHU WKDW D GHVLJQ HOHPHQW LV D V\VWHPFRPSRQHQWFRQQHFWRUSRUWRUUROHRULQWKHVFRSHRI WKHJOREDOGHVLJQZKLFKLVGHILQHGDVDOOWKLQJVRXWVLGHRI WKHVFRSHRI DQ\RWKHUGHFODUDWLRQ$VDUHVXOWDOOFRQVWUDLQWVDUHGHILQHGLQDQXQDPELJXRXVVFRSH7KHVHFRQGUXOHGHILQHVQDPHYLVLELOLW\DQGUHVROXWLRQ$FRQVWUDLQWSUHGLFDWHFDQRQO\UHIHUWR HQWLWLHV WKDW DUH GHVFHQGDQWV RI WKH FRQVWUDLQW SUHGLFDWH·V VFRSH ,Q WKH H[DPSOH RI&RPSRQHQW&MXVWJLYHQDFRQVWUDLQWGHILQHGLQWKHVFRSHRI &FRXOGUHIHUWRDQ\RI WKH10A more formal semantic specification <strong>of</strong> Armani’s structure is provided in [Mon98]
Page 1:
5DSLG'HYHORSPHQWRI &XVWRP6RIWZDUH$U
Page 5:
$EVWUDFW6RIWZDUHDUFKLWHFWXUHSURYLGH
Page 9:
,I ,KDYHVHHQIXUWKHULWLVE\VWDQGLQJRQ
Page 12 and 13:
3.2.3 Larch 463.2.4 Traditional for
Page 14 and 15:
Chapter 9 1859.1 Design decisions t
Page 16 and 17:
,QWKLVZD\WKHDUFKLWHFWXUDOGRFXPHQWH[
Page 18 and 19:
• 'HVLJQ JXLGDQFH 6HOHFWLQJ D ZHO
Page 20 and 21:
IRU D EURDG DUUD\ RI VRIWZDUH GHYHO
Page 22 and 23:
• $ UHIHUHQFH DUFKLWHFWXUH 7KH GL
Page 24 and 25: ,QDGGLWLRQWRWKHFRQVWUXFWVSURYLGHGIR
Page 27 and 28: &KDSWHU$4XLFN7RXURI $UPDQL7KLVFKDSW
Page 29 and 30: )LJXUH7KH$UPDQLGHVLJQHQYLURQPHQWFXV
Page 31 and 32: WKDW ERWK JXLGHV DUFKLWHFWV ZRUNLQJ
Page 33 and 34: $SSURDFK7KLFN&OLHQW7KLQ6HUYHU7KLQ&O
Page 35: $IWHUVSHFLI\LQJWKHFRQFHSWXDODGGLWLR
Page 38 and 39: HQYLURQPHQWV DSSOLFDWLRQ SURJUDPPLQ
Page 40 and 41: $FPH$FPH >*0:@ LV D JHQHULF H[WHQVL
Page 42 and 43: WKH DSSURDFK WKH\ KDYH SURGXFHG D V
Page 44 and 45: 7KHUHVHDUFKSUHVHQWHGLQWKLVGLVVHUWDW
Page 46 and 47: YHULILFDWLRQRI FRPSOH[V\VWHPGHVLJQV
Page 48 and 49: 7KH /DZ*RYHUQHG 6\VWHP DSSURDFK GRH
Page 50 and 51: IRUHOHFWULFDOHQJLQHHULQJ$XWR&$'IRUP
Page 52 and 53: IRU WKH $UPDQL GHVLJQ HQYLURQPHQW L
Page 55 and 56: &KDSWHU7KH$UPDQL'HVLJQ/DQJXDJH$UPDQ
Page 57 and 58: KLHUDUFKLFDOGHFRPSRVLWLRQWHQGWRHLWK
Page 59 and 60: DEVWUDFWPRGXODUUHXVDEOHGHVLJQH[SHUW
Page 61 and 62: 2QH RI WKH ILUVW VWHSV LQ GHVLJQLQ
Page 63 and 64: System simpleCS = {Component client
Page 65 and 66: System simpleCS = {Component client
Page 67 and 68: FDQ EH DVVLJQHG WR D SURSHUW\ , SUR
Page 69 and 70: DXGLHQFH PDWKHPDWLFDOO\ ZHOOIRXQGHG
Page 71 and 72: GHFLGDEOH>(QG@7KHNH\DVSHFWRI)23/WKD
Page 73: FRQQHFWHGHWF7RSRORJLFDOIXQFWLRQV FD
Page 77 and 78: LQWKHV\VWHP'HVLJQKHXULVWLFVRQWKHRWK
Page 79 and 80: $UFKLWHFWXUDO(OHPHQWV…EntityDecl
Page 81 and 82: YHU\GLIIHUHQWW\SHVRI FRQVWUDLQWVSHF
Page 83 and 84: • 7KHUHTXHVWUDWHSURSHUW\RI D&OLHQ
Page 85 and 86: 'HFODUDWLRQ7\SH ([DPSOH 0HDQLQJ6WUX
Page 87 and 88: JLYHQ LQ >0RQ@ DORQJ ZLWK D GHWDLOH
Page 89 and 90: VWUXFWXUHRI YDOXHVWKDWFDQEHDSSOLHGW
Page 91 and 92: Style naiveClientServerStyle = {//
Page 93 and 94: ,QWKLVH[DPSOHDQHZVW\OHFDOOHGVXEH[WH
Page 95 and 96: $UPDQL·V SUHGLFDWHEDVHG W\SH V\VWH
Page 97 and 98: RIDJLYHQW\SH7 1HLWKHU RI WKHVH FRQ
Page 99: ZKHUH WKH DUFKLWHFW ZRUNLQJ ZLWK $U
Page 102 and 103: 2QHRI WKHFKDOOHQJHVLQWURGXFHGE\WKLV
Page 104 and 105: &RUHVKDUHGHQYLURQPHQWLQIUDVWUXFWXUH
Page 106 and 107: 7\SH0DQDJHU DQG $QDO\VLV(QJLQH FRPS
Page 108 and 109: DWWDFKHG WRRO·V UHVSRQVLELOLW\ WR
Page 110 and 111: YDULDWLRQVRI WKHH[WHUQDOWRROFRQQHFW
Page 112 and 113: $FPH6WXGLR SURYLGHV ILQHJUDLQHG XVH
Page 114 and 115: HQYLURQPHQW GHVLJQHU FDQ H[WHQG WKH
Page 116 and 117: WKDQDFXVWRPEXLOWKLJKO\IRFXVHGVROXWL
Page 118 and 119: DGHVLJQIRUDOOHOHPHQWVWKDWKDYHDVSHFL
Page 120 and 121: DUFKLWHFWXUDOHQWLWLHVWKDWLWVGLDJUDP
Page 123 and 124: &KDSWHU7DVN$QDO\VLV,QWKHWKHVLVVWDWH
Page 125 and 126:
HQYLURQPHQWVFUHDWHGLQWKLVGLVVHUWDWL
Page 127 and 128:
F )LJXUHRXWKRZWRUHSUHVHQWWKHFDSWXUH
Page 129 and 130:
FRPSOHWHHDFKRI WKHVHWRSOHYHOWDVNVKR
Page 131 and 132:
%HVWFDVHVFHQDULRaGD\IRUGHYHORSHU6PD
Page 133:
6XPPDU\RI WDVNDQDO\VLVDQGFRPSDULVRQ
Page 136 and 137:
7KURXJK FDUHIXO VHOHFWLRQ RI WKH W
Page 138 and 139:
DSSURDFKIRUWKLVSKDVHRI WKHYDOLGDWLR
Page 140 and 141:
%DWFK6HTXHQWLDO6W\OH&DWHJRU\'DWD)OR
Page 142 and 143:
D\HUHG6W\OH&DWHJRU\+LHUDUFKLFDO6HPD
Page 144 and 145:
OD\HUHGVW\OHLQWKLVFDVHVWXG\YHU\JHQH
Page 146 and 147:
'LVFXVVLRQDQGHYDOXDWLRQ7KH & VW\OH
Page 148 and 149:
QRWLI\WKHXVHUZLWKVXJJHVWLRQVZKHQKLV
Page 150 and 151:
FRPSRQHQWW\SH7KHGHVLJQLVVXHVWKDWDOO
Page 152 and 153:
VXSHUVW\OH·V GHVLJQ UXOHV SURYHG W
Page 154 and 155:
'ULYHU6XESURJUDP6W\OH&DWHJRU\&DOODQ
Page 156 and 157:
7KH VW\OH DOVR LQWURGXFHV WZR QHZ F
Page 158 and 159:
$UPDQL(QYLURQPHQW6W\OH&DWHJRU\6KDUH
Page 160 and 161:
7KHVHFRQGLQWHUHVWLQJDVSHFWRI WKLVFD
Page 162 and 163:
(QYLURQPHQW'HYHORSPHQW7DVN7LPH5HTXL
Page 164 and 165:
EH\RQGWKHVFRSHRIWKLVWKHVLVUHVHDUFK7
Page 166 and 167:
&DVHVWXG\0RGHOLQJWKH*OREDO7UDQVSRUW
Page 168 and 169:
'HVLJQUXOHVSHFLILFDWLRQLQ$UPDQL7RSR
Page 170 and 171:
WKURXJKWKHOLQNHGLQWRROVWRSHUIRUPXVH
Page 172 and 173:
KRZHYHUWKHSUHIHUUHGYDULDQWVUHVXOWVV
Page 174 and 175:
YHULI\LQJWKHYDOLGLW\RI DSURSRVHGFRQ
Page 176 and 177:
FRPSOHWHGWKHLUH[SHULPHQWVWKH\LQWHQG
Page 178 and 179:
ZRUNV VPRRWKO\ ZKHQ DQ HQYLURQPHQW
Page 180 and 181:
$UJR'HVLJQ(QYLURQPHQW5XQQLQJ6\VWHP0
Page 182 and 183:
H[DPSOH FDSWXUHG LQ WKH *71 FDVH VW
Page 185 and 186:
&KDSWHU'LVFXVVLRQDQG(YDOXDWLRQ7KH F
Page 187 and 188:
6HFRQGHYDOXDWLQJZKHWKHUD)23/H[SUHVV
Page 189 and 190:
Component Type T =property x : int;
Page 191 and 192:
WKHP$OWKRXJKWKLV LVIHUWLOHJURXQG IR
Page 193 and 194:
WDWLRQVWKH\XVHGLQIRUPDOO\DQGLQGHSHQ
Page 195 and 196:
&KDSWHU&RQFOXVLRQVDQG)XWXUH:RUN 6XP
Page 197 and 198:
UHXVH WKH RUJDQL]DWLRQDO GHVLJQ H[S
Page 199 and 200:
7KHUHDUHIRXUVSHFLILFUHVHDUFKWRSLFVZ
Page 201 and 202:
$UPDQL FDQ EH HDVLO\ UHFRQILJXUHG H
Page 203:
,QWHUHVWLQJO\WKLVSUREOHPLVQRWOLPLWH
Page 206 and 207:
&KD@>&RUHO@>''@>(QG@>)HQ@>)LV@>)LV@
Page 208 and 209:
0LQ@>0LQ@>0LQ@>0RQ@>045@>207@>2+(@>
Page 210 and 211:
62@>69.@>7D\@>9HV@>9LVLR@>:0.@>:6@>
Page 212 and 213:
Component Type Identifier ExtendsId
Page 214 and 215:
RoleDeclaration::= Role Identifier[
Page 216 and 217:
Design Rules and Analyses:DesignRul
show all

Rapid Development of Custom Software Architecture Design ...

Create successful ePaper yourself

Delete template?

Save as template?