Rapid Development of Custom Software Architecture Design ...

More documents

Recommendations

Info

• ([SOLFLW,QYDULDQWV,QDGGLWLRQWRWKHUHTXLUHGVWUXFWXUHDQGSURSHUWLHVRI DW\SHDGGLWLRQDOLQYDULDQWFRQVWUDLQWVFDQEHVSHFLILHGXVLQJ$UPDQLVFRQVWUDLQWODQJXDJH$QHOHPHQWH7PXVWVDWLVI\DOORI WKHLQYDULDQWFRQVWUDLQWVGHILQHGLQ7LQRUGHUWRVDWLVI\7VSUHGLFDWHDQGWKXVVDWLVI\W\SH7• ([SOLFLW +HXULVWLFV XVH WKH VDPH SUHGLFDWH VSHFLILFDWLRQ ODQJXDJH DV H[SOLFLWLQYDULDQWV 8QOLNH LQYDULDQWV WKRXJK KHXULVWLFV DUH QRW FRQVLGHUHG LQ GHWHUPLQLQJZKHWKHUDQHOHPHQWHVDWLVILHVDW\SH79LRODWLRQVRI W\SHKHXULVWLFVFDQEHIODJJHGGXULQJFRQVWUDLQWDQDO\VLVRUDQDO\]HGE\H[WHUQDOWRROVLI GHVLUHGEXWWKHKHXULVWLFVWKHPVHOYHV DUH QRW SDUW RI D W\SHV SUHGLFDWH 7KH KHXULVWLFV FRQVWUXFW SURYLGHVDUFKLWHFWVDQGGHVLJQHUVZLWKDZD\WRFDSWXUHGHVLJQUXOHVRI WKXPEWKDWDUHOHVVVWULFWWKDQLQYDULDQWV$QHOHPHQWH7VDWLVILHVW\SH7VSUHGLFDWHLI HFRQWDLQVDOORI WKHUHTXLUHGVWUXFWXUHDQGSURSHUWLHVVSHFLILHGLQ7DQGHVDWLVILHVDOORI WKHLQYDULDQWSUHGLFDWHVGHILQHGLQ7 7\SHQDPHVDUHOH[LFDOO\VFRSHG7\SHVPD\EHGHFODUHGZLWKLQWKHJOREDOGHVLJQQDPHVSDFHRUZLWKLQDVW\OHVSHFLILFDWLRQ7\SHVZLWKJOREDOVFRSHDUHYLVLEOHZLWKLQDOOV\VWHPVRUVW\OHVGHFODUHGLQWKDWJOREDOVFRSHDQGW\SHVGHILQHGZLWKLQDVW\OHVSHFLILFDWLRQDUHYLVLEOHWRDOORWKHUGHFODUDWLRQVLQWKHVW\OHDOORI WKDWVW\OH·VVXEVW\OHVDQG DOOV\VWHPWKDWFODLPWREHEXLOWLQWKDWVW\OH7KH IROORZLQJ H[DPSOH VKRZV D W\SH VSHFLILFDWLRQ WKDW GHFODUHV FRQVWUDLQWV WKDW PXVW EHVDWLVILHGE\DOOLQVWDQFHVRI WKHW\SHLQWKHIRUPRI UHTXLUHGPLQLPDOVWUXFWXUHDQGSUHGLFDWHVWKDWPXVWEHPDLQWDLQHG.H\ZRUGVDUHLQGLFDWHGZLWKEROGIDFHW\SHFRPPHQWVZLWKOLJKHUWH[W7KH&OLHQWW\SHVSHFLILFDWLRQLQH[DPSOHLPSRVHVWKHIROORZLQJVWUXFWXUDODQGLQYDULDQWFRQVWUDLQWVRQFRPSRQHQWLQVWDQFH&&OLHQW6WUXFWXUDOFRQVWUDLQWV• $&OLHQWLQVWDQFHPXVWKDYHDSRUWFDOOHGUHTXHVWZLWKDSURSHUW\FDOOHGSURWRFRO7KHSURWRFROSURSHUW\PXVWEHRI W\SH&63URWRFRO7DQGKDYHDYDOXHRI USFFOLHQW• $ &OLHQW LQVWDQFH PXVW KDYH D SURSHUW\ FDOOHG UHTXHVWUDWHRIW\SHIORDW 7KH GHIDXOWYDOXHRI FDQEHRYHUULGHQZLWKDQH[WHQGHGZLWK^«`FODXVHEXWWKHLQLWLDOYDOXHIRUWKLVSURSHUW\RQDOO&OLHQWLQVWDQFHVFUHDWHGZLWKWKHQHZRSHUDWRUZLOOEH,QYDULDQWFRQVWUDLQWV• $OOSRUWVRI DFOLHQWPXVWKDYHDSURSHUW\QDPHG SURWRFROZKLFKKDVDYDOXHRI USFFOLHQW 7KLV LV QRW UHGXQGDQW ZLWK WKH VSHFLILFDWLRQ RI WKH UHTXHVW SRUW EHFDXVH DGHVLJQHULQVWDQWLDWLQJDQLQVWDQFHRI WKLVW\SHFDQDGGDGGLWLRQDOSRUWV7KLVLQYDULDQWLQVXUHVWKDWDOORI WKHVHDGGLWLRQDOSRUWVKDYHDSURWRFROSURSHUW\ZLWKDYDOXHRIUSFFOLHQW• 7KHUHPD\EHQRPRUHWKDQSRUWVRQD&OLHQWLQVWDQFH13Readers interested in a more detailed and rigorous specification of the syntax and semantics of Armani's typesystem are encouraged to see the full language specification provided in [Mon98].
• 7KHUHTXHVWUDWHSURSHUW\RI D&OLHQWFRPSRQHQWPXVWKDYHDYDOXHJUHDWHUWKDQ7KHKHXULVWLFFRQVWUDLQWWKDWWKHUHTXHVWUDWHSURSHUW\RI DQLQVWDQFHRI D&OLHQWFRPSRQHQWKDYHDYDOXHOHVVWKDQLVQRWFRQVLGHUHGLQGHWHUPLQLQJZKHWKHUWKDWLQVWDQFHVDWLVILHVWKH&OLHQWW\SHWKRXJKW\SHFKHFNLQJWRROVWKDWHYDOXDWHLQVWDQFHVRI WKHFOLHQWW\SHVKRXOGUDLVHDZDUQLQJWKDWWKHKHXULVWLFKDVEHHQYLRODWHGLI WKHLQVWDQFHVUHTXHVWUDWHSURSHUW\KDVDYDOXHRI RUJUHDWHUComponent Type Client = {// Declare the minimal structure that must exist. In this case, it says that an instance// of this type must have a port called request, and that port must have the protocol// rpc-client.Port Request = { Property protocol : CSProtocolT = rpc-client };// The next declaration says that a client must have a property of type "float" called// "request-rate." It also provides a default value for that property, which can be// changed when an instance of this type is created.Property request-rate : float >;// Now specify the invariants that all elements that claim to satisfy this type must possess.// all ports must support the rpc-client protocol. This rule applies to all additional reports// that an instance of the type might add to the client.Invariant forall p in self.Ports • p.protocol = rpc-client;// there may be no more than 5 ports on a clientInvariant size(self.Ports) = 0;// Specify a heuristic indicating the request rate should not exceed 100Heuristic request-rate < 100;}([DPSOH'HFODULQJFRPSRQHQWW\SH&OLHQW,QIRUPDO(OHPHQWW\SH6HPDQWLFV$W\SHVSHFLILFDWLRQGHILQHVWKHPLQLPDOVHWRI VWUXFWXUHDQGSURSHUW\ILHOGVWKDWHOHPHQWVRIDJLYHQW\SHKDYHDORQJZLWKDVHWRI LQYDULDQWVWKDWPXVWKROGIRUDOOLQVWDQFHVWKDWVDWLVI\WKHW\SH(YHU\W\SH7FDQEHFRQYHUWHGWRDERROHDQIXQFWLRQ) WWKDWWDNHVDVLQJOHHOHPHQW(DVDQ DUJXPHQW,I WKHIXQFWLRQ ) W(HYDOXDWHVWR WUXHIRU HOHPHQW( WKHQ HOHPHQW (VDWLVILHV W\SH 7ZULWWHQ7( LQ WDEOH (DFK W\SHV SUHGLFDWH IXQFWLRQ GHWHUPLQHVZKHWKHULQVWDQFH(VDWLVILHVWKHVWUXFWXUDOUHTXLUHPHQWVDQGLQYDULDQWVRI W\SH77DEOHGHVFULEHVWKHLQIRUPDOVHPDQWLFVRI VWUXFWXUDOGHFODUDWLRQVLQDQHOHPHQWW\SHVSHFLILFDWLRQ>0RQ@SURYLGHVDPRUHGHWDLOHGGLVFXVVLRQRI WKHVHPDQWLFVRI $UPDQLVW\SHV\VWHP
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: YHU\GLIIHUHQWW\SHVRI FRQVWUDLQWVSHF
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 ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?