【正文】 過程性描述則通過算法說明“做什么”。描述可以是說明性的，也可以是過程性的。圖4—2 ATM系統(tǒng)的功能級(jí)數(shù)據(jù)流圖描述處理框功能把數(shù)據(jù)流圖分解細(xì)化到一定程度之后，就應(yīng)該描述圖中各個(gè)處理框的功能。以描述系統(tǒng)加工，變換數(shù)據(jù)的基本功能，就得到功能級(jí)數(shù)據(jù)流圖。另一個(gè)數(shù)據(jù)源點(diǎn)是現(xiàn)金兌換卡，因?yàn)橄到y(tǒng)從它上面讀取分行代碼、卡號(hào)等信息。圖41是ATM系統(tǒng)的基本系統(tǒng)模型。基本系統(tǒng)模型指明了目標(biāo)系統(tǒng)的邊界。畫出基本系統(tǒng)模型圖基本系統(tǒng)模型由若干個(gè)數(shù)據(jù)源點(diǎn)／終點(diǎn)。通常在建立了對(duì)象模型和動(dòng)態(tài)模型之后再建立功能模型。建立功能模型功能模型表明了系統(tǒng)中數(shù)據(jù)之間的依賴關(guān)系，以|及有關(guān)的數(shù)據(jù)處理功能，它由一組數(shù)據(jù)流圖組成。在總行類的狀態(tài)圖中，事件“分行代碼話”是由總行發(fā)出的，但是在ATM類的狀態(tài)圖中并沒有一個(gè)狀態(tài)接受這個(gè)事件。應(yīng)該審查每個(gè)事件，跟蹤它對(duì)系統(tǒng)中各個(gè)對(duì)象所產(chǎn)生的效果，以保證它們與每個(gè)腳本都匹配。一般說來，每個(gè)事件都應(yīng)該既有發(fā)送對(duì)象又有接受對(duì)象，當(dāng)然，有時(shí)發(fā)送者和接受者是同一個(gè)對(duì)象。圖3—3 總行類狀態(tài)圖圖3—4 分行類狀態(tài)圖審查動(dòng)態(tài)模型各個(gè)類的狀態(tài)圖通過共享事件合并起來，構(gòu)成了系統(tǒng)的動(dòng)態(tài)模型。由于“柜員終端”的狀態(tài)圖和“ATM”的狀態(tài)圖類似，為節(jié)省篇幅把它省略了。因此，只需要考慮“ATM”、“總行”、“柜員終端”和“分行”的狀態(tài)圖?！癆TM”、“柜員終端”、“總行”和“分行”都是主動(dòng)對(duì)象，它們相互發(fā)送事件；而“現(xiàn)金兌換卡”、“事務(wù)”和“賬戶”是被動(dòng)對(duì)象，并不發(fā)送事件。測(cè)試完整性和出錯(cuò)處理能力的最好方法是設(shè)想各種可能情況，多問幾個(gè)“如果…則…”的問題。當(dāng)狀態(tài)圖覆蓋了所有腳本，包含了影響某類對(duì)象狀態(tài)的全部事件時(shí)，該類的狀態(tài)圖就構(gòu)造出來了。有時(shí)用戶(或外部設(shè)備)不能做出快速響應(yīng)，然而某些資源又必須及時(shí)收回，于是在一定間隔后就產(chǎn)生了“超時(shí)”事件。為此需在事件跟蹤圖中找出以前考慮過的腳本的分支點(diǎn)(例如“驗(yàn)證賬戶”就是一個(gè)分支點(diǎn)，因?yàn)轵?yàn)證的結(jié)果可能是“賬戶有效”，也可能是“無效賬戶”)，然后把其他腳本中的事件序列并入已有的狀態(tài)圖中，作為一條可選的路徑。通常，從事件跟蹤圖中當(dāng)前考慮的豎線射出的箭頭線，是這條豎線代表的對(duì)象達(dá)到某個(gè)狀態(tài)時(shí)所做的行為(往往是引起另一類對(duì)象狀態(tài)轉(zhuǎn)換的事件)。一般說來，如果同一個(gè)對(duì)象對(duì)相同事件的響應(yīng)不同，則這個(gè)對(duì)象處在不同狀態(tài)。把這些事件作為狀態(tài)圖中的有向邊(即箭頭線)，邊上標(biāo)以事件名。系統(tǒng)分析員應(yīng)該集中精力僅考慮具有重要交互行為的那些類。很多對(duì)象僅響應(yīng)與過去歷史無關(guān)的那些輸入事件．或者把歷史作為不影響控制流的參數(shù)。畫狀態(tài)圖通常，用一張狀態(tài)圖描繪一類對(duì)象的行為，它確定了由事件序列引出的狀態(tài)序列。如圖31示。事件跟蹤圖實(shí)質(zhì)上是擴(kuò)充的腳本。經(jīng)過分析，應(yīng)該區(qū)分出每個(gè)（類）事件的發(fā)送對(duì)象和接受對(duì)象。提示：傳遞信息的對(duì)象的動(dòng)作也事件。事件包括系統(tǒng)與用戶（或外部設(shè)備）交互的所有信號(hào)、輸入、輸出、中斷、動(dòng)作等等。故請(qǐng)同學(xué)們參考現(xiàn)有ATM取款機(jī)原型，來設(shè)計(jì)用戶界面。通常，系統(tǒng)分析員首先集中精力考慮系統(tǒng)的信息流和控制流，而不是首先考慮用戶界面。l ATM請(qǐng)儲(chǔ)戶插卡。l ATM詢問取款額；儲(chǔ)戶改變主意不想取款了，按“取消”。l ATM顯示“密碼錯(cuò)”，并請(qǐng)儲(chǔ)戶輸入密碼；儲(chǔ)戶輸入“1234”等數(shù)字；ATM請(qǐng)求總行驗(yàn)證后知道輸入密碼正確。l ATM要求密碼；儲(chǔ)戶誤輸入“8888”等數(shù)字。ATM系統(tǒng)的異常情況腳本l ATM請(qǐng)儲(chǔ)戶插卡；儲(chǔ)戶插入一張現(xiàn)金兌換卡。l ATM打印賬單，退出現(xiàn)金兌換卡，請(qǐng)儲(chǔ)戶拿走它們；儲(chǔ)戶取走賬單和卡。l ATM吐出現(xiàn)金并請(qǐng)儲(chǔ)戶拿走這些現(xiàn)金；儲(chǔ)戶拿走現(xiàn)金。l ATM要求儲(chǔ)戶輸入取款額；儲(chǔ)戶輸入“880”。l ATM請(qǐng)求總行驗(yàn)證卡號(hào)和密碼；總行要求“39”號(hào)分行核對(duì)儲(chǔ)戶密碼，然后通知ATM說這張卡有效。l ATM接受該卡并讀它上面的分行代碼和卡號(hào)。下面分別給出參考的ATM系統(tǒng)的正常、異常情況腳本。腳本描述用戶（或其他外部設(shè)備）與目標(biāo)系統(tǒng)之間的一個(gè)或多個(gè)典型的交互過程，以便對(duì)目標(biāo)系統(tǒng)的行為有更具體的認(rèn)識(shí)。建立動(dòng)態(tài)模型時(shí)，通常先根據(jù)事件，畫出事件跟蹤圖，再畫出狀態(tài)圖。第三步，排列事件發(fā)生的次序，確定每個(gè)對(duì)象可能有的狀態(tài)及狀態(tài)間的轉(zhuǎn)換關(guān)系，并用狀態(tài)圖描繪它們。圖24 修改后的ATM對(duì)象模型建立動(dòng)態(tài)模型建立動(dòng)態(tài)模型的第一步，是編寫典型交互行為的腳本。因此，圖2—3中示出的屬性遠(yuǎn)較實(shí)際應(yīng)用系統(tǒng)中的屬性少?！罢咎?hào)”是“分行擁有柜員終端”、“柜員終端與分行計(jì)算機(jī)通信”及“中央計(jì)算機(jī)與ATM通信”等三個(gè)關(guān)聯(lián)上的限定詞?！百~號(hào)”是關(guān)聯(lián)“分行保管賬戶”上的限定詞。在研究卡號(hào)含義的過程中，發(fā)現(xiàn)以前在分析確定關(guān)聯(lián)的過程中遺漏了“分行發(fā)放現(xiàn)金兌換卡”這個(gè)關(guān)聯(lián)，現(xiàn)在把這個(gè)關(guān)聯(lián)補(bǔ)上，卡號(hào)是這個(gè)關(guān)聯(lián)限定詞。經(jīng)過篩選之后，得到ATM系統(tǒng)中各個(gè)類的屬性，如圖2—3所示。(6)存在不一致的屬性類應(yīng)該是簡(jiǎn)單而且一致的。(4)誤把內(nèi)部狀態(tài)當(dāng)成了屬性如果某個(gè)性質(zhì)是對(duì)象的非公開的內(nèi)部狀態(tài)，則應(yīng)該從對(duì)象模型中刪掉這個(gè)屬性。如果把某個(gè)屬性值固定下來以后能減少關(guān)聯(lián)的階數(shù)，則應(yīng)該考慮把這個(gè)屬性重新表述成一個(gè)限定詞。(3)把限定誤當(dāng)成屬性限定是一種特殊的鏈屬性。例如，在郵政目錄中，“城市”是一個(gè)屬性，而在人口普查中卻應(yīng)該把“城市”當(dāng)作對(duì)象。在具體應(yīng)用領(lǐng)域中具有自身性質(zhì)的實(shí)體，必然是對(duì)象。第二步，選擇認(rèn)真考察經(jīng)初步分析而確定下來的那些屬性，從中刪掉不正確的或不必要的屬性。在分析過程中應(yīng)該首先找出最重要的屬性，阻后再逐漸把其余屬性增添進(jìn)去。屬性的確定既與問題域有關(guān)，也和目標(biāo)系統(tǒng)的任務(wù)有關(guān)。幸運(yùn)的是，屬性對(duì)問題域的基本結(jié)構(gòu)影響很小。往往用形容詞表示可枚舉的具體屬性，倒如，“紅色的”、“打開的”。一般說來，確定屬性的過程包括分析和選擇兩個(gè)步驟。圖2—2 把ATM系統(tǒng)劃分為三個(gè)主題確定屬性屬性是對(duì)象的性質(zhì)，藉助于屬性我們能對(duì)類對(duì)象和結(jié)構(gòu)有更深入、更具體的認(rèn)識(shí)。此外，應(yīng)該按照使不同主題內(nèi)的對(duì)象相互間依賴和交互最少的原則來確定主題。圖21 ATM系統(tǒng)原始對(duì)象圖劃分主題在開發(fā)大型、復(fù)雜系統(tǒng)的過程中，為了降低復(fù)雜程度，人們習(xí)慣于把系統(tǒng)再進(jìn)一步劃分成幾個(gè)不同的主題，也就是在概念上把系統(tǒng)包含的內(nèi)容分解成若干個(gè)范疇。但是，無須為此花費(fèi)過多精力，因?yàn)榉治鲞^程中隨著認(rèn)識(shí)的逐漸深入，階數(shù)也會(huì)經(jīng)常改動(dòng)。例如，在ATM系統(tǒng)中把“事務(wù)”分解戚上述兩類之后，需要樸充“柜員輸入柜員事務(wù)”、“柜員事務(wù)輸進(jìn)柜員終端”、“在ATM上輸入遠(yuǎn)程事務(wù)”和“遠(yuǎn)程事務(wù)由現(xiàn)金兌換卡授權(quán)”等關(guān)聯(lián)。倒如，在ATM系統(tǒng)中，應(yīng)該把“事務(wù)”分解成“遠(yuǎn)程事務(wù)”和“柜員事務(wù)”。例如，“分行提供分行計(jì)算機(jī)和柜員終端”不如改為“分行擁有分行計(jì)算機(jī)”和“分行擁有柜員終端”。通常從下述幾個(gè)方面進(jìn)行改進(jìn)：(1)正名好的名字是幫助讀者理解的關(guān)鍵因素之一。而“分行計(jì)算機(jī)維護(hù)賬戶