本節(jié)繼續(xù)向大家介紹UML建模工具方面的知識(shí)，本節(jié)主要包括UML狀態(tài)圖，體系結(jié)構(gòu)和接口，用例和狀態(tài)空間等內(nèi)容，歡迎大家一起來(lái)學(xué)習(xí)UML建模工具，希望本節(jié)的介紹對(duì)你學(xué)習(xí)UML有所幫助。

1．狀態(tài)圖

屬性建模：

屬性擁有很少的值，屬性在這些值之間的轉(zhuǎn)換上有一定的限制。實(shí)例屬性具有上面列出的兩個(gè)特性，并且它的值反映了他的本身對(duì)象的自然狀態(tài)，則稱這個(gè)屬性為狀態(tài)屬性（stateattribute）。狀態(tài)屬性時(shí)表示對(duì)象狀態(tài)的機(jī)制。
畫的僅僅是那種類，它在系統(tǒng)的上下文內(nèi)具有很強(qiáng)的動(dòng)態(tài)行為
先找出這種類，然后列出它的狀態(tài)，再畫。
基本狀態(tài)圖，嵌套狀態(tài)，并發(fā)狀態(tài)和同步，消息結(jié)果參數(shù)的瞬時(shí)狀態(tài)，連續(xù)的、可變的屬性
Mealy約定：所描述的UML狀態(tài)圖是與轉(zhuǎn)換相關(guān)的。
Moore約定：所描述的UML狀態(tài)圖是與狀態(tài)相關(guān)的。

2．體系結(jié)構(gòu)和接口

UML建模工具中的體系結(jié)構(gòu)包括軟件體系結(jié)構(gòu)，硬件體系結(jié)構(gòu)，軟件體系結(jié)構(gòu)與硬件體系結(jié)構(gòu)的相互影響
窗口布局圖，描述每個(gè)窗口的特性。窗口導(dǎo)航圖，描述窗口間的轉(zhuǎn)換，這將構(gòu)成特定應(yīng)用的導(dǎo)航路徑。
窗口導(dǎo)航圖的目的是表示用戶如何按照主流的應(yīng)用導(dǎo)航路徑從一個(gè)窗口切換到另一個(gè)窗口。通常，一張窗口圖顯示的是一個(gè)使用案例的人機(jī)交互路徑。
導(dǎo)航圖是一個(gè)簡(jiǎn)單易懂的屏幕轉(zhuǎn)換圖，它自身就是狀態(tài)圖結(jié)構(gòu)的變體。

UUML建模工具為描述系統(tǒng)體系結(jié)構(gòu)的軟件和硬件構(gòu)成，提供了兩種附加圖：

包圖(packagediagram)：它描述的是純軟件元素的分組。包圖對(duì)于實(shí)現(xiàn)軟件的高層結(jié)構(gòu)建模是很有價(jià)值的。

配置圖：描述的是系統(tǒng)實(shí)現(xiàn)的技術(shù)單元。配置圖也可以描述軟件怎樣被分布在選定的技術(shù)單元上，利用表示純物理技術(shù)（處理器）的配置圖，添加軟件組件和它們間的互連關(guān)系。

3．用UML建模工具對(duì)結(jié)構(gòu)建模

圖：類圖，對(duì)象圖
內(nèi)容：類（接口、協(xié)作），對(duì)象
關(guān)系：依賴、泛化、關(guān)聯(lián)（以名稱、角色、多重性、聚合修飾）
以注解修飾，以構(gòu)造型、標(biāo)記值、約束修飾擴(kuò)展

公共機(jī)制：
詳述（規(guī)格說(shuō)明）specifications
修飾adornments：注解note分，隔欄等compartment
公共劃分commondivisions
擴(kuò)展機(jī)制extensibilitymechanisms.
l構(gòu)造型stereotype（表示新的建模元素）
l標(biāo)記值taggedvalue（表示新的建模屬性）
l約束constraint（表示新的建模語(yǔ)義）

