《軟件工程》課件第05章

ZLL數(shù)據(jù)流圖的圖形記號(hào)外部實(shí)體位于軟件系統(tǒng)邊界之外的信息生產(chǎn)者或消費(fèi)者轉(zhuǎn)換轉(zhuǎn)換數(shù)據(jù)流的處理過(guò)程，又稱泡（bubble）數(shù)據(jù)源數(shù)據(jù)流為一個(gè)或多個(gè)轉(zhuǎn)換提供數(shù)據(jù)源或數(shù)據(jù)存儲(chǔ)服務(wù)的緩沖區(qū)、文件或數(shù)據(jù)庫(kù)在轉(zhuǎn)換之間有向流動(dòng)的數(shù)據(jù)項(xiàng)或數(shù)據(jù)項(xiàng)集合

“與”，即同時(shí)輸入/出；

+“或”，即至少一項(xiàng)輸入/出；⊕“異或”，即非同時(shí)輸入/出*ZLL數(shù)據(jù)流圖數(shù)據(jù)流圖提供了層次結(jié)構(gòu)，讓分析人員能夠方便地表示任意抽象級(jí)別上的信息系統(tǒng)或其子系統(tǒng)，并支持問(wèn)題分解、逐步求精的分析方法。初始時(shí)，整個(gè)信息處理系統(tǒng)可以用圖5-1-2所示的頂級(jí)（第0級(jí)）數(shù)據(jù)流圖表示。ZLL“家庭保安系統(tǒng)”頂級(jí)數(shù)據(jù)流圖警報(bào)類別顯示信息電話撥號(hào)音頻傳感數(shù)據(jù)用戶命令家庭保安系統(tǒng)控制面板傳感器顯示器電話機(jī)警報(bào)器ZLL

