Rapid Development of Custom Software Architecture Design ...

More documents

Recommendations

Info

UHDVRQDEO\ VWUDLJKWIRUZDUG $ PRUH GHWDLOHG VHPDQWLF VSHFLILFDWLRQ RI $UPDQLV SURSHUW\W\SHFRQVWUXFWVLVSURYLGHGLQ>0RQ@ $UFKLWHFWXUDO6W\OHV7\SHVDQGGHVLJQUXOHVSURYLGHPHFKDQLVPVIRUFDSWXULQJDQGHQFDSVXODWLQJGHVLJQH[SHUWLVHLQWKHIRUPRI GHVLJQYRFDEXODU\DQGFRQVWUDLQWV$OWKRXJKLQGLYLGXDOW\SHVDQGGHVLJQUXOHVFDQEHXVHIXOE\WKHPVHOYHVH[SHUWLVHRI WKLVVRUWWHQGVWREHPRUHXVHIXOZKHQSDFNDJHGDVSDUWRI DFRKHUHQWFROOHFWLRQRI UHODWHGYRFDEXODU\DQGFRQVWUDLQWV)RUH[DPSOHGHILQLQJDYRFDEXODU\HOHPHQWFDOOHGDVHUYHULVQRWQHDUO\DVXVHIXODVGHILQLQJDIXOOVHWRI YRFDEXODU\DQGGHVLJQUXOHVIRUFUHDWLQJFOLHQWVHUYHUV\VWHPV$UPDQL·VVW\OHFRQVWUXFWSURYLGHVWKHDELOLW\WRDJJUHJDWHDQGSDFNDJHUHODWHGYRFDEXODU\DQGFRQVWUDLQWV$QDUFKLWHFWXUDOVW\OHLVIXQGDPHQWDOO\DV\VWHPW\SH²LWGHILQHVDSUHGLFDWHDJDLQVWZKLFKV\VWHPLQVWDQFHVFDQEHHYDOXDWHG,QDGGLWLRQWRWKHLUUROHDVV\VWHPW\SHVKRZHYHUVW\OHVDOVRGHILQHQDPHVSDFHV IRUVSHFLI\LQJ YRFDEXODU\ W\SHGHFODUDWLRQV DQG GHVLJQDQDO\VHV $VW\OHVSHFLILFDWLRQWKXVGHILQHVDVHWRI YRFDEXODU\W\SHGHILQLWLRQVDVHWRI GHVLJQUXOHVDVHWRI GHVLJQDQDO\VHV DQGDVHWRI PLQLPDOUHTXLUHGVWUXFWXUHWKDWDOOV\VWHPVEXLOWLQWKDWVW\OHPXVWSURYLGH$Q\RUDOORI WKHVHVHWVPD\EHHPSW\6W\OHVREH\DOORI WKHUXOHVDQGVHPDQWLFVRI W\SHVSUHVHQWHGWKXVIDUZLWKVRPHDGGLWLRQDOV\QWD[DQGVHPDQWLFVWRVXSSRUWWKHVW\OH·VXVHDVDQDPHVSDFH7KHLQIRUPDOV\QWD[IRUGHILQLQJDVW\OHLVStyle = { * } ;OrStyle extends + with { * } ;where: ::= 7KH V\QWD[ DQG VHPDQWLFV IRU GHFODULQJ LQGLYLGXDO W\SH VSHFLILFDWLRQV GHVLJQ UXOHV DQGGHVLJQ DQDO\VHV ZHUH GHVFULEHG HDUOLHU LQ WKH FKDSWHU $ VW\OH LV D QDPHG FROOHFWLRQ RU DSDFNDJHRI VXFK FRQVWUXFWV ,QLWV UROHDV DV\VWHP W\SHD VW\OH FRQVWUDLQV WKHGHVLJQ RIV\VWHPV GHILQHG LQ WKDW VW\OH E\ PDNLQJ GHVLJQ YRFDEXODU\ DYDLODEOH IRU XVH LQ WKH V\VWHPLQVWDQFHGHILQLQJWKHUHTXLUHGVWUXFWXUHDQGGHVLJQUXOHVLQYDULDQWVDQGKHXULVWLFVWKDWDOOV\VWHPVEXLOWLQWKDWVW\OHPXVWSURYLGHDQGREH\([DPSOHLOOXVWUDWHVWKHVHFRQVWUXFWVZLWKDVLPSOHVW\OHVSHFLILFDWLRQ14A design analysis is a named, parameterized predicate that design rules can invoke to perform commonevaluations.
Style naiveClientServerStyle = {// define the style's vocabulary, port and role interfaces firstPort Type naiveClientPortT = {...};Port Type naiveServerPortT = {...};Role Type clientSideRoleT = {...};Role Type serverSideRoleT = {...};// define the generic client vocabulary elementComponent Type naiveClientT = {Port sendRequest : naiveClientPortT;};// define the generic server vocabulary elementComponent Type naiveServerT = {Port receiveRequest : naiveServerPortT;Property multiThreaded : boolean >;Property max-concurrent-requests : int;};// define the generic binary client-server connectorConnector Type csConnT = {Role clientSide : clientSideRoleT;Role serverSide : serverSideRoleT;Property blocking : boolean >;Invariant size(self.roles) == 2; // all csConnT's are binary connectors};// limit the vocabulary types used in this style to naiveClientT's, naiveServerT's and csConnT connectors.invariant forall comp : component in self.components |(declaresType(comp, naiveClientT) AND satisfiesType(comp, naiveClientT))OR (declaresType(comp, naiveServerT) AND satisfiesType(comp, naiveServerT));invariant forall conn : connector in self.connectors |declaresType(conn, csConnT) AND satisfiesType(conn, csConnT);// specify topological attachment constraints:invariant forall c1 : component in self.components |forall c2 : component in self.components | connected(c1,c2) ->(declaresType(c1,naiveClientT) AND declaresType(c2,naiveServerT))OR (declaresType (c1,naiveServerT) AND declaresType(c2,naiveClientT));// make sure that all <strong>of</strong> the attachments are valid...invariant forall a : attachment in self.attachments |(declaresType(a.port, naiveClientPortT) -> declaresType(a.role, clientSideRoleT))AND (declaresType(a.port, naiveServerPortT) -> declaresType(a.role, serverSideRoleT));};)LJXUH1DwYHFOLHQWVHUYHUVW\OHVSHFLILFDWLRQH[DPSOHLOOXVWUDWHVVW\OHVWUXFWXUH
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 and 74: FRQQHFWHGHWF7RSRORJLFDOIXQFWLRQV FD
Page 75 and 76: 6FRSLQJUXOHV([WHQGLQJILUVWRUGHUSUHG
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: VWUXFWXUHRI YDOXHVWKDWFDQEHDSSOLHGW
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?