ATM系統分析與設計
- 理工論文模板
- 關注:3.16W次
ATM系統分析與設計
摘要:結合軟體工程相關理論,採用OMT方法對銀行網路系統ATM(Auto Trade Machine)進行分析和設計。
一. 問題需求分析
銀行網路系統包括人工出納和分行共享的自動出納機;各分理處用自己的計算機處理業務;各分理處與出納站通過網路通訊;出納站錄入賬戶和事務資料;自動出納機與分行計算機通訊;自動出納機與使用者介面,接受銀行卡,發放現金,列印收據;分行計算機與撥款分理處結賬。
要求系統能正確處理同一賬戶的併發訪問;網路費用平均攤派給各分理處。
分行計算機 分理處計算機 分理處計算機 分理處計算機 賬戶 賬戶 賬戶
銀行網路系統的示意圖
二. 軟體工程相關理論
u OMT是Object Modeling Technology的縮寫, 意為物件建模技術. 面向物件建模方法有很多種,也都在進一步的發展和完善中。OMT法是目前最為成熟和實用的方法之一。它從三個方面對系統進行建模,每個模型從一個側面反映系統的特性,三個模型分別是:物件模型、動態模型和功能模型。
主要的概念包括:類、屬性、操作、繼承、關聯(即關係)、聚集
動態模型描述系統那些隨時間變化的方面,其主要概念有:狀態、子狀態和超狀態、事件、行為、活動。
功能模型描述系統內部資料值的轉換,其主要概念有:加工、 資料儲存、資料流、控制流、角色。該方法將開發過程分為四個階段:
1 分析。基於問題和使用者需求的描述,建立現實世界的模型。
分析階段的產物有:問題描述、物件模型=物件圖+資料詞典、動態模型=狀態圖+全域性事件流圖 、功能模型=資料流圖+約束
2 系統設計。結合問題域的知識和目標系統的體系結構(求解域),將目標系 統分解為子系統。該階段的主要產物是:系統設計文件:基本的系統體系結構和高層次的決策
3 物件設計。基於分析模型和求解域中的體系結構等新增的實現細節,完成系 統設計。主要產物包括:細化的物件模型、細化的動態模型、細化的功能模型
4 實現。將設計轉換為特定的程式語言或硬體,同時保持可追蹤性、靈活性和可擴充套件性。
u 類的識別方法
常用的識別類的方法有:名詞識別法、系統實體識別法、使用重用、從用例中識別類等。
1. 名詞識別法
訪方法的關鍵是識別問題域中的實體,實體的描述通常以名詞、名詞短評、名詞性代詞的形式出現。首先對系統進行描述,從系統描述中標識名詞、名詞性代詞,在列出系統可能的類的基礎上,進一步識別類。
2. 系統實體識別法
該方法只考慮系統中的人員、組織、地點、表格、報告等實體,經過分析將它們識別為類。被標識的實體有:系統需要儲存、分析、處理的資訊實體,系統內部需要處理的裝置,與系統互動的外部系統,系統相關人員,系統的組織實體。
在確定類時,常使用兩類技術:
1) 分解技術:將整體類和組合類進行分解,可控制單個類的規模。
2) 抽象技術:根據一些類的相似性建立抽象類,並建立抽象類與這些類之間的繼承關係。抽象類實現了系統內部的重用,很好地控制了複雜性,併為所有子類定義了一個公共的介面,使設計區域性化,提高了系統的可修改性和可維護性。
三. 建立物件模型
1. 確定類
採用名詞識別法,檢查問題陳述中的所有名詞、名詞短語,列出所有可能的類,現根據以下原則進一步確定類:
1) 去掉冗餘類
2) 去掉不相關的類
3) 刪除模糊的類
4) 刪除獨立性不強的類,而應該是類的“屬性”的類。
5) 所描述的操作不適宜作為物件的類
最終確定的類為:
分行計算機 分行 出納站 出納員 分理處 分理處計算機 自動出納機 賬戶 銀行卡 顧客 事務
2. 為每個建模實體準備資料
3. 確定關聯
兩個或多個類之間的相互信賴就是關聯,實現關聯的方式有多種。關聯通常用描述性動詞和動詞片語表示。銀行網路系統問題中的關聯:
l 銀行網路包括出納站和處動取款機
l 分行共享自動取款機
l 分理處提供分理處計算機
l 分理處計算機儲存賬戶
l 分理處計算機處理賬戶支付事務
l 分理處擁有出納站
l 出納站與分行計算機通訊
l 出納員為賬戶錄入事務
l 自動取款機接受銀行卡
l 自動取款機與使用者介面
l 自動取款機發放現金
l 自動取款機列印收據
l 系統處理併發訪問
l 分理處提供軟體
l 費用分攤給分理處
4.使用下列標準去掉不必要的和不正確的關聯。
1) 若某個類已被刪除,那麼與它有關的關聯也必須刪除或者用其他類來重新表述。
2) 不相干的關聯或實現階段的關聯。刪除所有問題域之外的關聯或涉及實 現結構中的關聯。如“系統處理併發訪問”就是一種實現的概念。
3)動作。關聯應描述應用域的結構性質而不是瞬時事件。因此應刪除“自動取款機接受銀行卡“,“自動取款機與使用者介面“。
4) 派生關聯。省略那些可以用其他關聯來定義的關聯。
5.確定類屬性
屬性通常用修飾性的名詞片語來表示。可按下列標準刪除不必要的和不正確的屬性: 1)限定詞。若屬性值固定下來後,能減少關聯的重數,則可考慮把該屬性重新表述為一個限定詞。
2)內部值。若屬性描述了物件的非公開的內部狀態,則應從物件模型中刪除訪屬性
3)細化。在分析階段應忽略那些不可能對大多數操作有影響的屬性。
6.使用繼承來細化類
有兩種方法:自底向上和自頂向下。1)自底向上:將現有的類的共性一般化為父類。2)自頂向下:將現有類細化為更具體的子類。
7.完美物件模型
在軟體開發的過程中,需要不斷的完美物件模型。可以從以下幾個方面考慮。1)檢查是否有缺少的物件。2)查詢多餘的類。3)查詢缺少的關聯4)系統的改進。由於“分理處”與“分理處計算機”之間的區別不影響分析,可將其合併為“分理處”。同理,將“分行計算機”併入“分行”。
四. 建立動態模型
動態分析從尋找外部可見的模擬和響應事件開始,確定各物件的可能事件的順序,在分析階段不考慮演算法的執行,它是實現模型的一部分。通常動態模型有事件跟蹤表和狀態圖。
建立動態模型的步驟為:
1. 準備典型的對話指令碼
指令碼是事件序列,每當系統中的物件與外部使用者發生互換資訊時,就產生一個事件,所互換的資訊值就是該事件的引數。對於各事件,應該確定觸發事件的動作物件和該事件的引數,包括正常指令碼、例外指令碼。
自動出納機與使用者互動的正常指令碼如下:
1) 自動取款機請求使用者插入銀行卡,使用者插入銀行卡
2) 自動取款機接受銀行卡並讀出它的卡號
3) 自動取款機要求密碼,使用者輸入
4) 自動取款機與分行確認卡號和密碼,分理處檢查並反饋兌現
5) 自動取款機要求選擇事務型別(取款、存款、轉帳或查詢),若使用者選擇取款
6) 自動取款機要求輸入現金數量
7) 自動取款機分發現金並要求使用者取現金,使用者取現金
8) 自動取款機查問使用者是否列印收據,若選擇“是”
9) 自動取款機列印收據,請求使用者取出它
10) 自動取款機詢問是否繼續,使用者選擇“不繼續”,自動出納機退出卡
11) 自動取款機退出卡並且請求使用者取卡,使用者取卡
12) 自動取款機請求使用者插入銀行卡
自動取款機與使用者互動的例外指令碼如下:
1) 自動取款機請求使用者插入銀行卡,使用者插入銀行卡
2) 自動取款機接受銀行卡並讀出它的卡號
3) 自動取款機要求密碼,使用者輸入
4) 自動取款機與分行確認卡號和密碼,分理處檢查並反饋拒絕
5) 自動取款機指示密碼錯並要求重新鍵入;使用者輸入併成功
6) 自動取款機請示使用者選擇事務型別,使用者選擇取款
7) 自動取款機請求鍵入現金數量,使用者改變選擇並輸入“取消”
8) 自動取款機退出卡並且請求使用者取卡,使用者取卡
9) 自動取款機請求使用者插入銀行卡
2.畫出事件跟蹤表
把指令碼表示成一個事件跟蹤表,即不同物件間的事件排序表
2. 構造狀態圖
對各物件類建立狀態圖,反映物件接收和傳送的事件,每個指令碼或事件跟蹤表都應對應於狀態圖中的一條路徑
DO:處理分理處事務 DO:確認分理處程式碼 DO:確認卡
分理處事務失敗
確認賬戶 確認賬戶 錯誤程式碼/錯誤分理處程式碼
錯誤分理處賬戶/錯的密碼
“分行”類的狀態圖
五. 建立功能模型
功能模型描述了值之間的信賴關係,通常用分層的資料流圖描述。資料流圖有助於表示功能信賴關係,其中的處理對應於狀態圖的活動和動作,其中的資料流對應於物件力中的物件或屬性,具體的步驟:
1. 確定輸入、輸出值
先列出輸入、輸出值,輸入輸出值是系統與外部世界之間的事件的引數。檢測問題陳述,從中找出遺漏的所有輸入、輸出值。由於所有系統與外部世界之間的交到都經過自動取款機,因而所有輸入、輸出值都是自動取款機事件的引數。
2. 建立資料流圖
資料流圖說明輸出值是怎樣從輸入值得來的,資料流圖通常按層次組織。最頂層由單個處理組成,也可由收集輸入、計算值及生成結果的一個綜合處理構成。
銀行卡 讀輸入 執行事務 賬戶 使用者 產生輸出
事務型別
賬戶型別
自動取款機頂層資料流圖
3. 描述處理
當資料流圖已細化到一定程度後,對各處理進行描述,描述方法用自然語言、偽碼及判定樹等。描述可以是說明性的或過程性的。說明性描述確定了輸入、輸出值之間的關係。說明性描述優於過程性描述,因為它隱含實現的考慮。過程性描述確定一個演算法來實現處理功能,演算法只能用來確定處理幹什麼,過程性描述實現起來較為容易。
- 文章版權屬於文章作者所有,轉載請註明 https://wenfanwang.com/zh-tw/muban/ligong/dyk57.html