隨著需求分析活動(dòng)的逐漸深入，較高抽象級(jí)別上的復(fù)雜轉(zhuǎn)換可以精化為一系列相互關(guān)聯(lián)的數(shù)據(jù)流和子轉(zhuǎn)換，如圖5-1-3所示。在數(shù)據(jù)流方法中，對(duì)數(shù)據(jù)（數(shù)據(jù)流）的精化是伴隨著對(duì)轉(zhuǎn)換的逐步精化而同步進(jìn)行的。Z2Y2X2N1M1D1D1C1C1E1E1B0A0A0F1F3FF2F4F5F41F42F43F44B0第0級(jí)第1級(jí)第2級(jí)數(shù)據(jù)流圖的精化與層間平衡ZLL建立數(shù)據(jù)流模型要遵循以下的原則1．每個(gè)加工至少應(yīng)有一個(gè)輸入數(shù)據(jù)流（反映被處理數(shù)據(jù)的來(lái)源）和一個(gè)輸出數(shù)據(jù)流（反映加工的結(jié)果）。2．?dāng)?shù)據(jù)流圖中各構(gòu)成元素的名稱必須具有明確的含義且能夠代表對(duì)應(yīng)元素的內(nèi)容或功能。3．對(duì)某個(gè)加工進(jìn)行細(xì)化生成的下層數(shù)據(jù)流圖，稱為其上層圖的子圖。應(yīng)保證分層數(shù)據(jù)流圖中任意對(duì)應(yīng)的父圖和子圖的輸入/輸出數(shù)據(jù)流保持一致。4．應(yīng)按照層次給每個(gè)加工編號(hào)，用于表明該加工所處的層次及上、下層的父圖與子圖的關(guān)系。編號(hào)的規(guī)則為：頂層加工不用編號(hào)；第一層加工的編號(hào)為1,2,…,n。第二層加工的編號(hào)為11,12,…,21,22,…,n1,n2,…,等，以此類推。ZLL建立數(shù)據(jù)流模型要遵循以下的原則5．在父圖中不要出現(xiàn)子圖中涉及的局部數(shù)據(jù)存儲(chǔ)文件。通常除底層數(shù)據(jù)流圖中需表明所有數(shù)據(jù)存儲(chǔ)外，為保持畫面整潔，各中間層數(shù)據(jù)流圖只需顯示處于加工之間的接口文件即可。6．?dāng)?shù)據(jù)流圖只能由四種基本符號(hào)組成，是實(shí)際業(yè)務(wù)流程的客觀映象，用于說(shuō)明系統(tǒng)應(yīng)該“做什么”，而不需要指明系統(tǒng)“如何做”。7．?dāng)?shù)據(jù)流圖的分解速度應(yīng)保持適中。通常一個(gè)加工每次可分解為2~4個(gè)子加工，最多不要超過(guò)七個(gè)，否則會(huì)增加用戶的理解難度。同時(shí)要注意，逐層精化必須適可而止。8．如果為了便于數(shù)據(jù)流圖在計(jì)算機(jī)上的輸入和輸出，應(yīng)免除斜線、弧線、圓等符號(hào)。ZLL數(shù)據(jù)字典數(shù)據(jù)流圖機(jī)制沒(méi)有描述數(shù)據(jù)流的內(nèi)容。數(shù)據(jù)流圖必須與描述并組織數(shù)據(jù)條目的數(shù)據(jù)字典配套使用。數(shù)據(jù)字典中的基本符號(hào)及其含義符號(hào)含義說(shuō)明=表示定義為用于對(duì)=左邊的條目進(jìn)行確切的定義+表示與關(guān)系X=a+b表示X由a和b共同構(gòu)成[|]或[,]表示或關(guān)系X=[a|b]與X=[a,b]的等價(jià)，表示X由a或b組成()表示可選項(xiàng)X=(a)表示a可以在X中出現(xiàn)，也可以不出現(xiàn){}表示重復(fù)大括號(hào)中的內(nèi)容重復(fù)0到多次m{}n表示規(guī)定次數(shù)的重復(fù)重復(fù)的次數(shù)最少m次，最多n次“”表示基本數(shù)據(jù)元素“”中的內(nèi)容是基本數(shù)據(jù)元素，不可再分..連接符Month=1..12表示month可取1~12中的任意值**表示注釋兩個(gè)星號(hào)之間的內(nèi)容為注釋信息ZLL數(shù)據(jù)字典中每一數(shù)據(jù)條目包含的內(nèi)容1．?dāng)?shù)據(jù)流圖中標(biāo)識(shí)數(shù)據(jù)流、數(shù)據(jù)源或外部實(shí)體的名稱與別名；2．?dāng)?shù)據(jù)類型；3．所有以它作為輸入流或輸出流的轉(zhuǎn)換的列表；4．如何使用該數(shù)據(jù)條目的簡(jiǎn)要說(shuō)明；5．?dāng)?shù)據(jù)條目的解釋性說(shuō)明；6．其他補(bǔ)充說(shuō)明，例如取值范圍與缺省值有關(guān)的設(shè)計(jì)約束等。ZLL支持?jǐn)?shù)據(jù)流分析的CASE工具具備數(shù)據(jù)字典管理功能包括：1．一般性檢查。例如：自動(dòng)進(jìn)行重名檢查，可避免數(shù)據(jù)流圖中不一致的數(shù)據(jù)定義。2．可根據(jù)已有的數(shù)據(jù)流圖生成相關(guān)轉(zhuǎn)換的列表。并且，隨著數(shù)據(jù)流圖的進(jìn)化，可自動(dòng)修改該列表，以便數(shù)據(jù)字典和數(shù)據(jù)流圖在任何時(shí)刻都保持一致。3．自動(dòng)完成有關(guān)數(shù)據(jù)條目的各種查詢。例如：該數(shù)據(jù)條目在何處使用？修改某一部分?jǐn)?shù)據(jù)流圖將會(huì)影響哪些數(shù)據(jù)條目？修改某數(shù)據(jù)條目又會(huì)造成哪些影響？這將有助于分析人員在需求模型的進(jìn)化過(guò)程中維持模型的一致性。ZLL數(shù)據(jù)字典數(shù)據(jù)條目的定義必須遵循以下原則：精確、簡(jiǎn)潔，能為用戶方和軟件開(kāi)發(fā)方共同理解。例如，可以使用形式語(yǔ)言中的語(yǔ)法定義機(jī)制描述數(shù)據(jù)條目的內(nèi)容。原子語(yǔ)法成分則用簡(jiǎn)單明了的自然語(yǔ)言予以描述。ZLL數(shù)據(jù)字典舉例家庭保安系統(tǒng)中的“電話號(hào)碼”數(shù)據(jù)條目可以定義如下：＜電話號(hào)碼＞＝＜分機(jī)號(hào)＞|＜外線號(hào)碼＞＜分機(jī)號(hào)＞＝1816|1817|…|1858＜外線號(hào)碼＞＝9+（＜市話號(hào)碼＞|＜長(zhǎng)話號(hào)碼＞）＜長(zhǎng)話號(hào)碼＞＝0+（＜區(qū)號(hào)＞+＜市話號(hào)碼＞）＜區(qū)號(hào)＞＝*任何長(zhǎng)度為3的數(shù)字串*＜市話號(hào)碼＞＝＜局號(hào)＞+＜分局號(hào)＞＜局號(hào)＞＝395|396|397|303|304|305＜分局號(hào)＞＝*任何長(zhǎng)度為4的數(shù)字串*ZLL數(shù)據(jù)流圖與數(shù)據(jù)字典①利用數(shù)據(jù)字典可以對(duì)數(shù)據(jù)流圖中的數(shù)據(jù)流、數(shù)據(jù)源以及外部實(shí)體進(jìn)行描述、組織和管理。②對(duì)于轉(zhuǎn)換，也需要一種比圖形記號(hào)更為詳盡的表示機(jī)制，這就是結(jié)構(gòu)化的文字描述。分析人員可以在數(shù)據(jù)流圖的任一轉(zhuǎn)換上附加一段文字，用以說(shuō)明轉(zhuǎn)換的功能、性能要求及設(shè)計(jì)約束等，這種說(shuō)明應(yīng)盡可能簡(jiǎn)潔、清晰、易于理解。ZLL5.2實(shí)體-關(guān)系圖在數(shù)據(jù)密集型應(yīng)用問(wèn)題中，對(duì)復(fù)雜數(shù)據(jù)及數(shù)據(jù)之間復(fù)雜關(guān)系的分析和建模將成為需求分析的重要任務(wù)。實(shí)體-關(guān)系圖——在數(shù)據(jù)流分析方法中適合于復(fù)雜數(shù)據(jù)建模的工具。5.2.1數(shù)據(jù)對(duì)象、屬性與關(guān)系數(shù)據(jù)對(duì)象：是現(xiàn)實(shí)世界中實(shí)體的數(shù)據(jù)表現(xiàn)；是省略了功能和行為的實(shí)體。數(shù)據(jù)源；數(shù)據(jù)對(duì)象包括：外部實(shí)體的數(shù)據(jù)部分；數(shù)據(jù)流的內(nèi)容。ZLL5.2.1數(shù)據(jù)對(duì)象、屬性與關(guān)系數(shù)據(jù)對(duì)象由其屬性刻畫。通常屬性包括：

