建立動(dòng)態(tài)模型-狀態(tài)圖課件

軟件工程導(dǎo)論災(zāi)害信息工程系復(fù)習(xí)對(duì)象模型表示靜態(tài)的、結(jié)構(gòu)化的系統(tǒng)的“數(shù)據(jù)”性質(zhì)。通常，使用UML提供的類圖建立對(duì)象模型。類圖的繪制：類的表示和類與類之間的關(guān)系。創(chuàng)建對(duì)象模型的步驟：確定類與對(duì)象確定類間的關(guān)系劃分主題確定屬性和方法優(yōu)化迭代（識(shí)別繼承關(guān)系），反復(fù)修改建立對(duì)象模型練習(xí)根據(jù)描述建立軟件公司的對(duì)象模型，即畫出類圖。問題陳述如下：一個(gè)軟件公司有許多部門，分為開發(fā)部門和管理部門兩種。每個(gè)部門由部門名字唯一確定。每個(gè)開發(fā)部門開發(fā)多個(gè)軟件產(chǎn)品，每個(gè)軟件產(chǎn)品都由程序、數(shù)據(jù)和文檔組成。該公司有許多員工，分為經(jīng)理、工作人員和開發(fā)人員。開發(fā)部門有經(jīng)理和多個(gè)開發(fā)人員，管理部門有經(jīng)理和多個(gè)工作人員。每個(gè)開發(fā)人員可參加多個(gè)開發(fā)項(xiàng)目，每個(gè)開發(fā)項(xiàng)目需要多個(gè)開發(fā)人員。每位經(jīng)理可主持多個(gè)開發(fā)項(xiàng)目。本節(jié)課內(nèi)容第九章面向?qū)ο蠓椒▽W(xué)引論

