UML參考手冊 第 四 部 分 附 錄 附錄 UML元模

UML參考手冊

第 四 部 分 　附　錄

附錄 UML元模　　 1.UML定義文檔(UML Definition Documents) 　　UML 由一系列Object Management Group[UML-98]出版的文檔定義。這些文檔包含在本書所附的CD中。本章解釋在這些文檔描述的UML語義模型的結構。 UML使用元模型正式定義——也就是說，UML中的構成物的模型。元模型本身在UML中表達。這是元迴圈解釋的一個例子——即用其自身來定義的一種語言。事物不是完全迴圈的。只有UML的一個小子集被用來定義元模型。原則上，定義的固定點可以從一個更基本的定義引導而來。實際中，不必如此費勁。 　　語義文檔的每個部分包含一個顯示部分元模型的類圖；定義在各個部分的元模型類的文字描述，以及它們的屬性和聯絡；一系列作用在元素上由自然語言和OCL語言表達的限制；定義在各部分的UML構成物的動態語義的文本描述。所以動態語義是非正式的，但是一個完全正式的描述是不可行而且也是不可讀的。 標記法在一個獨立的章裡進行描述，該章引用了語義章並把符號映射到元模型類上。 2.元模型結構(Metamodel Structure) 元模型分為三個基本的包（圖A-1）。 * 定義了UML靜態語義的基本包 * 定義了UML 動態語義的行為元素包 * 定義了UML 模型的組織圖的模型管理組件 圖A-1。UML 元模型的包結構 3.基本包(Foundation Package) 基本包包含四個子包。 核心 核心包描述了UML的主要靜態構成物。包括類元，它們的內容以及它們的內容。它們的內容包括屬性，操作，方法和參數。它們的聯絡包括泛化，關聯和依賴。也定義了幾個抽象的元類，例如可泛化元素，名稱空間和模型元素。這個包也定義了模板和各種依賴子類，還有組件、接點和注釋。 資料類型 資料類型包定義了用於元模型的資料類型。 擴充機制 擴充機制包描述了約束、構造型和標籤值機制。 4.行為元素包(Behavioral Elements Package) 行為包給三個主要視圖共用的行為結構提供了一個子包，也為每個主要視圖提供了一個子包。 公用行為 公用行為包描述了訊號、操作和動作。它也描述了對應於各種描述的執行個體類。 合作 合作包描述了合作、互動、訊息、類元角色和關聯。 用例 用例描述了參與者和用例。 狀態機器 狀態機器包描述了狀態機器結構，包括狀態和各種偽狀態、事件、訊號、轉換和監護條件。它也描述了活動模型的額外的結構，例如動作狀態，活動狀態和物件流程狀態。 5.模型管理組件(Model Management Package) 模型管理組件描述了包、模型和子系統。它也描述了擁有關係和名稱空間和包的可見度屬性。它沒有子包。