軟件工程3分析

2024/7/81需求建模需求建模方法結(jié)構(gòu)化分析方法面向數(shù)據(jù)流的分析方法面向數(shù)據(jù)的分析方法面向?qū)ο蟮姆治龇椒?024/7/82需求建模需求建模方法的組成

一組語言機(jī)制供需求分析人員表達(dá)用戶需求、構(gòu)造軟件模型。

規(guī)則和經(jīng)驗

指導(dǎo)分析人員提取需求并使用戶需求精確化、全面化、一致化。2024/7/83結(jié)構(gòu)化分析方法六十年代未、七十年代初結(jié)構(gòu)化設(shè)計盛行，結(jié)構(gòu)化分析以結(jié)構(gòu)化設(shè)計附產(chǎn)品的身份出現(xiàn)。七十年代未期

DouglasRoss提出結(jié)構(gòu)化分析的術(shù)語

DeMarco[DEM79]進(jìn)行推廣，給出分析員可以創(chuàng)建信息流模型的主要圖形記號，建議將“數(shù)據(jù)字典”和“處理說明”作為信息流模型的補(bǔ)充，並提供方法應(yīng)用的實例；2024/7/84結(jié)構(gòu)化分析方法八十年代初期Jones[PAG80],Gane[GAN82]等人提出結(jié)構(gòu)化分析方法的一些變種，用于信息系統(tǒng)的開發(fā)；八十年代中期

Ward、Mellor[WAR85]、Hatiy和Pirbhai[HAT87]對結(jié)構(gòu)化分析進(jìn)行擴(kuò)充支持實時、控制和嵌入式系統(tǒng)的開發(fā);Harel＆Pnueli研制了面向復(fù)雜實時反應(yīng)式系統(tǒng)(ComplexReal-timeReactiveSystem)的開發(fā)環(huán)境STATEMATE。2024/7/85第五章面向數(shù)據(jù)流的分析方法

1數(shù)據(jù)流圖與數(shù)據(jù)字典2實體一關(guān)系圖數(shù)據(jù)對象、屬性與關(guān)系實體一關(guān)系圖3數(shù)據(jù)流圖的實時系統(tǒng)擴(kuò)充

Ward&Mellor擴(kuò)充

Hatley&Pirhai擴(kuò)充4基于數(shù)據(jù)流的分析方法創(chuàng)建數(shù)據(jù)流模型創(chuàng)建控制流模型創(chuàng)建過程規(guī)格說明5基于數(shù)據(jù)流圖的需求分析CASE工具。語言機(jī)制動態(tài)分析基于CASE工具的需求分析以“家庭保安系統(tǒng)”為例展示結(jié)構(gòu)化分析方法的使用過程。2024/7/86結(jié)構(gòu)化的分析模型第五章面向數(shù)據(jù)流的分析方法2024/7/87結(jié)構(gòu)化的分析模型核心數(shù)據(jù)字典描述軟件工程項目的所有數(shù)據(jù)對象中間層實體-關(guān)系圖、數(shù)據(jù)流圖、狀態(tài)-變遷圖實體-關(guān)系圖描述數(shù)據(jù)對象之間的關(guān)系數(shù)據(jù)流圖功能建模的基礎(chǔ)系統(tǒng)或子系統(tǒng)對數(shù)據(jù)實施的變換、變換的功能提供信息分析的信息狀態(tài)-變遷圖行為建模的基礎(chǔ)系統(tǒng)的行為模式（稱“狀態(tài)”）以及狀態(tài)變遷的方式第五章面向數(shù)據(jù)流的分析方法2024/7/88結(jié)構(gòu)化的分析模型

最外層數(shù)據(jù)對象描述、加工規(guī)格說明PSPEC、控制規(guī)格說明CSPEC數(shù)據(jù)對象

表示實體-關(guān)系圖中每個數(shù)據(jù)對象的屬性加工規(guī)格說明PSPEC

描述數(shù)據(jù)流圖的每個功能。

控制規(guī)格說明CSPEC

