軟件工程靜態(tài)建模

昆明理工大學(xué)信息工程與自動化學(xué)院學(xué)生實驗報告（2013—2014學(xué)年第二學(xué)期）課程名稱：軟件工程開課實驗室： 20年月日年級專業(yè)班實驗項目名稱學(xué)號 姓名靜態(tài)建模：小區(qū)物業(yè)管理系統(tǒng)年級專業(yè)班實驗項目名稱學(xué)號 姓名靜態(tài)建模：小區(qū)物業(yè)管理系統(tǒng)成績指導(dǎo)教師該同學(xué)是否了解實驗原理：A.了解口B.基本了解口C.不了解口該同學(xué)的實驗?zāi)芰Γ篈.強口B.中等 口C.差 口該同學(xué)的實驗是否達到要求：A.達到口B.基本達到口C.未達到口實驗報告是否規(guī)范：A.規(guī)范口B.基本規(guī)范口C.不規(guī)范口實驗過程是否詳細記錄：A.詳細口B.一般 口C.沒有口教師簽名：年月日一、 上機目的熟悉PowerDesigner的使用及其相關(guān)界面功能。利用PowerDesigner對小區(qū)物業(yè)管理系統(tǒng)進行靜態(tài)建模（類圖）。二、 實驗環(huán)境PC一臺，windowsXP系統(tǒng)，以及PowerDesigner軟件三、 上機步驟打開PowerDesigner軟件，選擇ClassDiagram建模的模型選項。利用工具欄里面的工具畫出類圖。（1）首先根據(jù)用例圖找出所有名詞，包括角色，沒有特殊意義的名詞可以不用考慮，如用例圖中的現(xiàn)金、卡和銀行pos系統(tǒng)。找到的名詞如下：系統(tǒng)管理員、收費員、抄表員、經(jīng)理、業(yè)主、房產(chǎn)信息。還有一些名詞可以在保存結(jié)果中列出。（2）找出用例圖中需要保存的信息，有抄表數(shù)據(jù)、收費記錄、收費標(biāo)準(zhǔn)、催繳信息。11.3類清單"容稱"代碼"產(chǎn)生Q可見性「抽象Q類的類型業(yè)主Q業(yè)主QTRUEPpublicJFALSERClassi催繳信息"催繳信息"TRUE^publicJFALSERClass*3房產(chǎn)信息，房產(chǎn)信息，TRUE^publicJFALSERClass*3抄表員*抄表員*TRUE^publicJFALSERClassi抄表數(shù)據(jù)"抄表數(shù)據(jù)"TRUEppublicJFALSERClassi收費員Q收費員"TRUE^publicJFALSERClassi收費標(biāo)準(zhǔn)Q收費標(biāo)準(zhǔn)QTRUEppublicJFALSERClassi收費記錄"收費記錄"TRUE^publicJFALSERClass*3系統(tǒng)管理員＞系統(tǒng)管理員*TRUE^publicJFALSERClassi經(jīng)理*經(jīng)理*TRUE^publicJFALSERClassi（3）對于上述兩個步驟，每個名詞和保存結(jié)果都是一個類。對每個類進行編輯，列出每個類的相關(guān)屬性和它具有的操作。確定類與類之間的關(guān)系，一般情況下都是關(guān)聯(lián)關(guān)系。但不排除有其他特殊關(guān)系。主要有以下三種：（1） 泛化：指出了類之間一般-特殊關(guān)系，是更一般描述與更特殊描述之間的一種分類學(xué)關(guān)系，特殊描述建立在一般描述的基礎(chǔ)之上，并對它進行擴展。（2） 實現(xiàn)：實現(xiàn)關(guān)系講一個模型元素（如類）連接到另一個模型元素（如接口），后者（如接口）是行為的規(guī)約，而不是結(jié)構(gòu)，前者（如類）必須至少支持（通過繼承或直接申明）后者的所有操作?？梢哉J為前者是后者的實現(xiàn)。（3） 依賴：依賴指出兩個或多個模型元素之間語義上的關(guān)系，表示被依賴元素的變化會要求或只是依賴元素的改變。在這些類中，系統(tǒng)管理員只和房產(chǎn)信心與業(yè)主有關(guān)聯(lián)；業(yè)主和經(jīng)理、催繳信息、收費記錄有關(guān)聯(lián)；收費員和催繳信息、收費標(biāo)準(zhǔn)、收費記錄、經(jīng)理有關(guān)聯(lián)；抄表員和經(jīng)理、抄表數(shù)據(jù)有關(guān)聯(lián)；經(jīng)理和業(yè)主、收費員、抄表員有關(guān)聯(lián)。把這些有關(guān)聯(lián)的類之間用關(guān)聯(lián)的線連起來，就

是該小區(qū)物業(yè)管理系統(tǒng)的類圖。四、 實驗結(jié)果0..*系統(tǒng)管理員管理員編號：管理員姓名：管理員電話：chinin0..1 催繳信息+業(yè)主姓名：char+業(yè)主住址：char#業(yè)主電話：int+欠費金額：int 收費標(biāo)準(zhǔn)+表數(shù)據(jù)范圍：0..*系統(tǒng)管理員管理員編號：管理員姓名：管理員電話：chinin0..1 催繳信息+業(yè)主姓名：char+業(yè)主住址：char#業(yè)主電話：int+欠費金額：int 收費標(biāo)準(zhǔn)+表數(shù)據(jù)范圍：Float+收費單價：Float 收費記錄+業(yè)主姓名：char+業(yè)主住址：char+業(yè)主電話：int+繳費金額：Float0..*0..10..*0..10..*0..*0..10..* 房產(chǎn)信息+房產(chǎn)編號：int+地址 ：char+面積 ：Float+業(yè)主姓名：char#聯(lián)系電話：int業(yè)主+姓名：char#電話：int+地址：char查詢欠繳費信息():int++繳費()0..*0..10..10..1 收費員+編號：int+姓名：char+電話：int收費()調(diào)整收費標(biāo)準(zhǔn)()…八:int:int0..* 經(jīng)理+姓名：char+電話：int■+查詢分析欠繳費()：int 0..10..*0..1V 抄表員+編號：int+姓名：char+電話：int+抄取錄入電表讀數(shù)():int+抄取錄入水表讀數(shù)():int0..1——>0..*+編號:int+抄表日期:Date+電表讀數(shù):Float+水表讀數(shù):Float抄表人姓名:char—抄表數(shù)據(jù)五、 實驗總結(jié)對于靜態(tài)建模，最重要的是把系統(tǒng)中的類全部找到，首先要找出包括角色在內(nèi)的所有名詞，之后找出需要保存的結(jié)果。然后進行分析，刪除重復(fù)的名詞或結(jié)果，還有就是沒有實際意義的名詞或結(jié)果。剩下的每一個詞就是一個