采用OMT方法對銀行網絡系統ATM(AutoTradeMachine)進行分析和設計。一、問題的陳述銀行網絡系統包括人工出納和分行共享的自動出納機；各分理處用自己的計算機處理業務（保存賬戶、處理事務等）；各分理處與出納站通過網絡通信；出納站錄入賬戶和事務數據；自動出納機與分行計算機通信；自動出納機與用戶接口，接受現金卡；發放現金；打印收據；分行計算機與撥款分理處結賬。要求系統正確處理同一賬戶的并發訪問；網絡費用平均攤派給各分理處。圖１給出了銀行網絡系統的示意圖。銀行網絡系統ATM(AutoTradeMachine)退出下頁末頁案例一

銀行網絡系統ATM(AutoTradeMachine)自動出納機自動出納機自動出納機出納站分理處計算機分理處計算機出納站賬戶賬戶圖1銀行網絡系統的示意圖用戶分行計算機退出下頁末頁案例一

二、類的識別方法

常用的識別類的方法有：名詞識別法、系統實體識別法、使用重用、從用例中識別類等。１、名詞識別法

識別問題域中的實體，實體的描述通常用名詞、名詞短語、名詞性代詞的形式出現。用指定語言對系統進行描述；從系統描述中標識名詞、名詞短語、名詞性代詞；識別確定（取、舍）類。退出上頁首頁下頁末頁２、系統實體識別法不關心系統的運作流程及實體之間的通信狀態，而只考慮系統中的人員、組織、地點、表格、報告等實體，經過分析將他們識別為類（或對象）。被標識的實體有：系統需要存儲、分析、處理的信息實體、系統內部需要處理的設備、與系統交互的外部系統、系統相關人員、系統的組織實體。

在確定類時，常使用兩類技術：

⑴分解技術將整體類和組合類分解。可控制單個類的規模。⑵抽象技術根據一些類的相似性建立抽象類，并建立抽象類與這些類之間的繼承關系。抽象類實現了系統內部的重用，很好地控制了復雜性，并為所有子類定義了一個公共的界面，使設計局部化，提高系統的可修改性和可維護性。

三、建立對象模型根據下述原則進一步確定類：①去掉冗余類（一）確定類采用名詞識別法：檢查問題陳述中的所有名詞，得到初始類：軟件銀行網絡分行計算機系統分行出納站分理處分理處計算機自動出納機出納員帳戶數據帳戶現金卡事務數據用戶顧客收據記錄保管事務費用安全措施訪問現金

退出上頁首頁下頁末頁②去掉不相干的類③刪除模糊的類④刪除那些性質獨立性不強的，而應該是類“屬性”的候選類⑤

所描述的操作不適宜作為對象類

（二）為每個建模實體準備數據詞典—描述模板對類進行精確描述，如ＡＴＭ系統中類的范圍、成員、方法的限制等。（三）確定關聯

兩個或多個類之間的相互依賴關系就是關聯，實現關聯的方式有多種。關聯通常用描述性動詞和動詞詞組表示。關聯通常由以下方面確定：１、銀行網絡系統問題陳述中抽取可能的關聯（動詞詞組）２、隱含的動詞詞組３、基于問題域的知識４、去掉不必要和不正確的關聯三、建立對象模型退出上頁首頁下頁末頁

１銀行網絡系統問題陳述中的關聯

網絡包括出納站和自動出納機行共享自動出納機分理處提供分理處計算機分理處計算機保存賬戶分理處計算機處理賬戶支付事務分理處擁有出納站出納站與分行計算機通信

（三）確定關聯退出上頁首頁下頁末頁出納員為賬戶錄入事務自動出納機接受現金卡自動出納機與用戶接口自動出納機發放現金自動出納機打印收據系統處理并發訪問分理處提供軟件費用分攤給分理處

３、基于問題域的知識

分理處雇傭的出納員現金卡訪問帳戶２、隱含的動詞詞組分行由分理處組成分理處擁有賬戶分行擁有分行計算機系統提供記錄保管系統提供安全顧客有現金卡（三）確定關聯退出上頁首頁下頁末頁

４、去掉不必要和不正確的關聯

使用下列標準去掉不必要和不正確的關聯：