描述軟件控制的附加信息第五章面向數(shù)據(jù)流的分析方法2024/7/895.1數(shù)據(jù)流圖與數(shù)據(jù)字典基于計算機(jī)的信息處理系統(tǒng)由數(shù)據(jù)流和一系列的加工構(gòu)成，這些加工將輸入數(shù)據(jù)流加工為輸出數(shù)據(jù)流數(shù)據(jù)流圖描述數(shù)據(jù)流和加工數(shù)據(jù)流圖用圖形符號表示數(shù)據(jù)流、加工、數(shù)據(jù)源及外部實體數(shù)據(jù)流圖具有層次結(jié)構(gòu)，支持問題分解、逐步求精的分析方法它是數(shù)據(jù)驅(qū)動的數(shù)據(jù)流圖既可以表示基于計算機(jī)的系統(tǒng)，也可以表示軟件第五章面向數(shù)據(jù)流的分析方法2024/7/810數(shù)據(jù)流圖標(biāo)記5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2024/7/811數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系2024/7/812分層的數(shù)據(jù)流圖2024/7/813在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個加工，它代表被開發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層中間層流圖則表示對其上層父圖的細(xì)化。它的每一加工可能繼續(xù)細(xì)化，形成子圖。2024/7/814頂層數(shù)據(jù)流圖隨著需求分析活動的深入，較高抽象級別的復(fù)雜加工逐步精化為一系列相互關(guān)聯(lián)的數(shù)據(jù)流和子加工。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2024/7/815數(shù)據(jù)流圖的精化與平衡逐層精化必須保持?jǐn)?shù)據(jù)流圖的平衡數(shù)據(jù)流與加工精化必須保持一致需求分析活動只求對問題全面、清晰的理解，不考慮軟件設(shè)計細(xì)節(jié)

5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2024/7/816結(jié)構(gòu)化分析方法功能建模的步驟

商店業(yè)務(wù)處理系統(tǒng)2024/7/817這個數(shù)據(jù)流圖只是一個高層的系統(tǒng)邏輯模型，它反映了目標(biāo)系統(tǒng)要實現(xiàn)的功能數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù)，畫出頂層數(shù)據(jù)流圖，以反映最主要業(yè)務(wù)處理流程2024/7/818經(jīng)過分析，商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷售、采購、會計三大項。主要數(shù)據(jù)流輸入的源點和輸出終點是顧客和供應(yīng)商。然后從輸入端開始，根據(jù)商店業(yè)務(wù)工作流程，畫出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫到輸出端，得到第一層數(shù)據(jù)流圖2024/7/819第一層數(shù)據(jù)流圖2024/7/820加細(xì)每一個加工框 銷售細(xì)化2024/7/821采購細(xì)化2024/7/822檢查和修改數(shù)據(jù)流圖的原則數(shù)據(jù)流圖上所有圖形符號只限于前述四種基本圖形元素數(shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實體之間每個加工至少有一個輸入數(shù)據(jù)流和一個輸出數(shù)據(jù)流2024/7/823在數(shù)據(jù)流圖中，需按層給加工框編號。編號表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個加工對應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡可以在數(shù)據(jù)流圖中加入物質(zhì)流，幫助用戶理解數(shù)據(jù)流圖2024/7/824圖上每個元素都必須有名字?jǐn)?shù)據(jù)流圖中不可夾帶控制流初畫時可以忽略瑣碎的細(xì)節(jié)，以集中精力于主要數(shù)據(jù)流2024/7/825基本加工邏輯說明

對數(shù)據(jù)流圖的每一個基本加工，必須有一個基本加工邏輯說明基本加工邏輯說明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則加工邏輯說明必須描述實現(xiàn)加工的策略而不是實現(xiàn)加工的細(xì)節(jié)加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，無冗余的2024/7/826用于寫加工邏輯說明的工具結(jié)構(gòu)化英語判定表判定樹2024/7/827（1）結(jié)構(gòu)化英語結(jié)構(gòu)化英語的詞匯表由英語命令動詞數(shù)據(jù)詞典中定義的名字有限的自定義詞邏輯關(guān)系詞IF_THEN_ELSE、

CASE_OF、

WHILE_DO、

REPEAT_UNTIL等組成。2024/7/828是一種介于自然語言和形式化語言之間的語言語言的正文用基本控制結(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)；2024/7/829商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”if發(fā)貨單金額超過$500then

if

欠款超過了60天then

在償還欠款前不予批準(zhǔn)

else

（欠款未超期）發(fā)批準(zhǔn)書，發(fā)貨單

else

（發(fā)貨單金額未超過$500）

if

欠款超過60天then

發(fā)批準(zhǔn)書，發(fā)貨單及賒欠報告

else

（欠款未超期）發(fā)批準(zhǔn)書，發(fā)貨單

