【正文】 在后面的分析建模中要將圖建模為 DFD圖（見后） 結(jié)構(gòu)化分析模型描述工具 結(jié)構(gòu)化分析模型 DFD、 DD和 PSPEC CFD、 CSPEC 和 STD ER 圖 面向?qū)ο蠓治瞿Ｐ停ê罄m(xù)） 用例圖，對(duì)象 關(guān)系圖，對(duì)象 行為圖 有些數(shù)據(jù)加工不是數(shù)據(jù)觸發(fā)的，而是由實(shí)時(shí)發(fā)生的事件觸發(fā)的，無法用傳統(tǒng)的 DFD 圖來表示。 措施：刪去訂貨單數(shù)據(jù)流中的“貨號(hào)”成分。 17 父圖和子圖平衡嗎？從圖上看，子圖與父圖中相應(yīng)加工并不具有相同的輸入和輸出，但是如果從詞典中查出：父圖只稱為“訂貨單”的數(shù)據(jù)流是由“客戶”、“帳號(hào)”和“數(shù)量”三部分?jǐn)?shù)據(jù)組成的，那么就可得出結(jié)論：這兩張圖是平衡的 兩張數(shù)據(jù)流圖是平衡的，但是子圖中的文件 ALPHA 為什么在父圖中沒有畫出呢？這是因?yàn)?ALPHA 是完全局部于加工 的、它并不是父圖中各個(gè)加工之間的交界面，根據(jù)“抽象”原則，在畫父圖 時(shí)，只需畫出加工和加工之間的聯(lián)系，而不必畫出各個(gè)加工內(nèi)部的細(xì)節(jié)，所以父圖中不必畫文件 ALPHA，同理，數(shù)據(jù)流 XXX、YYY 也不必畫出。 根據(jù)上述的功能描述，畫出分層數(shù)據(jù)流程圖。 文檔中的所有描述是否完整、清晰、準(zhǔn)確反映用戶要求 。若有單科不及格 ,則發(fā)升級(jí)通知書 ,和重修通知書 若總分低于 600 分 ,若單科滿分 ,則發(fā)留級(jí)通知書 ,及免修單科通知書 。 STD 圖： Status Transfer Diagram 狀態(tài)－變遷圖 指明系統(tǒng)在外部事件的作用下將會(huì)如何動(dòng)作，表明了系統(tǒng)的各種狀態(tài)間的變遷。 例：“取下一張卡片”是一個(gè)控制流而不是數(shù)據(jù)流，因?yàn)椴]有任何數(shù)據(jù)沿著這個(gè)箭頭流動(dòng)，這個(gè)箭頭應(yīng)該從圖中刪去。 CFDamp。 設(shè)計(jì)的約束條件或限制條件是否符合實(shí)際 。 因此在功能模型之外擴(kuò)充了行為模型，引進(jìn)了 CFD(Control Flow Diagram)圖， STD(Status Transfer Diagram)圖， CSPEC(Control Specification)等工具進(jìn)行描述。 圖 的父圖和子圖有個(gè)明顯的錯(cuò)誤：只有流向文件 DELTA 的數(shù)據(jù)流而沒有從該文件流出的數(shù)據(jù)流，即只有寫文件的加工而沒有讀文件的加工，這說明一定是某些加工被遺漏了。另外，子圖的輸出數(shù)據(jù)流 S在父圖中也沒有出現(xiàn) 例 3。 4)根據(jù)留底的訂單記錄進(jìn)行銷售統(tǒng)計(jì) (分別按顧客所在地區(qū)、銷售日期、銷售貨物名稱、顧客名稱統(tǒng)計(jì) )，打印統(tǒng)計(jì)表給經(jīng) 理。 系統(tǒng)需求分析階段提供的文檔資料是否齊全 。 對(duì)于月薪低于 1000 元的推銷員，分別另發(fā)鼓勵(lì)獎(jiǎng) 300、 200 和 500、 300 元 判定表 — 例子 若加工邏輯中同時(shí)存在順序、選擇和循環(huán)，應(yīng)采用結(jié)構(gòu)化語言結(jié)合判定樹、表，不宜單獨(dú)使用判定樹、 表 例 學(xué)生升級(jí)留級(jí) 總分超過 600 分 ,無論單科是否滿分 , 若無單科不及格 ,則發(fā)升級(jí)通知書 。 E－ R 圖： Entity－ Relation Diagram，實(shí)體關(guān)系圖 描述數(shù)據(jù)對(duì)象的關(guān)系 DFD 圖： Data Flow Diagram，數(shù)據(jù)流圖 指明系統(tǒng)中數(shù)據(jù)是如何流動(dòng)和變換的，描述數(shù)據(jù)流進(jìn)行變換的功能。 返回 父子平衡 balance 平衡：子圖的所有輸入 (輸出 )數(shù)據(jù)流必須是父圖中相應(yīng)加工的輸入（輸出） 例：平衡 父圖 子圖 4 例：特殊平衡 例：不平衡 返回 局部文件 例：子圖中的文件 ALPHA 完全局部于加工 4根據(jù)“抽象”原則， 父圖只需畫出加工和加工之間的聯(lián)系，而不必畫出各個(gè)加工內(nèi)部的細(xì)節(jié)，所以父圖中不必畫文件 ALPHA，數(shù)據(jù)流 XXX、 YYY 也不必畫出。CSPEC (Control Flow Diagram) 適合實(shí)時(shí)系統(tǒng)的分析 類似 DFD 和 PSPEC，和它們配合使用 DFD 表示數(shù)據(jù)流和對(duì)數(shù)據(jù)的加工 CFD 表示控制流和控制加工 (系統(tǒng)行為模型 ) CFD 和 DFD 的關(guān)系 數(shù)據(jù)條件 加工激活信號(hào) 控制輸出 輸入數(shù)據(jù) 加工模型 控制模型 CSPEC 輸出數(shù)據(jù) 控制輸入 PSPEC DFD CFD CFD 的符號(hào)表示 控制信息或事件 引用控制說明 CSPEC DFD 和 CFD 例子 物品經(jīng)過 某型號(hào)累加 半分鐘 半小時(shí) 人工驅(qū)動(dòng)信息 時(shí)鐘 翻屏 /20 秒 光電管 采集 計(jì)數(shù) 傳送 工控機(jī) 處理 實(shí)時(shí)數(shù)據(jù)顯示 班數(shù)據(jù) 處理 信號(hào) 半 小時(shí)數(shù)據(jù) 班數(shù)據(jù) 半分鐘數(shù)據(jù) STD 是 CSPEC 常用的狀態(tài)描述工具 描述軟件狀態(tài)變遷 符號(hào)表示 矩形 系統(tǒng)狀態(tài) 箭頭 狀態(tài)轉(zhuǎn)變方向 規(guī)則表達(dá)式 事件 /觸發(fā)行為 狀 態(tài) 1 狀 態(tài) 2 事件 /觸發(fā)行為 STD 例子 采集 空閑 /采集 PLC 計(jì)數(shù) 物品經(jīng)過 /計(jì)數(shù) 傳送 半分鐘到 /傳送 工控處理 半小時(shí)到 /工控處理 實(shí)時(shí)翻屏 生成最新數(shù)據(jù) /翻屏 20 秒到 /翻屏 (5)ER圖 用于對(duì)復(fù)雜數(shù)據(jù)數(shù)據(jù)分析和建模 實(shí)體、屬性和關(guān)系 組成符號(hào) 0： 1 1： 1 0： m 1:m 一個(gè)生產(chǎn)廠家可以生產(chǎn) 1~多部電話 機(jī) 一個(gè)生產(chǎn)廠家有 1~多個(gè)經(jīng)銷商 每個(gè)經(jīng)銷商可以賣給多個(gè)用戶 每個(gè)用戶可以用 0~多部電話機(jī) ER 圖例子 電話機(jī) 生產(chǎn)廠商 經(jīng)銷商 用戶 生產(chǎn) 購(gòu)買 使用 經(jīng)銷 目錄 需求分析實(shí)例 實(shí)例 1：教材購(gòu)銷系統(tǒng) 實(shí)例 2：家庭保安系統(tǒng) 實(shí)例 1教材購(gòu)銷系統(tǒng) (1) 頂層 DFD 這個(gè)數(shù)據(jù)流圖只是一個(gè)高層的系統(tǒng)邏輯模型，它反映了目標(biāo)系統(tǒng)要實(shí)現(xiàn)的功能 首先確定系統(tǒng)的輸入和輸出 頂層數(shù)據(jù)流圖，反映最主要業(yè)務(wù)處理流程 學(xué) 生 購(gòu)書單 教材 購(gòu)銷 系統(tǒng) 書庫(kù)保管員 缺書單 進(jìn)書通知 領(lǐng)書單 發(fā)票 第一層 DFD 1 銷售 2 采購(gòu) 書庫(kù) 保管員 學(xué) 生 購(gòu)書單 進(jìn)書通知 F1 教材存量表 F2 缺書登記表 缺書單