9.5、動(dòng)態(tài)模型第十章面向?qū)ο蠓治?0.1、面向?qū)ο蠓治龅幕具^程10.2、需求陳述10.3、建立對(duì)象模型10.4、建立動(dòng)態(tài)模型10.5、建立功能模型10.6、定義服務(wù)動(dòng)態(tài)模型動(dòng)態(tài)模型表示瞬時(shí)的、行為化的系統(tǒng)的“控制”性質(zhì)，它規(guī)定了對(duì)象模型中的對(duì)象的合法變化序列。對(duì)于一個(gè)對(duì)象來說，在其生命周期的每個(gè)特定階段中，都有適合該對(duì)象的一組運(yùn)行規(guī)律和行為規(guī)則，用以規(guī)范該對(duì)象的行為。狀態(tài)：是對(duì)對(duì)象屬性值的一種抽象。各對(duì)象之間相互觸發(fā)（即作用）就形成了一系列的狀態(tài)變化。一個(gè)觸發(fā)行為稱作一個(gè)事件。一個(gè)事件分開兩個(gè)狀態(tài)，一個(gè)狀態(tài)隔開兩個(gè)事件。事件表示時(shí)刻，狀態(tài)代表時(shí)間間隔。這就是對(duì)象的狀態(tài)。動(dòng)態(tài)模型通常，使用UML提供的狀態(tài)圖來描繪對(duì)象的狀態(tài)、觸發(fā)狀態(tài)轉(zhuǎn)換的事件以及對(duì)象的行為（對(duì)事件的響應(yīng)）。每個(gè)類的動(dòng)態(tài)行為用一張狀態(tài)圖來描繪，各個(gè)類的狀態(tài)圖通過共享事件合并起來，從而構(gòu)成系統(tǒng)的動(dòng)態(tài)模型。動(dòng)態(tài)模型是基于事件共享而互相關(guān)聯(lián)的一組狀態(tài)圖的集合。狀態(tài)圖通過建立類對(duì)象的生命周期模型來描述對(duì)象隨時(shí)間變化的動(dòng)態(tài)行為。狀態(tài)圖狀態(tài)圖適用于描述狀態(tài)和動(dòng)作的順序，不僅可以展現(xiàn)一個(gè)對(duì)象擁有的狀態(tài)，還可以說明事件如何隨著時(shí)間的推移來影響這些狀態(tài)。狀態(tài)圖表現(xiàn)從一個(gè)狀態(tài)到另一個(gè)狀態(tài)的控制流。一般情況下，狀態(tài)圖可以由表示狀態(tài)的節(jié)點(diǎn)和表示狀態(tài)之間轉(zhuǎn)換的帶箭頭的直線刻畫出來。狀態(tài)圖主要由元素狀態(tài)、轉(zhuǎn)換、初始狀態(tài)、終止?fàn)顟B(tài)和判定等組成。狀態(tài)圖轉(zhuǎn)換：用帶箭頭的直線表示，一端連接源狀態(tài)即轉(zhuǎn)出的狀態(tài)，箭頭一端連接目標(biāo)狀態(tài)即轉(zhuǎn)入的狀態(tài)。轉(zhuǎn)換可以標(biāo)注與此轉(zhuǎn)換相關(guān)的選項(xiàng)如事件、動(dòng)作和監(jiān)護(hù)條件。狀態(tài)圖判定：用來表示一個(gè)事件依據(jù)不同的監(jiān)護(hù)條件產(chǎn)生不同的影響，即工作流在此處按監(jiān)護(hù)條件的取值而發(fā)生分支。判定用空心小菱形表示。因?yàn)楸O(jiān)護(hù)條件為布爾表達(dá)式，所以通常條件下的判定只有一個(gè)入轉(zhuǎn)換和兩個(gè)出轉(zhuǎn)換。根據(jù)監(jiān)護(hù)條件的真假可以觸發(fā)不同的分支轉(zhuǎn)換。狀態(tài)圖練習(xí)1：圖書館中圖書的狀態(tài)描述如下：當(dāng)圖書被購(gòu)置進(jìn)來后，就放在圖書館中；如果讀者將圖書借走時(shí)，處于已借出狀態(tài)；如果圖書被歸還，圖書對(duì)象又變?yōu)樵趫D書館狀態(tài)。圖書館如果將圖書廢棄，則圖書對(duì)象就不再存在。試畫出圖書對(duì)象的狀態(tài)圖。狀態(tài)圖練習(xí)2：在溫室管理系統(tǒng)中，有一個(gè)環(huán)境控制器類，當(dāng)沒有種植作物時(shí)處于空閑狀態(tài)。一旦種上了作物，就要進(jìn)行溫度控制，定義氣候，即在什么時(shí)期應(yīng)達(dá)到什么溫度。當(dāng)處于夜晚時(shí)，由于溫度下降，要調(diào)用調(diào)節(jié)溫度過程，以便保持溫度；太陽出來時(shí)，進(jìn)入白天狀態(tài)，由于溫度升高，要調(diào)用調(diào)節(jié)溫度過程，保持要求的溫度。當(dāng)日落時(shí)，進(jìn)入夜晚狀態(tài)。當(dāng)作物收獲，終止氣候的控制，則進(jìn)入空閑狀態(tài)。建立環(huán)境控制器類的狀態(tài)圖。狀態(tài)圖練習(xí)3：當(dāng)有新同學(xué)入學(xué)時(shí)，將會(huì)給新同學(xué)創(chuàng)建一個(gè)新的賬號(hào)，新同學(xué)可以用這個(gè)賬號(hào)去選課。一般來說，每個(gè)人的選課數(shù)目是有限的，如選擇6門課程后將不能再選課。如果已經(jīng)選了6門課程還要再選課，就必須刪除已選的課程。直到這位同學(xué)畢業(yè)，將其賬號(hào)刪除。請(qǐng)創(chuàng)建學(xué)生賬號(hào)類的狀態(tài)圖。狀態(tài)圖練習(xí)4：請(qǐng)創(chuàng)建一個(gè)狀態(tài)圖來描述航班如何從提出申請(qǐng)、指定航班計(jì)劃、售票、起飛、飛行到著陸的狀態(tài)過程。建立動(dòng)態(tài)模型在開發(fā)交互式系統(tǒng)時(shí)，動(dòng)態(tài)模型起著重要作用。建立動(dòng)態(tài)模型的步驟：編寫典型交互行為腳本。必須保證腳本中不遺漏常見的交互行為從腳本中提取出事物，確定觸發(fā)每個(gè)事件的動(dòng)作對(duì)象以及接受事件的目標(biāo)對(duì)象。排列事件發(fā)生的次序，確定每個(gè)對(duì)象可能有的狀態(tài)以及狀態(tài)間的轉(zhuǎn)換關(guān)系，并用狀態(tài)圖描繪出來。比較各個(gè)對(duì)象的狀態(tài)圖，檢查它們之間的一致性，確保事件之間的匹配。建立動(dòng)態(tài)模型第四步：畫狀態(tài)圖通常，用一張狀態(tài)圖描繪一類對(duì)象的行為，它確定了由事件序列引出的狀態(tài)序列。建立動(dòng)態(tài)模型根據(jù)一張事件跟蹤圖畫出狀態(tài)圖之后，再把其他腳本的事件跟蹤圖合并到已畫出的狀態(tài)圖中?？紤]完正常事件之后再考慮邊界情況和特殊情況，其中包括在不適當(dāng)時(shí)候發(fā)生的事件(例如，系統(tǒng)正在處理某個(gè)事務(wù)時(shí)，用戶要求取消該事務(wù))。建立動(dòng)態(tài)模型建立動(dòng)態(tài)模型分行類狀態(tài)圖定義服務(wù)對(duì)象是由描述屬性的數(shù)據(jù)，以及可以對(duì)這些數(shù)據(jù)施加的操作(即服務(wù))，封裝在一起構(gòu)成的獨(dú)立單元。為了建立完整的對(duì)象模型，既要確定類中應(yīng)該定義的屬性，又要確定類中應(yīng)該定義的服務(wù)。通常需要等到建立了動(dòng)態(tài)模型和功能模型之后，才能最終確定類中應(yīng)有的服務(wù)，因?yàn)檫@兩個(gè)模型更明確地描述了每個(gè)類應(yīng)該提供哪些服務(wù)。定義服務(wù)的方法：常規(guī)行為從事件導(dǎo)出的操作與數(shù)據(jù)流圖中處理框?qū)?yīng)的操作利用繼承減少冗余操作類中定義的每個(gè)屬性都是可以訪問的，則可在每個(gè)類中定義讀、寫該類每個(gè)屬性的操作。狀態(tài)圖中發(fā)往對(duì)象的事件也就是該對(duì)象接收到的消息，因此該對(duì)象必須有由消息選擇符指定的操作，這個(gè)操作修改對(duì)象狀態(tài)（即屬性值）并啟動(dòng)相應(yīng)的服務(wù)。數(shù)據(jù)流圖中的每個(gè)處理框都與一個(gè)對(duì)象（也可能是若干個(gè)對(duì)象）上的操作相對(duì)應(yīng)。利用繼承機(jī)制以減少所需定義的服務(wù)數(shù)目。抽取出相似類的公共屬性和操作，以建立這些類的新父類，并在類等級(jí)的不同層次中正確地定義各個(gè)服務(wù)。OMT與UML區(qū)別總結(jié)創(chuàng)建動(dòng)態(tài)模型的步驟：編寫典型交