（1）

若某個類已被刪除，那么與它有關的關聯也必須刪除或者用其他類來重新表述。在示例中，刪除了“銀行網絡”，相關的關聯也要刪除。（２）不相干的關聯或實現階段的關聯。刪除所有問題域之外的關聯或涉及實現結構中的關聯，如“系統處理并發訪問”就是一種實現的概念。（３）動作。關聯應描述應用域的結構性質而不是瞬時事件，因此應刪除“自動出納機接受現金卡”，“自動出納機與用戶接口”等。（４）

派生關聯，省略那些可以用其他關聯來定義的關聯。因為這種關聯是冗余的。銀行網絡系統的初步對象圖如圖２所示，其中含有關聯。退出上頁首頁下頁末頁

圖２初始對象圖

建立對象模型圖2銀行網絡系統的初始對象類圖分行分理處帳戶顧客分行計算機自動出納機遠程事務分理處計算機出納員現金卡出納站出納事務通信通信所有所有所有雇傭涉及涉及訪問授權有有保管組成錄入錄入錄入退出上頁首頁下頁末頁1＋1..*1..*1..*1..*1..*1..*1..*1..*1＋1..*

（四）確定類屬性

屬性通常用修飾性的名詞詞組來表示。屬性一般不可能在問題陳述中完全表述出來，應分析應用領域，并考慮最主要的屬性。

只考慮與具體應用直接相關的屬性，不要考慮那些超出問題范圍的屬性；找出重要屬性，避免那些只用于實現的屬性，要為各個屬性取有意義的名字。按下列標準刪除不必要的和不正確的屬性：

（1）限定詞：若屬性值固定下來后，能減少關聯的重數，則可考慮把該屬性重新表述為一個限定詞。如銀行碼、站代碼及雇員號等是限定詞，不作為屬性。

（2）內部值：若屬性描述了對象的非公開的內部狀態，則應從對象模型中刪除該屬性。

（3）細化：在分析階段應忽略那些不可能對大多數操作有影響的屬性。

圖３給出了銀行網絡系統對象模型的部分屬性。

退出上頁首頁下頁末頁

確定類屬性退出上頁首頁下頁末頁圖3銀行網絡系統的部分屬性自動出納機分發現金遠程事務種類,日期,時間,數量顧客名字地址現金卡密碼雇員號站代碼分理處名字賬戶號卡片碼銀行碼分理處計算機賬戶余額、類型貸款限定出納員名字出納事務出納站銀行碼分行分行計算機銀行碼站代碼

（五）使用繼承來細化類

使用繼承來共享公共結構，以此來重新組織類：１、自底而上

將現有類的共性一般化為父類。找出具有相同屬性、關聯、操作的類，來發現繼承，例如：“出納事務”和“遠程事務”其屬性與主要操作是是類似的，則將它們的共性一般化，得到父類“事務”。２、自頂而下將現有類細化為更具體的子類。

若假設的具體化與現有的類發生沖突，則說明該類結構不恰當，當同一關聯名多次出現，且意義也相同時，應盡量具體化為相聯系的類。例如“事務”從“出納站”和“自動出納機”進入，“錄入站”就是“出納站”和“自動出納機”的一般化。

圖4給出了加入繼承后銀行網絡系統的對象模型。退出上頁首頁下頁末頁從一般類發現特殊類公司職員股東姓名身分證號碼……股份……職員工資……公司職員姓名身分證號碼股份工資…………………………？？從特殊類發現一般類公司職員股東姓名身分證號碼……股份……職員工資……………………股東姓名身分證號碼股份…………職員姓名身分證號碼工資…………？圖4使用繼承來細化類退出上頁首頁下頁末頁圖4銀行網絡系統的對象模型銀行碼出納站錄入站遠程事務賬戶余額、類型貸款限定顧客名字地址出納員名字現金卡密碼事務種類,日期,時間,數量分行計算機銀行碼站代碼銀行碼分行自動出納機分發現金出納事務雇員號站代碼分理處名字賬戶號卡片碼銀行碼分理處計算機

（六）完善對象模型在軟件開發的全過程中，需要不斷地完善對象模型。可以從以下幾方面考慮：