2024/7/830（2）判定表如果數(shù)據(jù)流圖的加工需要依賴于多個邏輯條件的取值，使用判定表來描述比較合適2024/7/831以“檢查發(fā)貨單”為例2024/7/8322024/7/833（3）判定樹判定樹也是用來表達(dá)加工邏輯的一種工具。有時侯它比判定表更直觀。檢查發(fā)貨單金額>$500金額

$500欠款>60天不發(fā)出批準(zhǔn)書欠款

60天發(fā)貨單發(fā)出批準(zhǔn)書、欠款>60天發(fā)出批準(zhǔn)書、發(fā)貨單及賒欠報告欠款

60天發(fā)出批準(zhǔn)書、發(fā)貨單2024/7/834數(shù)據(jù)字典定義數(shù)據(jù)字典由數(shù)據(jù)條目組成，數(shù)據(jù)字典描述、組織和管理數(shù)據(jù)流圖的數(shù)據(jù)流、加工、數(shù)據(jù)源及外部實體。數(shù)據(jù)字典用簡潔、清晰、易理解的文字描述條目，說明數(shù)據(jù)流圖的加工功能、性能、要求及設(shè)計約束等。數(shù)據(jù)流圖與數(shù)據(jù)字典配套使用，完整地描述軟件需求。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2024/7/835數(shù)據(jù)字典的數(shù)據(jù)條目內(nèi)容（1）名稱與別名數(shù)據(jù)流、數(shù)據(jù)源或外部實體的標(biāo)識；（2）數(shù)據(jù)類型；（3）何處使用／如何使用輸入流／輸出流的加工表；（4）內(nèi)容描述；（5）補(bǔ)充說明如，取值范圍與缺省值，有關(guān)的設(shè)計約束等。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2024/7/836（1）數(shù)據(jù)流詞條描述數(shù)據(jù)流名：說明：簡要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來源：來自何方數(shù)據(jù)流去向：去向何處數(shù)據(jù)流組成：數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量：數(shù)據(jù)量，流通量2024/7/837（2）數(shù)據(jù)元素詞條描述數(shù)據(jù)元素名：類型：數(shù)字（離散值，連續(xù)值），文字（編碼類型）長度：取值范圍：相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu)：2024/7/838（3）數(shù)據(jù)文件詞條描述數(shù)據(jù)文件名：簡述：存放的是什么數(shù)據(jù)輸入數(shù)據(jù)：輸出數(shù)據(jù)：數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu)存儲方式：順序，直接，關(guān)鍵碼存取頻率：2024/7/839（4）加工邏輯詞條描述加工名：加工編號：反映該加工的層次簡要描述：加工邏輯及功能簡述輸入數(shù)據(jù)流：輸出數(shù)據(jù)流：加工邏輯：簡述加工程序，加工順序2024/7/840（5）源點及匯(終)點詞條描述名稱：外部實體名簡要描述：什么外部實體有關(guān)數(shù)據(jù)流：數(shù)目：2024/7/841數(shù)據(jù)結(jié)構(gòu)的描述

符號

含義

舉例＝被定義為＋與

x=a＋b[...,...]或[...|...]或

x=[a,b]，x=[a|b]{...}或m{...}n重復(fù)

x={a}，x=3{a}8(...)可選

x=(a)“...”基本數(shù)據(jù)元素

x=“a”.. 連結(jié)符

x=1..92024/7/842存折格式2024/7/843存折＝戶名＋所號＋帳號＋開戶日＋性質(zhì)＋(印密)＋1{存取行}50戶名＝2{字母}24所號＝“001”..“999”帳號＝“00000001”..“99999999”開戶日＝年＋月＋日性質(zhì)＝“1”..“6”注：“1”表示普通戶，“5”表示工資戶等印密＝“0”注：印密在存折上不顯示存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復(fù)核2024/7/8445.2實體—關(guān)系圖需求分析的重要任務(wù)是，對復(fù)雜的數(shù)據(jù)及數(shù)據(jù)關(guān)系進(jìn)行分析、建模。實體—關(guān)系圖是數(shù)據(jù)模型的基礎(chǔ)，它描述數(shù)據(jù)對象、屬性、及其關(guān)系。

