【文章內(nèi)容簡介】 的加工規(guī)則 ? 加工邏輯說明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié) ? 加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，無冗余的 基本加工邏輯說明 用于寫加工邏輯說明的工具 ?結(jié)構(gòu)化英語 ? 判定表 ? 判定樹 ?結(jié)構(gòu)化英語 結(jié)構(gòu)化英語的詞匯表由 ? 英語命令動詞 ? 數(shù)據(jù)詞典中定義的名字 ? 有限的自定義詞 ? 邏輯關(guān)系詞 IF_THEN_ELSE、 CASE_OF 、 WHILE_DO、 REPEAT_UNTIL等組成。 ?是一種介于自然語言和形式化語言之間的語言 ?語言的 正文用基本控制結(jié)構(gòu)進(jìn)行分割 ，加工中的 操作用自然語言短語來表示 ?其基本控制結(jié)構(gòu)有三種： ? 簡單陳述句結(jié)構(gòu) ：避免復(fù)合語句； ? 重復(fù)結(jié)構(gòu) ： while_do 或 repeat_until 結(jié)構(gòu)。 ? 判定結(jié)構(gòu) ： if_then_else 或 case_of 結(jié)構(gòu)； 商店業(yè)務(wù)處理系統(tǒng)中 “ 檢查發(fā)貨單 ” if 發(fā)貨單金額超過 $500 then if 欠款超過了 60天 then 在償還欠款前不予批準(zhǔn) else （欠款未超期） 發(fā)批準(zhǔn)書，發(fā)貨單 else （發(fā)貨單金額未超過 $500） if 欠款超過 60天 then 發(fā)批準(zhǔn)書，發(fā)貨單及賒欠報(bào)告 else （欠款未超期） 發(fā)批準(zhǔn)書，發(fā)貨單 ?判定表 ?如果數(shù)據(jù)流圖的加工需要依賴于 多個(gè)邏輯條件的取值 ，使用判定表來描述比較合適 以 “ 檢查發(fā)貨單 ” 為例 ?判定樹 ?判定樹也是用來表達(dá)加工邏輯的一種工具。有時(shí)侯它比判定表更直觀。 檢 查 發(fā) 貨 單 金額 $500 金額 ?$500 欠款 60天 不發(fā)出批準(zhǔn)書 欠款 ?60天 發(fā)貨單 發(fā)出批準(zhǔn)書、 欠款 60天 發(fā)出批準(zhǔn)書、 發(fā)貨單及賒欠報(bào)告 欠款 ?60天 發(fā)出批準(zhǔn)書、 發(fā)貨單 控制流圖（ CFD）與控制說明（ CSPEC） CFD是為了適應(yīng)實(shí)施系統(tǒng)地分析而提出的，通常與DFD配合使用，目的使 CSPEC分析員在用 DFD和 PSPEC表示數(shù)據(jù)流和加工的同時(shí)，也能夠用 CFD和 CSPEC表示控制流和控制加工。（ P45P47） 數(shù)據(jù)流和控制流舉例 動作 警告 監(jiān)控固件和 操作接口 每個(gè)固件狀態(tài) 機(jī)器人初始化控制 操作命令 部件狀態(tài)緩沖器 位置 命令 開始 /停止 處理 機(jī)器人命令 機(jī)器人命令文件 操作 設(shè)置 處理活動 記錄機(jī)器 人動作 位串 數(shù)據(jù)和控制模型的關(guān)系 DFD 加工規(guī)約 加工模型 DFD 控制規(guī)約 控制模型 數(shù)據(jù)輸出 數(shù)據(jù)條件 數(shù)據(jù)輸入 控制輸入 控制輸出 加工 激活者 SafeHome的控制面板 與用戶 交互 SAFEHOME ARMED POWER 01 1 2 3 4 5 6 7 8 9 * 0 OFF ARAY STAY MAX TEST BYPASS INSTANT CODE CHIME READY panic alarm check fire away stay instant bypass not ready SafeHome的第 0層ＤＦ Ｄ SafeHomede 軟件系統(tǒng) 用戶命令 和數(shù)據(jù) 顯示信息 控制面板 傳感器 狀態(tài) 警告類型 電話號 碼撥音 傳感器 電話線 警鈴 控制面板顯示 SafeHome的第 1層ＤＦ Ｄ 控制面板 與用戶 交互 控制 面板 顯示 密碼 電話號碼撥音 傳感器狀態(tài) 顯示 信息 配置請求 用戶命令 和數(shù)據(jù) 配置 系統(tǒng) 警 鈴 電 話 線 傳感器 配置信息 顯示信息 和狀態(tài) 監(jiān)控 傳感器 激活／不 激活系統(tǒng) 傳感器信息 密碼 處理 警告類型 檢驗(yàn) id信息 開始 停止 狀態(tài)信息 監(jiān)控傳感器的第 2層ＤＦＤ 電話號碼撥音 傳感器狀態(tài) 配置數(shù)據(jù) 顯示格式 配置信息 產(chǎn)生警告 信息 撥號 評估設(shè)置 傳感器信息 讀傳感器 警告類型 傳感器 id類型 傳感器 id 類型定位 SafeHome的第一層ＣＦＤ 控制面板 與用戶 交互 控制 面板 顯示 顯示活動狀態(tài)（完成、在處理中） 配置 系統(tǒng) 警 鈴 電 話 線 傳感器 配置信息 顯示信息 和狀態(tài) 監(jiān)控 傳感器 激活／不 激活系統(tǒng) 警告 信號 密碼 處理 傳感器 事件 警告 狀態(tài) 超時(shí) 閃爍標(biāo)志 開／關(guān)切換 狀態(tài)轉(zhuǎn)換圖 (STD) 描述軟件狀態(tài)的變遷，它是在 CSPEC中常用的一種重要描述工具。（ P48） 電梯 狀態(tài)圖舉例 在一樓 上升 停滯 下降 回到一樓 回一樓 想要到 達(dá)樓層 想要到 達(dá)樓層 電梯行程 開始 向上 向上 向下 概念模型和規(guī)范化 用戶的數(shù)據(jù)要求 需要哪些數(shù)據(jù)，數(shù)據(jù)之間有哪些聯(lián)系，數(shù)據(jù)本身有哪些性質(zhì)，數(shù)據(jù)的結(jié)構(gòu) 等）。 用戶的處理要求 對數(shù)據(jù)進(jìn)行哪些處理，每個(gè)處理的邏輯功能。 概念性模型（信息模型） 一種面向問題的數(shù)據(jù)模型，是按照用戶的觀點(diǎn)來對數(shù)據(jù)和信息建模。表示概念性數(shù)據(jù)模型的最常用方法是 實(shí)體 聯(lián)系方法 ，采用用 ER圖的方式，這種表示又稱為 ER模型 。 ? ER模型 ? 實(shí)體： 客觀世界中存在的且可區(qū)分的事物。 ? 聯(lián)系： 客觀事物之間的聯(lián)系（三類 1： 1， 1： N， M:N） ? 屬性： 實(shí)體或聯(lián)系所具有的性質(zhì)。 教師 姓名 性別 職稱 職務(wù) 教師號 教 1 課程 N 課程號 課名 學(xué)時(shí) 學(xué)分 學(xué) M 學(xué)生 N 學(xué)號 姓名 性別 系 年級 成績 ? 范式 通常用范式定義消除數(shù)據(jù)的冗余度（略） ER圖 數(shù)據(jù)及數(shù)據(jù)庫需求 ?在數(shù)據(jù)詞典中，強(qiáng)調(diào)對數(shù)據(jù)存儲結(jié)構(gòu)的邏輯設(shè)計(jì)，并用數(shù)據(jù)結(jié)構(gòu)表達(dá)數(shù)據(jù)項(xiàng)之間的邏輯關(guān)系。 ?但任何一個(gè)軟件系統(tǒng)都可能有成千上萬個(gè)數(shù)據(jù)項(xiàng)，僅僅描述這些數(shù)據(jù)項(xiàng)是不夠的，更重要的是如何把它們以最優(yōu)的方式組織起來，以滿足系統(tǒng)對數(shù)據(jù)的要求。 ER方法 ( EntityRelationship Approach) 和實(shí)體模型 ?在需求分析階段進(jìn)行數(shù)據(jù)庫邏輯設(shè)計(jì)過程中， 使用 ER圖，可定義一 個(gè)實(shí)體模型 。 ?實(shí)體模型是現(xiàn)實(shí)世界的純表示 ，它不涉及數(shù)據(jù)世界的數(shù)據(jù)結(jié)構(gòu)、存取路徑、存取效率等問題。因此，它 可以轉(zhuǎn)換成數(shù)據(jù)庫中的數(shù)據(jù)模型 。 ER圖中的基數(shù)表示： ?在 ER圖中，每個(gè) 方框 表示 實(shí)體型 或 屬性 ，方框之間的 連線 表示 實(shí)體之間 ，或 實(shí)體與屬性之間的聯(lián)系 。出現(xiàn)在連線上的短豎線可以看成是“ 1” ，而圓圈隱含表示“ 0” 。 ?例如，在教學(xué)管理中，一個(gè)教師可以教授零門、一門或多門課程，每位學(xué)生也需要學(xué)習(xí)幾門課程。因此，教學(xué)管理中涉及的對象（實(shí)體型）有 學(xué)生 、 教師 和 課程 。 ?用 ER圖描述它們之間的聯(lián)系，得下圖。其中，學(xué)生與課程是多對多的聯(lián)系，而教師與課程的聯(lián)系是零、一對多。 ?進(jìn)一步，要確定屬性。例如， ?學(xué)生具有 學(xué)號 、 姓名 、 性別 、 年齡 、 專業(yè) （其它略）等屬性； ?課程具有 課程號 、 課程名 、 學(xué)分 、 學(xué)時(shí)數(shù) 等屬性； ?教師具有 職工號 、 姓名 、 年齡 、 職稱 等屬性。 ?此外，學(xué)生通過學(xué)號、分?jǐn)?shù)與課程發(fā)生聯(lián)系。如此可得教學(xué)實(shí)體模型。 教學(xué)實(shí)體模型 數(shù)據(jù)庫分析的過程 在需求分析階段進(jìn)行數(shù)據(jù)庫分析的流程 ?為開發(fā)一個(gè)系統(tǒng)所使用的數(shù)據(jù)庫，在開始分析數(shù)據(jù)庫的需求前，分析員必須 了解該系統(tǒng)的總目標(biāo)和范圍 。然后 建立一個(gè)完整并高度細(xì)化的信息模型 。 ?此信息模型應(yīng)包括一個(gè) 綜合的數(shù)據(jù)詞典 ，定義所有在開發(fā)數(shù)據(jù)庫時(shí)用到的數(shù)據(jù)項(xiàng)。 ?接著數(shù)據(jù)庫分析定義數(shù)據(jù)庫的 邏輯特性 和 物理特性 。 ? 用例是幫助分析員和用戶確定系統(tǒng)使用情況的 UML組件； ? 一組用例就是從用戶的角度出發(fā)如何使用系統(tǒng)的描述； ? 可認(rèn)為用例是系統(tǒng)的一組使用場景； 每個(gè)場景描述了一個(gè)事件的序列； 每個(gè)序列是由一個(gè)人、另一個(gè)系統(tǒng)、一個(gè)硬件設(shè)備或某段時(shí)間的流逝所發(fā)起； 每個(gè)發(fā)起事件序列的實(shí)體叫做 參與者（ actor） 或 行動者 什么是用例（ use case）？ 用例圖 用例建模 ?用例建模是用于描述一個(gè)系統(tǒng)應(yīng)該做什么的建模技術(shù) ?用例建模可用于新系統(tǒng)的需求獲取，也可用于已有系統(tǒng)的升級 用例模型（ use case model） ? 一個(gè)用例模型可由若干幅用例圖組成 ? 用例描述了用戶和系統(tǒng)之間的交互，其重點(diǎn)是 系統(tǒng)為用戶做什么 ? 用例模型描述全部的 系統(tǒng)功能行為 ? 一幅用例圖包含的模型元素有： ? 用例 ? 參與者（行為者、執(zhí)行者） ? 系統(tǒng) 用例 參與者 系統(tǒng) 參與者 通信 關(guān)系 用例模型表示法 銷售系統(tǒng)用例圖 購買商品 登錄 退貨 收款 員 POS 顧客 購買商品 退貨 商店 顧客 以商店作為系統(tǒng)邊界 以 POS作為系統(tǒng)邊界 POS系統(tǒng)用例圖 購買商品 登錄 退貨 收款 員 POS 顧客 啟動 /關(guān)閉 管理用戶 其他 管理員 系統(tǒng)管理員 參與者與它們所發(fā)起執(zhí)行的過程（簡要描述） 現(xiàn)金結(jié)算 登錄 收款員 退貨 購買商品 顧客 關(guān)閉系統(tǒng) 啟動系統(tǒng) 管理員 增加新用戶 系統(tǒng)管理員 用例描述實(shí)例 用例： 購買商品 參與者：顧客（發(fā)起者）、收款員 類型： 主要的 描述： 顧客帶著所要購買商品到付款處，收款員 記錄商品信息并收款。 用例： 啟動 /關(guān)閉系統(tǒng) 參與者：管理員 類型： 主要的 描述： 管理員接通一臺 POS機(jī)電源，檢查時(shí)間、 日期正確性，檢查完成后，系統(tǒng)處于就緒 狀態(tài)，以備收款員使用。 對象關(guān)系圖（ ObjectRelationship,OR） ?對象關(guān)系圖是由 ER圖演變而來的。對象通過制定的關(guān)系和其他對象連接，規(guī)定連接的基數(shù)并建立整體的對象 關(guān)系網(wǎng)絡(luò)。 金融機(jī)構(gòu)類圖舉例 ： 所有人 財(cái)產(chǎn) 人員 金融機(jī)構(gòu) 信貸銀行 銀行 抵押 本金 利率 到期 * *{ 有次序的 } * * * 借方 債權(quán)人 房 屋 保險(xiǎn)機(jī)構(gòu)類圖舉例 ： 銷售代表 0 .. 1 定貨 name address 顧客 creditRating( ):String 產(chǎn)品 雇員 1 dataReceived isPrepaid number:String price:Money 協(xié)作顧客 contactName creditRating creditLimit creditCard 個(gè)人顧客 {creditRating( ) ==“poor”} 定貨作業(yè)線 dispatch( ) close( ) remind( ) billForMonth( ) Quantity:Integer price:Money isSatisfied:Boolean 1 * * * * 1 物品 網(wǎng)上商店對象模型 (部分 )示例 (UML) 對象行為圖 對象行為模型用于描述對象動態(tài)行為，通常由對象狀態(tài)轉(zhuǎn)換圖、事件軌跡圖和事件流圖等來描述。（ P52P53） 電梯 狀態(tài)轉(zhuǎn)換圖 在一樓 上升