對(duì)象：某一時(shí)間點(diǎn)上一組對(duì)象及其之間的關(guān)系，對(duì)系統(tǒng)的靜態(tài)設(shè)計(jì)師圖和靜態(tài)進(jìn)程視圖建模——某一時(shí)刻系統(tǒng)的快照，對(duì)象集、對(duì)象狀態(tài)以及對(duì)象之間的關(guān)系
內(nèi)容：對(duì)象，鏈，和其他所有的圖一樣可以有注解和約束

4．用例和用例圖的區(qū)別

用例描述需求，系統(tǒng)功能型需求，用例模型在需求工作流中定義。它是指示系統(tǒng)將要做什么的功能需求。用例主要工作是寫文本文檔，圖是次要的
黑箱用例：用例類型：成功場(chǎng)景，其它場(chǎng)景，細(xì)化，包括步驟和變化。
用例驅(qū)動(dòng)開(kāi)發(fā)：需求主要記錄在用例中。多次迭代，導(dǎo)出用例。
識(shí)別其它需求：補(bǔ)充規(guī)則，詞匯表，前景（構(gòu)想）。

5．領(lǐng)域，依附集和內(nèi)聚

UML建模工具中對(duì)象類的領(lǐng)域主要包括基礎(chǔ)領(lǐng)域、結(jié)構(gòu)領(lǐng)域、商業(yè)領(lǐng)域和應(yīng)用領(lǐng)域；
和分別屬于哪些領(lǐng)域。基礎(chǔ)：Integer、Stack、Set、Date、BinaryTree、Mass
結(jié)構(gòu)：Transaction、Backup、Port、RemoteMachine、Window和CommandButton
一個(gè)類的直接依附集是指這個(gè)類的直接類引用集的大小。一個(gè)類的間接依附集是指這個(gè)類的間接引用集的大小。直接類引用和間接類引用。
它提供了衡量類復(fù)雜程度的方法。
內(nèi)聚可衡量這個(gè)類的特征屬于一個(gè)單一類整體的完善程度。包括：事物型內(nèi)聚，混合領(lǐng)域型內(nèi)聚及混合角色型內(nèi)聚。

6．狀態(tài)空間和行為

類的狀態(tài)空間和行為，子類的狀態(tài)空間和行為，類的不變式和類的前置條件和后置條件。
類狀態(tài)空間維數(shù)：屬性的個(gè)數(shù)。子類的狀態(tài)空間受限于父類的狀態(tài)空間。但是可以擴(kuò)展。
類的行為：子類行為的拓展。
一個(gè)類的不變式是指一種狀態(tài)，即在任何時(shí)候該類的每一個(gè)對(duì)象都滿足條件（當(dāng)這個(gè)對(duì)象處于平衡狀態(tài)時(shí)）。（如三角形）類的不變式的繼承性。
每一個(gè)行為都有：前置條件和后置條件。（前置條件：棧非空，后置條件：取出內(nèi)容。）
類的不變式和操作運(yùn)算的前置條件和后置條件一起，共同形成了一種稱為“契約設(shè)計(jì)”的設(shè)計(jì)方法的框架結(jié)構(gòu)，這種設(shè)計(jì)方法能夠確保一個(gè)目標(biāo)對(duì)象的操作對(duì)其客戶對(duì)象提供的一條消息產(chǎn)生正確的反應(yīng)，而客戶對(duì)象提供的消息是符合該操作運(yùn)算的前置條件的。本節(jié)關(guān)于UML建模工具方面的知識(shí)介紹到這里，請(qǐng)期待下節(jié)介紹。
 

【編輯推薦】

1. UML建模工具中的五大視圖
2. SVG與UML圖詳解
3. UML用例圖用法實(shí)例剖析
4. 術(shù)語(yǔ)匯編 UML統(tǒng)一建模語(yǔ)言簡(jiǎn)介
5. 專家指導(dǎo) 如何選擇合適的UML建模工具