UML建模工具中知識點專家經典剖析
本節繼續向大家介紹UML建模工具方面的知識，本節主要包括UML狀態圖，體系結構和接口，用例和狀態空間等內容，歡迎大家一起來學習UML建模工具，希望本節的介紹對你學習UML有所幫助。
1．狀態圖
屬性建模：
屬性擁有很少的值，屬性在這些值之間的轉換上有一定的限制。實例屬性具有上面列出的兩個特性，并且它的值反映了他的本身對象的自然狀態，則稱這個屬性為狀態屬性（stateattribute）。狀態屬性時表示對象狀態的機制。
畫的僅僅是那種類，它在系統的上下文內具有很強的動態行為
先找出這種類，然后列出它的狀態，再畫。
基本狀態圖，嵌套狀態，并發狀態和同步，消息結果參數的瞬時狀態，連續的、可變的屬性
Mealy約定：所描述的UML狀態圖是與轉換相關的。
Moore約定：所描述的UML狀態圖是與狀態相關的。
2．體系結構和接口
UML建模工具中的體系結構包括軟件體系結構，硬件體系結構，軟件體系結構與硬件體系結構的相互影響
窗口布局圖，描述每個窗口的特性。窗口導航圖，描述窗口間的轉換，這將構成特定應用的導航路徑。
窗口導航圖的目的是表示用戶如何按照主流的應用導航路徑從一個窗口切換到另一個窗口。通常，一張窗口圖顯示的是一個使用案例的人機交互路徑。
導航圖是一個簡單易懂的屏幕轉換圖，它自身就是狀態圖結構的變體。
UUML建模工具為描述系統體系結構的軟件和硬件構成，提供了兩種附加圖：
包圖(packagediagram)：它描述的是純軟件元素的分組。包圖對于實現軟件的高層結構建模是很有價值的。
配置圖：描述的是系統實現的技術單元。配置圖也可以描述軟件怎樣被分布在選定的技術單元上，利用表示純物理技術（處理器）的配置圖，添加軟件組件和它們間的互連關系。
3．用UML建模工具對結構建模
圖：類圖，對象圖
內容：類（接口、協作），對象
關系：依賴、泛化、關聯（以名稱、角色、多重性、聚合修飾）
以注解修飾，以構造型、標記值、約束修飾擴展
公共機制：
詳述（規格說明）specifications
修飾adornments：注解note分，隔欄等compartment
公共劃分commondivisions
擴展機制extensibilitymechanisms.
l構造型stereotype（表示新的建模元素）
l標記值taggedvalue（表示新的建模屬性）
l約束constraint（表示新的建模語義）
對象：某一時間點上一組對象及其之間的關系，對系統的靜態設計師圖和靜態進程視圖建模——某一時刻系統的快照，對象集、對象狀態以及對象之間的關系
內容：對象，鏈，和其他所有的圖一樣可以有注解和約束
4．用例和用例圖的區別
用例描述需求，系統功能型需求，用例模型在需求工作流中定義。它是指示系統將要做什么的功能需求。用例主要工作是寫文本文檔，圖是次要的
黑箱用例：用例類型：成功場景，其它場景，細化，包括步驟和變化。
用例驅動開發：需求主要記錄在用例中。多次迭代，導出用例。
識別其它需求：補充規則，詞匯表，前景（構想）。
5．領域，依附集和內聚
UML建模工具中對象類的領域主要包括基礎領域、結構領域、商業領域和應用領域；
和分別屬于哪些領域。基礎：Integer、Stack、Set、Date、BinaryTree、Mass
結構：Transaction、Backup、Port、RemoteMachine、Window和CommandButton
一個類的直接依附集是指這個類的直接類引用集的大小。一個類的間接依附集是指這個類的間接引用集的大小。直接類引用和間接類引用。
它提供了衡量類復雜程度的方法。
內聚可衡量這個類的特征屬于一個單一類整體的完善程度。包括：事物型內聚，混合領域型內聚及混合角色型內聚。
6．狀態空間和行為
類的狀態空間和行為，子類的狀態空間和行為，類的不變式和類的前置條件和后置條件。
類狀態空間維數：屬性的個數。子類的狀態空間受限于父類的狀態空間。但是可以擴展。
類的行為：子類行為的拓展。
一個類的不變式是指一種狀態，即在任何時候該類的每一個對象都滿足條件（當這個對象處于平衡狀態時）。（如三角形）類的不變式的繼承性。
每一個行為都有：前置條件和后置條件。（前置條件：棧非空，后置條件：取出內容。）
類的不變式和操作運算的前置條件和后置條件一起，共同形成了一種稱為“契約設計”的設計方法的框架結構，這種設計方法能夠確保一個目標對象的操作對其客戶對象提供的一條消息產生正確的反應，而客戶對象提供的消息是符合該操作運算的前置條件的。本節關于UML建模工具方面的知識介紹到這里，請期待下節介紹。
【編輯推薦】