1．命名性屬性：對(duì)數(shù)據(jù)對(duì)象的實(shí)例命名，必含有一個(gè)或一組關(guān)鍵屬性，以便唯一標(biāo)識(shí)數(shù)據(jù)對(duì)象的實(shí)例。

2．描述性屬性：對(duì)數(shù)據(jù)對(duì)象實(shí)例的性質(zhì)進(jìn)行刻畫。

3．引用性屬性：將自身與其他數(shù)據(jù)對(duì)象的實(shí)例關(guān)聯(lián)起來(lái)。一般而言，現(xiàn)實(shí)世界中任何給定實(shí)體都具有許多屬性，分析人員應(yīng)當(dāng)并且只能考慮與應(yīng)用問(wèn)題有關(guān)的屬性。例如，在汽車銷售管理問(wèn)題中，汽車的屬性可能有：制造商、型號(hào)、標(biāo)識(shí)碼、車體類型、顏色和買主。ZLL5.2.1數(shù)據(jù)對(duì)象、屬性與關(guān)系應(yīng)用問(wèn)題中的任何數(shù)據(jù)對(duì)象都不是孤立的，它們與其他數(shù)據(jù)對(duì)象一定存在各種形式的關(guān)聯(lián)。例如，在汽車銷售管理問(wèn)題中，“制造商”與“汽車”之間存在“生產(chǎn)”關(guān)系，“購(gòu)車者”與“汽車”之間存在“購(gòu)買”關(guān)系。當(dāng)然，關(guān)系的命名及內(nèi)涵因具體問(wèn)題而異。分析人員必須善于剔除與應(yīng)用問(wèn)題無(wú)關(guān)的關(guān)系?；跀?shù)據(jù)對(duì)象、屬性與關(guān)系，分析人員可以為應(yīng)用問(wèn)題建立數(shù)據(jù)模型。ZLL5.2.1數(shù)據(jù)對(duì)象、屬性與關(guān)系建立數(shù)據(jù)模型的規(guī)范化規(guī)則：確保一致性并消除冗余