第五章面向數(shù)據(jù)流的分析方法2024/7/8455.2.1數(shù)據(jù)對象、屬性與關(guān)系數(shù)據(jù)對象數(shù)據(jù)屬性數(shù)據(jù)關(guān)系數(shù)據(jù)對象、屬性與關(guān)系5.2實體-關(guān)系圖2024/7/8461數(shù)據(jù)對象數(shù)據(jù)對象

現(xiàn)實世界具有不同特征和屬性的實體或事務(wù)的標(biāo)識，計算機(jī)軟件描述并處理的一組信息。如，事件、行為、角色、組織、地點、結(jié)構(gòu)等。數(shù)據(jù)對象只封裝數(shù)據(jù)，包括：數(shù)據(jù)流、數(shù)據(jù)源、外部實體的數(shù)據(jù)部分，不封裝操作。數(shù)據(jù)對象是相互關(guān)聯(lián)的。5.2實體-關(guān)系圖2024/7/8472數(shù)據(jù)對象的屬性屬性用“標(biāo)識符、符號串和值”標(biāo)識，描述數(shù)據(jù)對象的性質(zhì)。包括：（1）命名標(biāo)識數(shù)據(jù)對象（2）描述描述數(shù)據(jù)對象的性質(zhì)（3）引用建立數(shù)據(jù)對象之間的聯(lián)系數(shù)據(jù)對象的屬性是原子數(shù)據(jù)項，不包含內(nèi)部數(shù)據(jù)結(jié)構(gòu)。數(shù)據(jù)對象的任何屬性有且僅有一個屬性值?，F(xiàn)實世界的實體具有許多屬性，分析人員只能考慮與應(yīng)用問題有關(guān)的屬性。5.2實體-關(guān)系圖2024/7/848數(shù)據(jù)對象描述例汽車銷售管理問題的數(shù)據(jù)對象描述表.

汽車屬性制造商型號標(biāo)識碼車體類型顏色買主

5.2實體-關(guān)系圖2024/7/8493數(shù)據(jù)對象的關(guān)系關(guān)系數(shù)據(jù)對象按照某種關(guān)系相互連接用對象－關(guān)系偶描述數(shù)據(jù)對象關(guān)系的命名及內(nèi)涵應(yīng)反映描述的問題刪除與問題無關(guān)的關(guān)系

5.2實體-關(guān)系圖2024/7/8504數(shù)據(jù)對象、屬性與關(guān)系數(shù)據(jù)對象、屬性和關(guān)系問題的數(shù)據(jù)對象與其它數(shù)據(jù)對象存在各種形式的關(guān)聯(lián)。數(shù)據(jù)模型研究，數(shù)據(jù)對象、數(shù)據(jù)對象的屬性、數(shù)據(jù)對象之間的關(guān)系?；跀?shù)據(jù)的對象、屬性與關(guān)系構(gòu)成應(yīng)用問題數(shù)據(jù)模型的基本要素。5.2實體-關(guān)系圖2024/7/851數(shù)據(jù)對象、屬性與關(guān)系例汽車銷售問題的數(shù)據(jù)對象、屬性與關(guān)系

數(shù)據(jù)對象數(shù)據(jù)對象關(guān)系制造商汽車生產(chǎn)購車用戶汽車購買5.2實體-關(guān)系圖2024/7/8525.2.2實體—關(guān)系圖數(shù)據(jù)對象的描述用基數(shù)和形態(tài)兩個參數(shù)實體—關(guān)系圖描述系統(tǒng)所有數(shù)據(jù)對象的組成和屬性，描述數(shù)據(jù)對象之間關(guān)系的圖形語言。5.2實體-關(guān)系圖2024/7/8531數(shù)據(jù)對象的基數(shù)和形態(tài)基數(shù)cardinality一對象與另一對象關(guān)聯(lián)個數(shù)的度量。

取值“一對一”（1：1）一個對象A關(guān)聯(lián)一個對象B,反之，一個對象B關(guān)聯(lián)一個對象A。如，夫妻?！耙粚Χ唷保?：N）一個對象A關(guān)聯(lián)多個對象B,反之，一個對象B關(guān)聯(lián)一個對象A。如，父子。“多對多”（N：M）一個對象A關(guān)聯(lián)多個對象B,反之，一個對象B關(guān)聯(lián)多個對象A。如，叔侄。5.2實體-關(guān)系圖2024/7/854數(shù)據(jù)對象的基數(shù)和形態(tài)形態(tài)modality數(shù)據(jù)對象與某一“關(guān)系”關(guān)聯(lián)程度的度量。取值0、1、多。

