Rapid Development of Custom Software Architecture Design ...

Component Type T =property x : int;invariant x > 100;invariant x < 100;};8QOLNHGHWHUPLQLQJZKHWKHUDQLQVWDQFHVDWLVILHVDW\SHGHWHUPLQLQJWKDWDQDUELWUDU\W\SHLVLQFRQVLVWHQW SURYHV WR EH YHU\ GLIILFXOW $V WKH SUHYLRXV H[DPSOH LOOXVWUDWHV KRZHYHU LW LVIUHTXHQWO\UHODWLYHO\VWUDLJKWIRUZDUGIRUDKXPDQWRPDNHVXFKDGHWHUPLQDWLRQ7KHUHIRUH$UPDQLSURYLGHVDQLQWHOOHFWXDOIUDPHZRUNWKDWDGHVLJQHURUDUFKLWHFWFDQXVHWRYHULI\WKDWWKH W\SHV DQG VW\OHV VSHFLILHG DUH LQWHUQDOO\ FRQVLVWHQW 7KLV IUDPHZRUN FRQVLVWV RI WKHGHILQHGVHPDQWLFVIRUWKHODQJXDJHDQGWKHUXOHVRI SUHGLFDWHORJLF2QHRI $UPDQLVNH\GHVLJQSULQFLSOHVLVWRKDYHWKHFRPSXWHUSHUIRUPWKHWDVNVDWZKLFKPDFKLQHVDUHEHWWHUWKDQ SHRSOH DQG WR KDYH WKH DUFKLWHFW SHUIRUP WKH WDVNV WKDW KXPDQV GR EHWWHU WKDQPDFKLQHV)ROORZLQJWKLVSULQFLSOH$UPDQLGRHVQRWVXSSRUWDXWRPDWHGFKHFNLQJRI LQWHUQDOW\SHDQGVW\OHVSHFLILFDWLRQVFRQVLVWHQF\$V GHVLJQV VW\OHV DQG W\SHV EHFRPH FRPSOH[ DQG WKH\ DUH DUELWUDULO\ FRPSRVHG LW FDQEHFRPHGLIILFXOWWRGHWHUPLQHZKHWKHUDW\SHLVLQWHUQDOO\FRQVLVWHQW7KHUHLVFOHDUO\VRPHEHQHILW WR EHLQJ DEOH WR DXWRPDWH WKH GHWHFWLRQ RI VXFK LQFRQVLVWHQFLHV 0DQ\ RI WKHVHLQFRQVLVWHQFLHV FDQ EH GHWHFWHG XVLQJ WKHRUHP SURYLQJ WHFKQLTXHV 7KH 396 WKHRUHPSURYLQJV\VWHP>26@IRUH[DPSOHGHWHFWVLQFRQVLVWHQFLHVRI WKLVVRUW8QIRUWXQDWHO\DOWKRXJKWKLVWHFKQLTXHFDQEHXVHGWRILQGLQFRQVLVWHQFLHVLQW\SHDQGGHVLJQVSHFLILFDWLRQVEHFDXVHLWFDQUXQDUELWUDULO\ORQJWRSURYHLWVWKHRUHPVDQGUHTXLUHVVSRUDGLFLQSXWIURPWKHXVHULWLVQRWSDUWLFXODUO\HIIHFWLYHDVDVXEVWUDWHIRULQWHUDFWLYHGHVLJQHQYLURQPHQWVRUIXOO\DXWRPDWHGDQDO\VLVWRROV$UPDQLWUDGHVRII WKHDELOLW\WRSURYHWKHLQWHUQDO W\SH FRQVLVWHQF\ IRU WKH DELOLW\ WR GHILQLWLYHO\ DQG TXLFNO\ GHWHUPLQH ZKHWKHU DJLYHQLQVWDQFHRI DGHVLJQVSHFLILHVLWVW\SHFRQVWUDLQWV7KHVWDQGDORQH$UPDQLV\VWHPSURYLGHVPRVWRI WKHFKHFNLQJFDSDELOLW\RI 396EXWLWGRHVQRW VXSSRUW WKHRUHP SURYLQJ ,QWHJUDWLQJ 396 ZLWK $UPDQL ZRXOG DOORZ WKH $UPDQLHQYLURQPHQW WR VXSSRUW ERWK DQ LQWHUDFWLYH HQYLURQPHQW IRU UDSLGO\ HYDOXDWLQJ GHVLJQLQVWDQFHV DQG WKH DELOLW\ WR SHUIRUP PRUH VRSKLVWLFDWHG DQDO\VHV RI W\SH DQG VW\OHFRQVLVWHQF\6XFKDQLQWHJUDWLRQ LVEH\RQGWKHVFRSHRI WKLVGLVVHUWDWLRQEXW DSURPLVLQJGLUHFWLRQIRUIXWXUHZRUN 6WUDLJKWIRUZDUGW\SHDQGFRQVWUDLQWFKHFNLQJDOJRULWKPV,Q LPSOHPHQWLQJ $UPDQL·V W\SHFKHFNLQJ DQG FRQVWUDLQW PDQDJHPHQW V\VWHPV ZKHUHYHUSRVVLEOH , RSWHG IRU VLPSOLFLW\ DQG H[WHQVLELOLW\ RI LPSOHPHQWDWLRQ UDWKHU WKDQ UXQWLPHSHUIRUPDQFH7KLVSURYHGWREHDJRRGGHVLJQGHFLVLRQ2QH RI WKH DVVXPSWLRQV WKDW , PDGH IRU SHUIRUPDQFH HYDOXDWLRQ ZDV WKDW DUFKLWHFWXUDOVSHFLILFDWLRQV ZLOO JHQHUDOO\ EH UHODWLYHO\ VPDOO ² RQ WKH RUGHU RI WHQV RU KXQGUHGV RIFRPSRQHQWV DQG FRQQHFWRUV , IRXQG WKDW VWUDLJKWIRUZDUG W\SHFKHFNLQJ DQG GHVLJQ UXOHFKHFNLQJ DOJRULWKPV ZHUH VXIILFLHQW IRU GHVLJQV RI WKLV VL]H ,Q IDFW WKH DOJRULWKPV ,