1．?dāng)?shù)據(jù)對(duì)象的任何實(shí)例對(duì)每個(gè)屬性必須有且僅有一個(gè)屬性值。

2．屬性是原子數(shù)據(jù)項(xiàng)，不能包含內(nèi)部數(shù)據(jù)結(jié)構(gòu)。

3．如果數(shù)據(jù)對(duì)象的關(guān)鍵屬性多于一個(gè)，那么其他的非關(guān)鍵屬性必須表示整個(gè)數(shù)據(jù)對(duì)象而不是部分關(guān)鍵屬性的特征。

4．所有的非關(guān)鍵屬性必須表示整個(gè)對(duì)象而不是部分屬性的特征。例如，在“汽車”數(shù)據(jù)對(duì)象中增加“經(jīng)銷商”屬性并將其與標(biāo)識(shí)碼一起作為關(guān)鍵屬性。如再添加“經(jīng)銷商地址”屬性就違背了規(guī)則3。因其僅僅是“經(jīng)銷商”的特征，它與汽車的“標(biāo)識(shí)碼”無(wú)關(guān)。例如，在“汽車”數(shù)據(jù)對(duì)象中，增加“油漆名稱”屬性，就違背了規(guī)則4，因?yàn)樗鼉H僅與“顏色”有關(guān)，而不是整個(gè)“汽車”的特征。ZLL5.2.2實(shí)體-關(guān)系圖實(shí)體-關(guān)系（Entity-Relation）圖簡(jiǎn)稱E-R圖，是表示數(shù)據(jù)對(duì)象及其之間關(guān)系的圖形語(yǔ)言機(jī)制。數(shù)據(jù)對(duì)象（實(shí)體）用長(zhǎng)方形、關(guān)系用菱形、屬性用橢圓表示。數(shù)據(jù)對(duì)象之間數(shù)量上的對(duì)應(yīng)關(guān)系的表示如下圖所示：0:11:10:多1:多為了便于區(qū)分，在E-R模型中的實(shí)體、關(guān)系和屬性都應(yīng)在對(duì)應(yīng)的框中寫上各自的名字。ZLL模態(tài):必須模態(tài):可選課程教師教基數(shù):1位教師基數(shù):多門課程如圖所示，實(shí)體“教師”旁有兩條豎線，靠近實(shí)體“教師”的豎線代表了“1位教師”；另一條豎線代表了“必須”由教師來(lái)教課程。另一個(gè)實(shí)體“課程”旁有多分支線和圓圈，多分支線代表了“多”門課程，圓圈代表了“可以教也可以不教”課程。也就是說(shuō)一個(gè)教師可以教多門課程，也可以不教課程；但是，課程必須由教師來(lái)教。5.2.2實(shí)體-關(guān)系圖ZLL實(shí)體-關(guān)系圖實(shí)例制造商生產(chǎn)經(jīng)銷商汽車經(jīng)銷存儲(chǔ)標(biāo)識(shí)碼顏色型號(hào)制造商車體類型買主5.2.2實(shí)體-關(guān)系圖ZLL5.3基于數(shù)據(jù)流的分析方法

