【正文】 則當且僅當事件發(fā)生且布爾表達式為真時，狀態(tài)轉(zhuǎn)換才發(fā)生。 事件表達式的語法如下： 事件說明［守衛(wèi)條件］／動作表達式 其中， 事件說明的語法為：事件名 (參數(shù)表 )。 狀態(tài)圖中兩個狀態(tài)之間帶箭頭的連線稱為狀態(tài)轉(zhuǎn)換，箭頭指明了轉(zhuǎn)換方向。需要時可以為事件指定參數(shù)表。在活動表中經(jīng)常使用下述 3種標準事件： entry， exit和 do。上面部分為狀態(tài)的名稱，這部分是必須有的；中間部分為狀態(tài)變量的名字和值，這部分是可選的；下面部分是活動表，這部分也是可選的。 事件 在狀態(tài)圖中，初態(tài)用實心圓表示，終態(tài)用一對同心圓 (內(nèi)圓為實心圓 )表示。例如，內(nèi)部時鐘表明某個規(guī)定的時間段已經(jīng)過去，用戶移動或點擊鼠標等都是事件。當描繪單程生命期時，需要標明初始狀態(tài) (系統(tǒng)啟動時進入初始狀態(tài) )和最終狀態(tài) (系統(tǒng)運行結(jié)束時到達最終狀態(tài) )。 狀態(tài) 狀態(tài)圖既可以表示系統(tǒng)循環(huán)運行過程，也可以表示系統(tǒng)單程生命期。 在狀態(tài)圖中定義的狀態(tài)主要有：初態(tài) (即初始狀態(tài) )、終態(tài) (即最終狀態(tài) )和中間狀態(tài)。狀態(tài)規(guī)定了系統(tǒng)對事件的響應(yīng)方式。因此，狀態(tài)圖提供了行為建模機制，可以滿足第 3條分析準則的要求。狀態(tài)轉(zhuǎn)換圖 (簡稱為狀態(tài)圖 )通過描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件，來表示系統(tǒng)的行為。 (3) 第三范式符合第二范式的條件，每個非關(guān)鍵字屬性都僅由關(guān)鍵字決定，而且一個非關(guān)鍵字屬性不能僅僅是對另一個非關(guān)鍵字屬性的進一步描述 (即一個非關(guān)鍵字屬性值不依賴于另一個非關(guān)鍵字屬性值 )。下面給出第一、第二和第三范式的定義： (1) 第一范式每個屬性值都必須是原子值，即僅僅是一個簡單值而不含內(nèi)部結(jié)構(gòu)。 通常按照屬性間的依賴情況區(qū)分規(guī)范化的程度。第三，范式級別提高則需要訪問的表增多，因此性能 (速度 )將下降。但是，范式級別越高，存儲同樣數(shù)據(jù)就需要分解成更多張表，因此， “ 存儲自身 ” 的過程也就越復(fù)雜。 數(shù)據(jù)規(guī)范化 通常用 “ 范式 (normal forms)”定義消除數(shù)據(jù)冗余的程度。此外， ER模型使用簡單的圖形符號表達系統(tǒng)分析員對問題域的理解，不熟悉計算機技術(shù)的用戶也能理解它，因此， ER模型可以作為用戶與分析員之間有效的交流工具。例如，圖 的 ER圖?？梢园褜嶓w 聯(lián)系圖簡稱為 ER圖，相應(yīng)地可把用 ER圖描繪的數(shù)據(jù)模型稱為 ER模型。由于 “ 成績 ” 既依賴于某名特定的學(xué)生又依賴于某門特定的課程，所以它是學(xué)生與課程之間的聯(lián)系“ 學(xué) ” 的屬性 (見圖 )。 聯(lián)系也可能有屬性。 (2) 一對多聯(lián)系 (1∶ N) 例如，某校教師與課程之間存在一對多的聯(lián)系“ 教 ” ，即每位教師可以教多門課程，但是每門課程只能由一位教師來教 (見圖 )。 屬性 數(shù)據(jù)對象彼此之間相互連接的方式稱為聯(lián)系，也稱為關(guān)系。必須把一個或多個屬性定義為 “ 標識符 ” ，也就是說，當我們希望找到數(shù)據(jù)對象的一個實例時，用標識符屬性作為 “ 關(guān)鍵字 ” (通常簡稱為 “ 鍵 ” )。 數(shù)據(jù)對象只封裝了數(shù)據(jù)而沒有對施加于數(shù)據(jù)上的操作的引用，這是數(shù)據(jù)對象與面向?qū)ο蠓缎?(參見本書第 9章 )中的 “ 類 ” 或 “ 對象 ” 的顯著區(qū)別?？傊梢杂梢唤M屬性來定義的實體都可以被認為是數(shù)據(jù)對象。所謂復(fù)合信息是指具有一系列不同性質(zhì)或?qū)傩缘氖挛?，僅有單個值的事物 (例如，寬度 )不是數(shù)據(jù)對象。 數(shù)據(jù)模型中包含 3種相互關(guān)聯(lián)的信息：數(shù)據(jù)對象、數(shù)據(jù)對象的屬性及數(shù)據(jù)對象彼此間相互連接的關(guān)系。概念性數(shù)據(jù)模型是一種面向問題的數(shù)據(jù)模型，是按照用戶的觀點對數(shù)據(jù)建立的模型。 軟件需求規(guī)格說明 為了消除用自然語言書寫的軟件需求規(guī)格說明書中可能存在的不一致、歧義、含糊、不完整及抽象層次混亂等問題，有些人主張用形式化方法描述用戶對軟件系統(tǒng)的需求，第 4章將簡要地介紹形式化說明技術(shù)。 通常用自然語言完整、準確、具體地描述系統(tǒng)的數(shù)據(jù)要求、功能需求、性能需求、可靠性和可用性要求、出錯處理需求、接口需求、約束、逆向需求以及將來可能提出的要求。狀態(tài)轉(zhuǎn)換圖是行為建模的基礎(chǔ)。 (簡稱為狀態(tài)圖 )，指明了作為外部事件結(jié)果的系統(tǒng)行為。 聯(lián)系圖，描繪數(shù)據(jù)對象及數(shù)據(jù)對象之間的關(guān)系，是用于建立數(shù)據(jù)模型的圖形。為了開發(fā)出復(fù)雜的軟件系統(tǒng)，系統(tǒng)分析員應(yīng)該從不同角度抽象出目標系統(tǒng)的特性，使用精確的表示方法構(gòu)造系統(tǒng)的模型，驗證模型是否滿足用戶對目標系統(tǒng)的需求，并在設(shè)計過程中逐漸把和實現(xiàn)有關(guān)的細節(jié)加進模型中，直至最終用程序?qū)崿F(xiàn)模型。通常，模型由一組圖形符號和組織這些符號的規(guī)則組成。 為了更好地理解復(fù)雜事物，人們常常采用建立事物模型的方法。 (3) 形式化規(guī)格說明和原型環(huán)境 在過去的 20多年中，人們已經(jīng)研究出許多形式化規(guī)格說明語言和工具 (參見第 4章 )，用于替代自然語言規(guī)格說明技術(shù)。必須把軟件構(gòu)件設(shè)計成能在不知其內(nèi)部工作細節(jié)的條件下重用。 (2) 可重用的軟件構(gòu)件 另外一種快速構(gòu)建原型的方法，是使用一組已有的軟件構(gòu)件 (也稱為組件 )來裝配 (而不是從頭構(gòu)造 )原型。 為了快速地構(gòu)建和修改原型，通常使用下述 3種方法和工具： (1) 第四代技術(shù) 第四代技術(shù)包括眾多數(shù)據(jù)庫查詢和報表語言、程序和應(yīng)用系統(tǒng)生成器以及其他非常高級的非過程語言。如果原型的第一版不是用戶所需要的，就必須根據(jù)用戶的意見迅速地修改它，構(gòu)建出原型的第二版，以更好地滿足用戶需求。因此，原型的某些缺陷是可以忽略的，只要這些缺陷不嚴重地損害原型的功能，不會使用戶對產(chǎn)品的行為產(chǎn)生誤解，就不必管它們。 快速建立軟件原型 快速原型應(yīng)該具備的第一個特性是 “ 快速 ” ?？焖僭途褪强焖俳⑵饋淼闹荚谘菔灸繕讼到y(tǒng)主要功能的可運行的程序。 簡易的應(yīng)用規(guī)格說明技術(shù)并不是解決需求分析階段遇到的所有問題的 “ 萬能靈藥 ” ，但是，這種面向團隊的需求收集方法確實有許多突出優(yōu)點：開發(fā)者與用戶不分彼此，齊心協(xié)力，密切合作；即時討論并求精；有能導(dǎo)出規(guī)格說明的具體步驟。 在完成了小型規(guī)格說明之后，每個與會者都制定出產(chǎn)品的一整套確認標準，并把自己制定的標準提交會議討論，以創(chuàng)建出意見一致的確認標準。 然后，每個小組都向全體與會者展示他們制定的小型規(guī)格說明，供大家討論。 一旦得出了意見一致的列表，就把與會者分成更小的小組，每個小組的工作目標是為每張列表中的項目制定小型規(guī)格說明。組合列表將被縮短、加長或重新措辭，以便更準確地描述將被開發(fā)的產(chǎn)品。在組合列表中消去了冗余項，加入了在展示過程中產(chǎn)生的新想法，但是并不刪除任何實質(zhì)性內(nèi)容。在這個階段，嚴格禁止批評與爭論?？梢园堰@些列表抄寫在大紙上釘在墻上，或者寫在白板上掛在墻上。并不期望每位與會者列出的內(nèi)容都是毫無遺漏的，但是，希望能準確地表達出每個人對目標系統(tǒng)的認識。此外，還要求每位與會者列出操作這些對象或與這些對象交互的服務(wù) (即處理或功能 )。邀請開發(fā)者和用戶雙方組織的代表出席會議，并在開會前預(yù)先把寫好的產(chǎn)品需求分發(fā)給每位與會者。然后開發(fā)者和用戶分別寫出 “ 產(chǎn)品需求 ” 。今天，簡易的應(yīng)用規(guī)格說明技術(shù)已經(jīng)成為信息系統(tǒng)領(lǐng)域使用的主流技術(shù)。 為了解決上述問題，人們研究出一種面向團隊的需求收集法，稱為簡易的應(yīng)用規(guī)格說明技術(shù)。 圖 面向數(shù)據(jù)流自頂向下求精過程 使用傳統(tǒng)的訪談或面向數(shù)據(jù)流自頂向下求精方法定義需求時，用戶處于被動地位而且往往有意無意地與開發(fā)者區(qū)分 “ 彼此 ” 。隨著分析過程的進展，經(jīng)過問題和解答的反復(fù)循環(huán)，分析員越來越深入具體地定義了目標系統(tǒng)，最終得到對系統(tǒng)數(shù)據(jù)和功能要求的滿意了解。 對數(shù)據(jù)流圖細化之后得到一組新的數(shù)據(jù)流圖，不同的系統(tǒng)元素之間的關(guān)系變得更清楚了。為了追蹤更詳細的數(shù)據(jù)流，分析員應(yīng)該把數(shù)據(jù)流