“數(shù)據(jù)對象”與“關(guān)系”

“關(guān)系的形態(tài)”無關(guān)／可選0出現(xiàn)一次1出現(xiàn)多次“多”5.2實體-關(guān)系圖2024/7/8552實體—關(guān)系圖實體－關(guān)系圖標(biāo)識系統(tǒng)輸入/輸出的數(shù)據(jù)對象定義對象的屬性描述對象間的關(guān)系5.2實體-關(guān)系圖2024/7/856E-R圖中表示實體關(guān)聯(lián)的符號如下：XY一個X與一個Y相關(guān)聯(lián)一個X與一個或多個Y相關(guān)聯(lián)XY一個X與零個或一個Y相關(guān)聯(lián)XY一個X與零個,一個或多個Y相關(guān)聯(lián)XY一個X與一個Y或Z相關(guān)聯(lián)XYZ一個X與一個Y與Z相關(guān)聯(lián)XYZ2024/7/857實體—關(guān)系圖實例

汽車制造商與運(yùn)輸商的運(yùn)貨合同數(shù)據(jù)對象

長方形表示關(guān)系菱形表示數(shù)據(jù)對象有基數(shù)和形態(tài)兩個參數(shù)?；鶖?shù)

關(guān)系線上離距形近的符號形態(tài)

關(guān)系線上離距形遠(yuǎn)的符號5.2實體-關(guān)系圖2024/7/858例汽車的層次表示

用實體—關(guān)系圖表示數(shù)據(jù)對象的層次結(jié)構(gòu)及部分—整體關(guān)系

5.2實體-關(guān)系圖2024/7/859例汽車的部分—整體關(guān)系5.2實體-關(guān)系圖2024/7/860結(jié)構(gòu)化分析

創(chuàng)建實體關(guān)系圖過程(1)客戶列出業(yè)務(wù)過程中的事物，它對應(yīng)一組輸入/輸出數(shù)據(jù)對象，及生產(chǎn)/消費(fèi)信息的外部實體

(2)系統(tǒng)分析員和客戶逐個定義對象及對象間的連接(3)根據(jù)對象間的連接標(biāo)識對象-關(guān)系偶(4)確定對象-關(guān)系偶的基數(shù)和形態(tài)(5)重復(fù)（2）-（4）直至創(chuàng)建所有的對象-關(guān)系偶(6)描述實體屬性(7)復(fù)審實體-關(guān)系圖(8)重復(fù)（1）-（7）完成數(shù)據(jù)建模

5.2實體-關(guān)系圖2024/7/8615.4基于數(shù)據(jù)流的分析方法數(shù)據(jù)建模的基本元素是，數(shù)據(jù)對象、屬性和關(guān)系。創(chuàng)建數(shù)據(jù)流模型創(chuàng)建控制流模型過程規(guī)格說明例“家庭保安系統(tǒng)”第五章面向數(shù)據(jù)流的分析方法2024/7/8625.4.1創(chuàng)建數(shù)據(jù)流模型數(shù)據(jù)流圖是目標(biāo)軟件系統(tǒng)中各個處理子功能以及它們之間的數(shù)據(jù)流動的圖形表示。數(shù)據(jù)流圖的精化過程是處理子功能和數(shù)據(jù)流的細(xì)化過程。隨著這一過程的進(jìn)行，用戶需求逐步精確化、一致化、完全化。5.4基于數(shù)據(jù)流的分析方法2024/7/863結(jié)構(gòu)化分析

創(chuàng)建數(shù)據(jù)流模型過程(1)用一個園盤描述第0層軟件/系統(tǒng)的DFD圖(2)標(biāo)記系統(tǒng)的輸入/輸出(3)

精化

描述第I層的數(shù)據(jù)對象、存儲和加工

(4)

標(biāo)記箭頭和園盤(5)對第I層信息流進(jìn)行一致性維護(hù)(6)對加工園盤逐個進(jìn)行精化(7)當(dāng)?shù)趎層DFD圖園盤己精化為容易實現(xiàn)的簡單操作時，創(chuàng)建數(shù)據(jù)流模型的過程仃止。

5.4基于數(shù)據(jù)流的分析方法2024/7/864結(jié)構(gòu)化分析

創(chuàng)建數(shù)據(jù)流模型利用數(shù)據(jù)流圖DFD開發(fā)信息域和功能域模型。當(dāng)DFD精化到較細(xì)級別時，分析員進(jìn)行隱式功能分解，並導(dǎo)致相應(yīng)數(shù)據(jù)的精化。加工規(guī)格說明