5.3.1創(chuàng)建數(shù)據(jù)流模型數(shù)據(jù)流圖是目標(biāo)軟件系統(tǒng)中各個(gè)處理子功能以及它們之間的數(shù)據(jù)流動(dòng)的圖形表示。數(shù)據(jù)流圖的精化過(guò)程實(shí)際上是處理子功能和數(shù)據(jù)流的細(xì)化過(guò)程。隨著這一過(guò)程的進(jìn)行，用戶需求逐步精確化、一致化和完備化。創(chuàng)建用戶需求的數(shù)據(jù)流模型應(yīng)遵循以下5條規(guī)則：1）首先建立頂級(jí)數(shù)據(jù)流圖，其中只含有一個(gè)代表目標(biāo)軟件系統(tǒng)整體處理功能的轉(zhuǎn)換。根據(jù)軟件系統(tǒng)與外部環(huán)境的關(guān)系確定頂級(jí)數(shù)據(jù)流圖中的外部實(shí)體以及它們與軟件系統(tǒng)之間的數(shù)據(jù)流。ZLL“家庭保安系統(tǒng)”頂級(jí)數(shù)據(jù)流圖警報(bào)類別顯示信息電話撥號(hào)音頻傳感數(shù)據(jù)用戶命令家庭保安系統(tǒng)控制面板傳感器顯示器電話機(jī)警報(bào)器ZLL創(chuàng)建數(shù)據(jù)流模型的5條規(guī)則2）對(duì)用戶需求的文字描述進(jìn)行語(yǔ)法分析，其中的名詞和名詞短語(yǔ)構(gòu)成潛在的外部實(shí)體、數(shù)據(jù)源或數(shù)據(jù)流，動(dòng)詞構(gòu)成潛在的處理功能。結(jié)合分析人員對(duì)問(wèn)題域和用戶需求的理解，確定軟件系統(tǒng)的主要功能以及它們之間的數(shù)據(jù)流，產(chǎn)生“家庭保安系統(tǒng)”1級(jí)數(shù)據(jù)流圖如圖5-3-1所示。ZLL“家庭保安系統(tǒng)”1級(jí)數(shù)據(jù)流圖警報(bào)類別電話撥號(hào)音頻傳感信息配置數(shù)據(jù)傳感數(shù)據(jù)配置數(shù)據(jù)原口令口令有效/口令無(wú)效口令配置數(shù)據(jù)配置命令顯示信息啟動(dòng)/停止時(shí)的顯示信息口令有效啟動(dòng)/停止命令用戶命令配置信息控制面板用戶命令處理系統(tǒng)配置口令核對(duì)信息顯示啟動(dòng)/停止處理顯示面板傳感器監(jiān)測(cè)傳感器警報(bào)器電話機(jī)ZLL創(chuàng)建數(shù)據(jù)流模型的5條規(guī)則3）采用通常的功能分解方法，按照“強(qiáng)內(nèi)聚、松耦合”的原則逐個(gè)對(duì)處理功能進(jìn)行精化；與此同時(shí)逐步完成對(duì)數(shù)據(jù)流的精化，并針對(duì)被精化的處理功能生成下一級(jí)數(shù)據(jù)流圖?！皬?qiáng)內(nèi)聚、松耦合”的原則對(duì)于目標(biāo)軟件系統(tǒng)的可修改性、可擴(kuò)充性大有益處，因?yàn)殚_(kāi)發(fā)人員可以縮小軟件修改或擴(kuò)充的影響傳播范圍。對(duì)數(shù)據(jù)流的精化包含兩個(gè)方面的意義。首先，伴隨著功能分解的進(jìn)行，數(shù)據(jù)流的內(nèi)容及各項(xiàng)特征將逐步彰顯，所以要將其作為數(shù)據(jù)字典的一個(gè)條目，并不斷精化、調(diào)整內(nèi)容。其次，在父數(shù)據(jù)流圖中的復(fù)合數(shù)據(jù)項(xiàng)可被分解為子數(shù)據(jù)項(xiàng)，這種數(shù)據(jù)流分解不能違背平衡原則。ZLL“家庭保安系統(tǒng)”2級(jí)數(shù)據(jù)流圖：對(duì)“傳感器監(jiān)測(cè)”的分解傳感器ID,類別傳感數(shù)據(jù)（內(nèi)部表示）傳感數(shù)據(jù)報(bào)警信息電話撥號(hào)音頻配置數(shù)據(jù)報(bào)警類別電話號(hào)碼傳感信息配置信息讀取傳感數(shù)據(jù)生成報(bào)警信號(hào)異常數(shù)據(jù)判別電話撥號(hào)ZLL創(chuàng)建數(shù)據(jù)流模型的5條規(guī)則4）精化過(guò)程中必須維持各級(jí)數(shù)據(jù)流圖之間的數(shù)據(jù)流平衡。5）精化過(guò)程應(yīng)適可而止，避免涉及軟件設(shè)計(jì)細(xì)節(jié)。一般說(shuō)來(lái)，如果某子功能可以用一段簡(jiǎn)潔、精確的文字描述清楚，就無(wú)需進(jìn)一步分解。ZLL5.3.2過(guò)程規(guī)格說(shuō)明對(duì)于數(shù)據(jù)流圖中不再分解的處理功能，分析人員要借助結(jié)構(gòu)化自然語(yǔ)言對(duì)其功能進(jìn)行精確、簡(jiǎn)潔的描述。圖5-3-1中“口令核對(duì)”子功能分解出來(lái)的“設(shè)置口令”子功能可描述如下頁(yè)：ZLL過(guò)程規(guī)格說(shuō)明舉例——“設(shè)置口令”子功能1．參數(shù)：口令；類別：字符串2．處理步驟：

