面向?qū)ο笤O(shè)計(jì)UML實(shí)踐課后習(xí)題答案

1、第二章2.12.2下圖使用對(duì)象名稱的代碼中的變量的名稱。雖然這可能是澄清當(dāng)前的例子中，它運(yùn)行對(duì)象名和變量名的兩個(gè)截然不同的概念混淆的風(fēng)險(xiǎn)。這是有潛在危險(xiǎn)的環(huán)境中，對(duì)象被重新分配到不同的變量。此圖說明了不同的數(shù)字可以存在一個(gè)目錄條目：零個(gè)，一個(gè)或多個(gè)部分對(duì)象。除了裝配對(duì)象，此圖中的所有對(duì)象已經(jīng)出現(xiàn)答案（一）部分?？蛻魧?duì)象已加入在這個(gè)圖中所示，發(fā)送到組件的初始投資成本信息。2.3（a）數(shù)據(jù)重復(fù)，每個(gè)零件只能指向一個(gè)目錄條目2.42.7第八章8.1（a）“INSTANCEOF”定型只來作說明。一個(gè)事實(shí)，即對(duì)象的位置類的實(shí)例已經(jīng)顯示在標(biāo)簽中的每個(gè)對(duì)象。（b）我們假定該計(jì)數(shù)器保持一個(gè)整數(shù)值，它被初始化為

2、零。 “設(shè)置”和“復(fù)位”具有相同的效果，所以被建模為一個(gè)單一的操作，“setToZero”。（c）一個(gè)枚舉用于指定開關(guān)的可能狀態(tài)。在這種特定的情況下，一個(gè)布爾狀態(tài)變量可以被使用，但定義一個(gè)枚舉，提供了更大的范圍擴(kuò)展。另外，由于該類接口，可以指定不指定記錄的狀態(tài)如何。（d）許多“多重屬性，用于記錄亮著的燈組，使用圖8.3所示的顏色枚舉。 OCL收集文字符號(hào)已被用來顯示此屬性的值對(duì)象圖標(biāo)。8.2(a) 租借出去，一個(gè)人可以擁有零個(gè)或更多的書籍，每本書可以借由在任何給定的時(shí)間最多只有一個(gè)人。(b) 一個(gè)人可以有讀了許多書，每本書的很多人可能已經(jīng)被讀出。 (c) 一塊只能在同一時(shí)間占據(jù)一個(gè)方塊，如果它

3、已被捕獲，它不占用廣場。每平方可以最多有一個(gè)一塊就可以了。如果目的是只模擬棋盤上的棋子，在這種關(guān)聯(lián)的右側(cè)的多樣性應(yīng)該是剛好1。(d) 下面的多重性是指在一個(gè)給定的時(shí)間內(nèi)誰是已婚的人，假設(shè)沒有一夫多妻或一妻多夫。的配偶關(guān)系是對(duì)稱的，它可以簡單地被標(biāo)記關(guān)聯(lián)的名稱。 (e) 一個(gè)人可以擁有零個(gè)或更多的孩子，但每個(gè)人都有正好有兩個(gè)（生物）的父母。這種關(guān)系是不是對(duì)稱的，因此增加角色的名字，使預(yù)期的詮釋更清晰。8.58.16第九章9.19.7第十章10.1110.15第十二章12.1任何對(duì)象的客戶對(duì)象鏈接到兩個(gè)SavingsAccount和DepositAccount'的實(shí)例圖，其中，將違反XOR

4、約束。最簡單的例如圖如下所示。12.2任何對(duì)象圖所示，其中一人作為主席的一個(gè)委員會(huì)，他們不是會(huì)員將違反子集約束。這一個(gè)簡單的示意圖如下圖所示。這是假設(shè)，有沒有的memberOf person對(duì)象之間的聯(lián)系及委員會(huì)'A'，在圖上沒有顯示。12.4 context Customer inv:    savingsAccount->size() = 0 or depositAccount->size() = 0 異或約束可以用以下約束形式表示 context C inv:    d->s

5、ize() = 0 or e->size() = 0 12.812.9 context Employee inv:    not manager->isEmpty() implies self.department = manager.department context Person inv:    manager->forAll(e | e.contract.grade.salary > self.contract.grade.salary) context Department inv:    staff->exists(e | e.contract.grade.salary > 100000) 12.10 表達(dá)式左邊是個(gè)體，右邊是聚集 context Person inv:    not self.manager->includes(self) 12.11.context Customer inv:    account->forAll(a | a.balance > 100) 第十三章13.113.413.