【正文】 。但是，在實(shí)際的分析過(guò)程中完全不受與實(shí)現(xiàn)有關(guān)的影響也是不現(xiàn)實(shí)的。 一個(gè)好的分析模型應(yīng)該正確完整地反映問(wèn)題的本質(zhì)屬性，且不包含與問(wèn)題無(wú)關(guān)的內(nèi)容。最終的模型必須得到用戶(hù)和領(lǐng)域?qū)＜业拇_認(rèn)。分析員必須與用戶(hù)及領(lǐng)域?qū)＜曳磸?fù)交流、多次磋商，及時(shí)糾正錯(cuò)誤認(rèn)識(shí)并補(bǔ)充缺少的信息。 小結(jié) 大多數(shù)分析模型都不是一次完成的，為了理解問(wèn)題域的全部含義，必須反復(fù)多次地進(jìn)行分析。 大型、復(fù)雜系統(tǒng)的對(duì)象模型通常由下述 5個(gè)層次組成：主題層、類(lèi)與對(duì)象層、結(jié)構(gòu)層、屬性層和服務(wù)層。 分析就是提取系統(tǒng)需求并建立問(wèn)題域精確模型的過(guò)程，它包括理解、表達(dá)和驗(yàn)證等 3項(xiàng)主要工作內(nèi)容。 4. 利用繼承減少冗余操作 應(yīng)該盡量利用繼承機(jī)制以減少所需定義的服務(wù)數(shù)目。應(yīng)該仔細(xì)對(duì)照狀態(tài)圖和數(shù)據(jù)流圖，以便更正確地確定對(duì)象應(yīng)該提供的服務(wù)?？梢钥闯?，所啟動(dòng)的這些服務(wù)通常就是接受事件的對(duì)象在相應(yīng)狀態(tài)的行為。 2. 從事件導(dǎo)出的操作 狀態(tài)圖中發(fā)往對(duì)象的事件也就是該對(duì)象接收到的消息，因此該對(duì)象必須有由消息選擇符指定的操作，這個(gè)操作修改對(duì)象狀態(tài) (即屬性值 )并啟動(dòng)相應(yīng)的服務(wù)。 5 建立功能模型 ATM系統(tǒng)的基本系統(tǒng)模型 6 定義服務(wù) 1. 常規(guī)行為 在分析階段可以認(rèn)為，類(lèi)中定義的每個(gè)屬性都是可以訪問(wèn)的，也就是說(shuō)，假設(shè)在每個(gè)類(lèi)中都定義了讀、寫(xiě)該類(lèi)每個(gè)屬性的操作。其中的處理功能可以用 IPO圖 (或表 )、偽碼等多種方式進(jìn)一步描述。因此，在ATM類(lèi)的狀態(tài)圖中應(yīng)該再補(bǔ)充一個(gè)狀態(tài) “ do/顯示分行代碼錯(cuò)信息 ” ，它接受由前驅(qū)狀態(tài) “ do/驗(yàn)證賬戶(hù) ” 發(fā)出的事件 “ 分行代碼錯(cuò) ” ，它的后續(xù)狀態(tài)是“ 退卡 ” 。 以 ATM系統(tǒng)為例。對(duì)于沒(méi)有前驅(qū)或沒(méi)有后繼的狀態(tài)應(yīng)該著重審查，如果這個(gè)狀態(tài)既不是交互序列的起點(diǎn)也不是終點(diǎn)，則發(fā)現(xiàn)了一個(gè)錯(cuò)誤。在完成了每個(gè)具有重要交互行為的類(lèi)的狀態(tài)圖之后，應(yīng)該檢查系統(tǒng)級(jí)的完整性和一致性。這些狀態(tài)圖都是簡(jiǎn)化的，尤其對(duì)異常情況和出錯(cuò)情況的考慮是相當(dāng)粗略的 (例如，圖行為，實(shí)際上，在這種情況下 ATM停止處理儲(chǔ)戶(hù)事務(wù) )。 系統(tǒng)分析員應(yīng)該 集中精力僅考慮具有重要交互行為的那些類(lèi) 。 圖 （見(jiàn)書(shū) 242頁(yè)）是 ATM系統(tǒng)正常情況下的事件跟蹤圖。 2. 畫(huà)出事件跟蹤圖 事件跟蹤圖把事件序列以及事件與對(duì)象的關(guān)系表示出來(lái)。例如，儲(chǔ)戶(hù)插入現(xiàn)金兌換卡、儲(chǔ)戶(hù)輸入密碼、 ATM吐出現(xiàn)金等都是事件。 傳遞信息的對(duì)象的動(dòng)作也是事件 。 畫(huà)事件跟蹤圖 1. 確定事件 應(yīng)該仔細(xì)分析每個(gè)腳本，以便從中提取出所有外部事件。為了有助于建立動(dòng)態(tài)模型，通常在畫(huà)狀態(tài)圖之前先畫(huà)出事件跟蹤圖。 設(shè)想用戶(hù)界面 ATM的界面格式 完整、正確的腳本為建立動(dòng)態(tài)模型奠定了必要的基礎(chǔ)。 軟件開(kāi)發(fā)人員往往快速地建立起用戶(hù)界面的原型，供用戶(hù)試用與評(píng)價(jià)。應(yīng)用邏輯是內(nèi)在的、本質(zhì)的內(nèi)容，用戶(hù)界面是外在的表現(xiàn)形式。通常，系統(tǒng)分析員首先集中精力考慮系統(tǒng)的信息流和控制流，而不是首先考慮用戶(hù)界面。 表 （見(jiàn)書(shū) 240頁(yè)）分別給出了 ATM系統(tǒng)的正常情況腳本和異常情況腳本。也有許多事件是無(wú)參數(shù)的，這樣的事件僅傳遞一個(gè)信息 ——該事件已經(jīng)發(fā)生了。每當(dāng)系統(tǒng)中的對(duì)象與用戶(hù)(或其他外部設(shè)備 )交換信息時(shí)，就發(fā)生一個(gè)事件。此外，還應(yīng)該提供諸如 “ 幫助 ” 和狀態(tài)查詢(xún)之類(lèi)的在基本交互行為之上的 “ 通用 ” 交互行為。對(duì)大多數(shù)交互式系統(tǒng)來(lái)說(shuō)，出錯(cuò)處理都是最難實(shí)現(xiàn)的部分。然后，考慮特殊情況，例如輸入或輸出的數(shù)據(jù)為最大值 (或最小值 )。在編寫(xiě)腳本的過(guò)程中，需要與用戶(hù)充分交換意見(jiàn)，編寫(xiě)后還應(yīng)該經(jīng)過(guò)他們審查與修改。編寫(xiě)腳本的目的，是保證不遺漏重要的交互步驟，它有助于確保整個(gè)交互過(guò)程的正確性和清晰性。 4 建立動(dòng)態(tài)模型 在建立動(dòng)態(tài)模型的過(guò)程中， 腳本是指系統(tǒng)在某一執(zhí)行期間內(nèi)出現(xiàn)的一系列事件。 第三步，排列事件發(fā)生的次序，確定每個(gè)對(duì)象可能有的狀態(tài)及狀態(tài)間的轉(zhuǎn)換關(guān)系，并用狀態(tài)圖描繪它們。 第一步，編寫(xiě)典型交互行為的腳本。類(lèi)似地，應(yīng)該合并 “ 總行 ” 和 “ 中央計(jì)算機(jī) ” 。 “ 更新 ” 雖然代表一個(gè)動(dòng)作，但是它有自己的屬性 (類(lèi)型、金額等 )，應(yīng)該獨(dú)立存在，因此應(yīng)該把它作為類(lèi)。多張現(xiàn)金兌換卡可能對(duì)應(yīng)著相同的訪問(wèn)權(quán)限。 反復(fù)修改 下面以 ATM系統(tǒng)為例，討論可能做的修改： 1. 分解 “ 現(xiàn)金兌換卡 ” 類(lèi) 實(shí)際上， “ 現(xiàn)金兌換卡 ” 有兩個(gè)相對(duì)獨(dú)立的功能，它既是鑒別儲(chǔ)戶(hù)使用 ATM的權(quán)限的卡，又是 ATM獲得分行代碼和卡號(hào)等數(shù)據(jù)的數(shù)據(jù)載體。使用多重繼承機(jī)制時(shí)，通常應(yīng)該指定一個(gè)主要父類(lèi)，從它繼承大部分屬性和行為；次要父類(lèi)只補(bǔ)充一些屬性和行為。但是，在分析階段應(yīng)該避免過(guò)度細(xì)化。從應(yīng)用域中常常能明顯看出應(yīng)該做的自頂向下的具體化工作。例如，在 ATM系統(tǒng)中， “ 遠(yuǎn)程事務(wù) ”和 “ 柜員事務(wù) ” 是類(lèi)似的，可以泛化出父類(lèi)“ 事務(wù) ” ；類(lèi)似地，可以從 “ ATM”和 “ 柜員終端 ” 泛化出父類(lèi) “ 輸入站 ” 。通常，許多歸納關(guān)系都是根據(jù)客觀世界現(xiàn)有的分類(lèi)模式建立起來(lái)的，只要可能，就應(yīng)該使用現(xiàn)有的概念。 確定了類(lèi)中應(yīng)該定義的屬性之后，就可以利用繼承機(jī)制共享公共性質(zhì)，并對(duì)系統(tǒng)中眾多的類(lèi)加以組織。如果得出一些看起來(lái)與其他屬性毫不相關(guān)的屬性，則應(yīng)該考慮把該類(lèi)分解成兩個(gè)不同的類(lèi)。 (5) 過(guò)于細(xì)化 在分析階段應(yīng)該忽略那些對(duì)大多數(shù)操作都沒(méi)有影響的屬性。在 ATM系統(tǒng)的例子中， “ 分行代碼 ” 、 “ 賬號(hào) ” 、 “ 雇員號(hào) ” 、 “ 站號(hào) ” 等都是限定詞 。 （ 3） 把限定誤當(dāng)成屬性 正確使用限定詞往往可以減少關(guān)聯(lián)的重?cái)?shù)。 （ 2） 誤把關(guān)聯(lián)類(lèi)的屬性當(dāng)作一般對(duì)象的屬性 如果某個(gè)性質(zhì)依賴(lài)于某個(gè)關(guān)聯(lián)鏈的存在，則該性質(zhì)是關(guān)聯(lián)類(lèi)的屬性，在分析階段不應(yīng)該把它作為一般對(duì)象的屬性。同一個(gè)實(shí)體在不同應(yīng)用領(lǐng)域中，到底應(yīng)該作為對(duì)象還是屬性，需要具體分析才能確定。 2. 選擇 通常有以下幾種常見(jiàn)情況： (1) 誤把對(duì)象當(dāng)作屬性 如果某個(gè)實(shí)體的獨(dú)立存在比它的值更重要，則應(yīng)把它作為一個(gè)對(duì)象而不是對(duì)象的屬性。在分析過(guò)程中應(yīng)該首先找出最重要的屬性，以后再逐漸把其余屬性增添進(jìn)去。 屬性的確定既與