1）檢查系統(tǒng)是否已有口令。若有，則驗(yàn)證用戶輸入口令的有效性。如果有效，則顯示提示信息要求輸入新口令；否則，顯示失敗信息并退出。

2）檢查口令長(zhǎng)度是否合法。如果非法，則顯示提示信息要求重新輸入。

3）要求用戶再次鍵入合法口令，以便用戶確認(rèn)和記憶。如果兩次鍵入的口令不符，則返回。

4）將確認(rèn)后的口令按某種加密方法轉(zhuǎn)換為另一字符串存放于系統(tǒng)配置文件中。顯示成功信息并退出。3．約束條件：在上述1）、2）、3）步驟中，用戶重試的機(jī)會(huì)不超過(guò)3次。ZLL5.4基于數(shù)據(jù)流圖的需求分析CASE工具使用前述方法進(jìn)行需求分析時(shí)，需要計(jì)算機(jī)在數(shù)據(jù)流圖的繪制、數(shù)據(jù)字典的存儲(chǔ)、檢索及一致性檢查等方面提供幫助。本節(jié)給出一個(gè)基于數(shù)據(jù)流圖的需求分析CASE工具的藍(lán)本DFA_Tool。下面就來(lái)介紹使用DFA_Tool進(jìn)行需求分析的方法。ZLL5.4.1DFA_Tool的核心思想DFA_Tool的核心思想可歸納為：多視點(diǎn)需求分析、可視形式化和可執(zhí)行的需求規(guī)格說(shuō)明語(yǔ)言。1．多視點(diǎn)需求分析