１、檢查是否有缺少的對象

如果一個類中，存在毫無關系的屬性和操作，則應該分解這個類。

一般化體系不清楚，可分離為兩個類。

存在名稱及目的相同的冗余關聯，則通過一般化創建一個父類，并組織關聯。

２、查找多余的類若類中缺少屬性、操作和關聯，刪除該類。

３、查找缺少的關聯４、系統的改進

退出上頁首頁下頁末頁⑴現金卡有多個獨立的特性，分解為卡片權限和現金卡。卡片權限是銀行用來鑒別用戶訪問權限的卡片，表示一個或多個用戶帳戶的訪問權限；各個卡片權限對象中可能具有好幾個現金卡，每張都帶有安全碼、卡片碼，它們附在現金卡上，表示銀行的卡片權限。⑵為了“事務”與“賬戶”之間的傳輸描述具有一般性，增加“更新”。因為一般在每個賬戶中，一個“事務”包括一個或多個“更新”，一個“更新”是對賬戶的一個動作，它們是取款、存款、查詢之一。即事務由若干更新組成，更多涉及到賬戶。⑶由于“分理處”與“分理處計算機”之間的區別不影響分析，可將“分理處計算機”并入“分理處”。同理，將“分行計算機”并入“分行”。

圖5完善對象模型退出上頁首頁下頁末頁圖5修改后的對象模型錄入站遠程事務現金卡銀行名、卡片碼安全號出納員事務出納員名字出納站分行銀行碼站代碼賬戶余額、類型貸款限定顧客名字地址自動出納機分發現金事務種類、日期、時間、數量卡片權限密碼、限制更新數量、類型雇員號站代碼分理處名字賬戶號卡片碼錄入組成擁有擁有雇用訪問標識發行被錄入開始涉及維持有有

四、建立動態模型動態分析從尋找外部可見的模擬和響應事件開始，確定各對象的可能事件的順序，在分析階段不考慮算法的執行，它是實現模型的一部分。通常動態模型有：事件跟蹤表、狀態圖。建立動態模型的步驟分為４步：

１、準備典型的對話腳本腳本是事件序列，每當系統中的對象與外部用戶發生互換信息時，就產生一個事件，所互換的信息值就是該事件的參數。對于各事件，應確定觸發事件的動作對象和該事件的參數。包括“正常腳本”、“例外腳本”，退出上頁首頁下頁末頁自動出納機與用戶交互的正常的腳本如下所示：⑴自動出納機請求用戶插入卡片；用戶插入現金卡。⑵自動出納機接受卡片并讀出它的卡號。⑶自動出納機要求密碼，用戶鍵入密碼“4011”。⑷自動出納機與分行確認卡號和密碼；分理處檢查它并通知承兌的自動出納機。⑸自動出納機要求選擇事務類型（取款、存款、轉戶及查詢），用戶選擇取款。⑹自動出納機要求現金數量；用戶輸入￥100。⑺自動出納機要求分行處理事務；分行把要求轉給分理處，確認事務成功。⑻自動出納機分發現金并且要求用戶取現金；用戶取現金。⑼自動出納機提示用戶是否想繼續；用戶指出不繼續。⑽自動出納機打印收據，退出卡，并請求用戶取出它們；用戶拿走收據和卡。⑾自動出納機請求用戶插入。

自動出納機與用戶交互的例外的腳本如下所示：

⑴自動出納機請求用戶插入卡；用戶插入現金卡。⑵自動出納機接受卡并讀它的卡號。⑶自動出納機要求密碼；用戶鍵入：9999：。⑷自動出納機與分行確認卡號和密碼，在咨詢分理處后拒絕它。⑸自動出納機指示密碼錯并要求重新鍵入；用戶鍵入：4011，分行確認成功。⑹自動出納機請求用戶選擇事務類型；用戶選擇取款。⑺自動出納機請求鍵入現金數量；用戶改變選擇并鍵入“CANCEL”（取消）。退出上頁首頁下頁末頁⑻自動出納機退出卡并且請求用戶拿走卡；用戶取出卡。⑼自動出納機請求用戶插入卡。２、確定事件