PSPEC

描述輸入信息、加工算法、產(chǎn)生輸出結(jié)果，指明加工的約束和限制、產(chǎn)品的性能特征和工作環(huán)境等。5.4基于數(shù)據(jù)流的分析方法2024/7/865創(chuàng)建用戶需求數(shù)據(jù)流模型應(yīng)遵循的規(guī)則（1）首先建立頂級數(shù)據(jù)流圖頂級數(shù)據(jù)流圖只有一個代表目標(biāo)軟件系統(tǒng)的功能加工根據(jù)軟件系統(tǒng)與外部環(huán)境的關(guān)系確定頂級數(shù)據(jù)流圖的外部實體以及它們與軟件系統(tǒng)之間的數(shù)據(jù)流。“家庭保安系統(tǒng)”0級數(shù)據(jù)流圖5.4基于數(shù)據(jù)流的分析方法2024/7/866“家庭保安系統(tǒng)”1級數(shù)據(jù)流圖2）對用戶需求的文字描述進(jìn)行語法分析名詞和名詞短語構(gòu)成潛在的外部實體數(shù)據(jù)源或數(shù)據(jù)流、動詞構(gòu)成潛在的處理功能。

結(jié)合分析人員對問題域和用戶需求的理解，確定軟件系統(tǒng)的主要功能以及它們之間的數(shù)據(jù)流。5.4基于數(shù)據(jù)流的分析方法2024/7/867創(chuàng)建用戶需求數(shù)據(jù)流模型應(yīng)遵循的規(guī)則

（3）功能分解按照“強(qiáng)內(nèi)聚、松藕合”原則，對處理功能進(jìn)行精化；對數(shù)據(jù)流進(jìn)行精化，針對被精化的處理功能生成下一級數(shù)據(jù)流圖。數(shù)據(jù)流精化的意義數(shù)據(jù)流的內(nèi)容及各項特征將逐步彰現(xiàn)，所以要將其作為數(shù)據(jù)字典的一個條目，并不斷精化、調(diào)整內(nèi)容。在父數(shù)據(jù)流圖中的復(fù)合數(shù)據(jù)項可被分解為子數(shù)據(jù)項，這種數(shù)據(jù)流分解并不違背平衡準(zhǔn)則。如，如果將圖5.16中的“啟動／停止系統(tǒng)”功能分解為“啟動系統(tǒng)”和“停止系統(tǒng)”，那么“啟動／停止命令”應(yīng)相應(yīng)地精化為“啟動命令”和“停止命令”。5.4基于數(shù)據(jù)流的分析方法2024/7/868“家庭保安系統(tǒng)”2級數(shù)據(jù)流圖（4）在精化過程中必須維持各級數(shù)據(jù)流圖的平衡。

（５）精化過程應(yīng)適可而止，避免涉及軟件設(shè)計細(xì)節(jié)。某子功能可以用一段簡潔、精確的文字描述清楚，就無需進(jìn)一步分解。5.4基于數(shù)據(jù)流的分析方法2024/7/8695.4.2創(chuàng)建控制流模型實時嵌入式系統(tǒng)存在事件驅(qū)動機(jī)制，通過系統(tǒng)的加工產(chǎn)生控制信息。系統(tǒng)對事件信息的加工必須在指定的時間內(nèi)完成。實時嵌入式系統(tǒng)的描述不僅需要數(shù)據(jù)流圖，而且還需要控制流圖CFD?？刂埔?guī)格說明用狀態(tài)變遷圖（STD）、加工激活表（PAT）描述系統(tǒng)的行為。狀態(tài)變遷圖是行為的“順序規(guī)格說明”加工激活表是行為的“組合規(guī)格說明”，它指明某一事件發(fā)生時，流模型被激活的加工園盤。5.4基于數(shù)據(jù)流的分析方法2024/7/870“家庭保安系統(tǒng)”控制流圖5.4基于數(shù)據(jù)流的分析方法2024/7/871“家庭保安系統(tǒng)”狀態(tài)加工圖5.4基于數(shù)據(jù)流的分析方法2024/7/872結(jié)構(gòu)化分析

創(chuàng)建控制流模型過程(1)列出系統(tǒng)的輸入傳感器(2)列出系統(tǒng)的中斷條件(3