DFA_Tool從相互關(guān)聯(lián)的結(jié)構(gòu)、功能和行為三個(gè)方面分別為目標(biāo)軟件系統(tǒng)建立模型。1）在結(jié)構(gòu)視點(diǎn)，分析人員可根據(jù)系統(tǒng)的物理結(jié)構(gòu)或軟件結(jié)構(gòu)（例如，物理構(gòu)件、軟件模塊、任務(wù)等）進(jìn)行層次分解，并標(biāo)識(shí)系統(tǒng)各部分之間的數(shù)據(jù)流，進(jìn)而建立系統(tǒng)的結(jié)構(gòu)圖。ZLL5.4.1DFA_Tool的核心思想2）在功能視點(diǎn)，分析人員利用功能分解方法刻畫系統(tǒng)的活動(dòng)（類似于數(shù)據(jù)流圖中的轉(zhuǎn)換）以及活動(dòng)之間可能出現(xiàn)的數(shù)據(jù)流，以逐層精化的方式建立系統(tǒng)的活動(dòng)圖。與數(shù)據(jù)流圖一樣，DFA_Tool的活動(dòng)圖不包括任何動(dòng)態(tài)性質(zhì)。它既不關(guān)心活動(dòng)是如何啟動(dòng)和終止的，也不關(guān)心活動(dòng)能否與其他活動(dòng)并行執(zhí)行。至于數(shù)據(jù)流，活動(dòng)圖只說(shuō)明它們可以在某些活動(dòng)之間流動(dòng)，并不指明何時(shí)流動(dòng)ZLL5.4.1DFA_Tool的核心思想3）應(yīng)用系統(tǒng)在時(shí)間坐標(biāo)系中的所有控制行為均由行為視點(diǎn)描述。對(duì)于層次結(jié)構(gòu)中的每一級(jí)活動(dòng)圖，均有一個(gè)相應(yīng)的行為圖，它們刻畫系統(tǒng)的動(dòng)態(tài)行為，包括：①由于各時(shí)間點(diǎn)上事件的刺激，某些活動(dòng)被啟動(dòng)或終止，并引發(fā)新的事件；②對(duì)活動(dòng)的活躍情況及數(shù)據(jù)的流動(dòng)情況進(jìn)行連續(xù)監(jiān)測(cè)，據(jù)此決定系統(tǒng)的下一步行為。ZLL5.4.1DFA_Tool的核心思想

系統(tǒng)的活動(dòng)圖（功能視點(diǎn)）和行為圖（行為視點(diǎn)）是緊密耦合的，它們共同構(gòu)成系統(tǒng)的概念模型。結(jié)構(gòu)圖與活動(dòng)圖之間的關(guān)系是簡(jiǎn)單而直接的：結(jié)構(gòu)圖中的某些構(gòu)件負(fù)責(zé)實(shí)現(xiàn)活動(dòng)圖中的某些功能。功能視點(diǎn)數(shù)據(jù)流與功能分解方法行為視點(diǎn)事件驅(qū)動(dòng)與時(shí)序關(guān)系概念模型結(jié)構(gòu)模型物理構(gòu)件及其信息流圖DFA_Tool的模型結(jié)構(gòu)ZLL5.4.1DFA_Tool的核心思想2．可視形式化與文字相比，圖形更為直觀、簡(jiǎn)潔。因此，需求分析活動(dòng)往往離不開(kāi)圖形機(jī)制的支持，例如前述的數(shù)據(jù)流圖。DFA_Tool的結(jié)構(gòu)圖、活動(dòng)圖及狀態(tài)圖均基于一組共同的簡(jiǎn)單圖形記號(hào)，并且都具有形式化語(yǔ)義。因此，DFA_Tool兼?zhèn)淞藞D形的簡(jiǎn)單直