根據腳本確定所有的外部事件，事件包括：發送者、接收者、外設信號、輸入、中斷、轉換和動作等。使用腳本可以發現正常事件，但不要遺漏條件和異常事件。３、畫出事件跟蹤表把腳本表示成一個事件跟蹤表，即不同對象間的事件排序表，圖６給出了銀行網絡系統的事件跟蹤表。圖7給出了事件流圖，它給出類之間的所有事件。事件流圖是對象圖的一個動態對照，對象圖中路徑反映了可能的信息流，而事件流圖反映了可能的控制流。退出上頁首頁下頁末頁

圖7系統的事件圖自動出納機的事件流圖退出上頁首頁下頁末頁圖7銀行網絡系統的事件圖用戶分理處自動出納機分行確認卡及銀行，處理銀行事務分理處事務成功、失敗，分理處賬戶正確事務成功、事務失敗、賬戶正確、不正確賬戶、密碼、銀行代碼插入卡，輸入密碼，類型，取現金，取卡不顯示主屏可讀卡,要求密碼、類型、數量,取消信息，分發現金，要求繼續，不正確賬戶信息確認賬戶處理事務４、構造狀態圖

對各對象類建立狀態圖，反映對象接收和發送的事件，每個腳本或事件跟蹤表都對應于狀態圖中一條路徑。

1)從影響建模的類的事件跟蹤表入手選擇一條路徑，該路徑描述了一種典型的交互并且只考慮那些影響單個對象的事件，把這些事件放入一條路徑，路徑的弧用跟蹤表上某列上的輸入輸出事件來標識，兩個事件之間的間隔就是一個狀態，給每個狀態起名字，名字是有意義的，這張初始圖就是事件和狀態的一個序列。

2)從圖中找循環如果事件序列無限地重復，則構成一個循環。可能使用有限的事件序列取代循環。

3)把其他腳本合并到狀態圖中在各腳本中先找到一點，它是以前腳本的分歧點，這個點對應于圖中一個現有狀態。將新事件序列并入到現有狀態中作為一條可選路徑。例如某事務正在處理時，要求取消該事務，有時當用戶可能無法迅速響應并且必須收回某些資源時，就會出現這種情況

為重要的類建立狀態圖退出上頁首頁下頁末頁“自動出納機”類的狀態圖開始do/顯示屏檢查do/要求密碼插入卡[可讀]輸入密碼核對do/確認帳戶帳戶正確選擇do/要求類型輸入類型輸數據do/要求數量不可讀do/不可讀卡信息密碼錯取消取卡片取消do/取消信息帳戶錯誤do/帳戶錯誤信息帳戶錯失敗do/失敗信息等5秒取消輸入事務事務do/處理事務發現金do/分發現金事務成功繼續否do/請求繼續取現金結束do/打印收據卡片退出do/退出卡，取卡片終止插入卡[不可讀]取消繼續取消事務失敗圖9分行類的狀態圖退出末頁

圖9“分行”類的狀態圖do:處理分理處事務do:確認分理處代碼do:確認卡［正確代碼］分理處事務成功／事務成功處理事務確認賬戶［錯誤代碼］／錯的分理處代碼錯的分理處賬戶／錯的賬戶錯的分理處密碼／錯的密碼分理處賬戶ＯＫ／賬戶ＯＫ分理處事務失敗／事務失敗上頁首頁下頁do:更新賬戶do:確認卡片號do:確認密碼［有效］［成功］／分理處事務成功處理分理處事務確認分理處與卡片［無效］／錯的分理處賬戶［無效］／錯的分理處密碼［有效］／分理處賬戶ＯＫ［失敗］／分理處事務失敗圖10“分理處”類的狀態圖

五、建立功能模型

功能模型描述了值之間的依賴關系，通常用分層的數據流圖描述。數據流圖有助于表示功能依賴關系，其中的處理對應于狀態圖的活動和動作，數據流對應于對象圖中的對象或屬性。建立功能模型的步驟是：１、確定輸入、輸出值

先列出輸入、輸出值，輸入輸出值是系統與外部世界之間的事件的參數。退出上頁首頁下頁末頁圖11自動出納機的輸入輸出值現金卡用戶自動出納機銀行碼卡片碼賬戶類型事務類型