UML參考手冊 第三部分 參 考 資 料 第14章． 標準元素

UML參考手冊

第三部分 參 考 資 料

第14章． 標準元素 　　標準元素是為約束，構造型和標籤而預定義的關鍵字。它們代表通用效用的概念，這些通用效用沒有足夠的重要性或者與核心概念存在足夠的差異用以包含在UML核心概念中。它們和UML核心概念的關係就如同內建的子常式庫和一種程式設計語言的關係。它們不是核心語言的一部分，但它們是使用者在使用這種語言時可以依賴的環境的一部分。列表中也包括了標記法關鍵字——出現在別的模型元素的符號上但代表的是內建模型元素而不是構造型的關鍵字。為關鍵字列出了標記法符號。 在第13章，詞彙大全的文章中有交叉引用。 1.訪問(acess) （授權依賴的構造型） 兩個包之間的構造型依賴，表示目標包的公用內容對於源包的名稱空間是可以訪問的。 見訪問(acess)。 2.關聯(association) （關聯末端點的構造型） 應用於關聯末端點（包括鏈結的端點和關聯角色的端點）上的一個約束，聲明對應的執行個體是通過一個實際的關聯可見的，而不是象參數或者局部變數一樣通過暫時鏈。 見關聯(association)、關聯末端點(association end)、關聯角色(association role)。 3.變成(become) （流聯絡的構造型） 其源和目標代表不同時間點的相同執行個體的構造型依賴，但源和目標有潛在的不同的值，狀態執行個體和角色。從A到B的一個變成依賴意味著在時間/空間上的一個不同的時刻執行個體A變成B，可能具有了新的值，狀態執行個體和角色。變成的標記法是一個從源到目標的一個虛箭頭，帶有關鍵字 become。 見變成(become)。 4.綁定(bind) （依賴符號上的關鍵字） 代表綁定聯絡的依賴上的關鍵字。它後面跟著由括弧括起逗號分割的參數列表。 見綁定(binding)、繫結元素(bound element)、模板(template)。 5.調用(call) （使用依賴的構造型） 源是一個操作而目標也是一個操作的構造型依賴。調用依賴聲明源操作激發目標操作。調用依賴可以把源操作串連到範圍內的任何目標操作，包括封閉類元和別的可見類元的操作，但不限制在這些操作上。 見調用(call)、，使用(usuage)。 6.完全(complete) （泛化上的約束） 應用於一個泛化集合的約束，聲明所有的孩子已經被聲明（儘管有的可能被省略）而附加的孩子不應該在後面聲明。 見泛化(generalization) 7.複製(copy) （流聯絡的構造型） 源和目標是不同的執行個體，但有相同的值，狀態執行個體和角色的構造型流聯絡。從A到B 的複製依賴意味著B是A的一個精確複本。A中的特徵改變不必反映到B中。複製標記法是一個從源到目標的箭頭，帶有關鍵字 copy。 見訪問(acess)、複製(copy)。 8.建立(create) （行為特徵的構造型） 一個構造型行為特徵，表示指定的特徵產生該特徵所附的類元的一個執行個體。 （事件的構造型） 一個構造型事件，該事件表示產生一個執行個體，該執行個體封裝了事件類型所作用的狀態機器。建立只能作用於該狀態機器頂層的初始轉換。實際上,這是唯一可以作用於初始轉換的觸發源。 （使用依賴的構造型） 建立是表示客戶類元建立了提供者類元的執行個體的構造型依賴 見建立(creation)、使用(usuage)。 9.派生(derive) （抽象依賴的構造型） 源和目標通常是相同類型的構造型依賴，但不一定總是相同類型。派生依賴聲明源可以從目標計算得到。源可以為設計原因如效率而實現，儘管邏輯上它是冗餘的。 見派生(derivation)、匯出元素(derived element)。 10.銷毀(destroyed) （行為特徵的構造型） 表明指定的特徵銷毀了該特徵所附的類元的一個執行個體的構造型行為特徵。 （事件構造型） 表示封裝了事件類型所作用的狀態機器的執行個體被銷毀的構造型事件。 見銷毀(destruction)。 11.被銷毀的(destroyed) （類元角色和關聯角色上的約束） 表示角色執行個體在封閉互動執行開始時存在而在執行結束之前被銷毀。 見 關聯角色(association role)、類元角色(classifier role)、合作(collaboration)、銷毀(destruction)。 12.互斥(disjoint) （泛化上的約束） 作用於泛化集合的約束，聲明對象不能是該泛化集合裡的多個孩子的執行個體。這種情況只會出現在多繼承中。 見 泛化(generation) 13.文檔(document) （組件的構造型） 代表一個文檔的構造型組件。 見 組件(component) 14.文檔編製(documentation) （元素上的標籤） 對所附的元素進行的注釋，描述或解釋。 見 注釋(comment)、字串(string) 15.枚舉(enumeration) （類元符號上的關鍵字） 列舉資料型別的關鍵字，它的細節聲明了由一個標識符集合構成的域，那些標識符是該資料類型的執行個體的可能取值。 見 枚舉(enumeration) 16.可執行(executable) （組件的構造型） 代表一個可以在某結點上啟動並執行程式的構造型組件。 見 組件(component) 17.擴充(extend) （依賴符號上的關鍵字） 表示用例之間的擴充聯絡的依賴符號上的關鍵字。 見 擴充(extend) 18.虛包(facade) （包的構造型） 只包含對其他包所具有的元素進行的引用的構造型包。它被用來提供一個包的某些內容的公用視圖。虛包不包含任何它自己的模型元素。 見 包(package) 19.檔案(file) （組件的構造型） 檔案是一個代表包含原始碼或者資料的文檔的構造型組件。 見 組件(component) 20.架構(framework) （包的構造型） 包含模式的構造型包。 見 包（package）。 21.友員(friend) （授權依賴的構造型） 一個構造型依賴，它的源是一個模型元素，如操作，類或包，而目標是一個不同的包模型元素，如類或包。友員聯絡授權源訪問目標，不管所聲明的可見度。它擴充了源的可見度，使目標可以看到源的內部。 見 訪問(access)、友員(friend)、可見度(visibility) 22.全域(global) （關聯末端點的構造型） 應用於關聯末端點（包括鏈結端點和關聯角色端點）的約束，聲明由於和鏈結另一端的對象相比，所附的對象具有全域範圍而可見。 見 關聯(assciation)、關聯末端點(association)、合作(collaboration) 23.實現(implementation) （泛化的構造型） 一個構造型泛化，它表示客戶繼承了提供者的實現（它的屬性，操作和方法）但沒有把提供者的介面公用化，也不保證支援這些介面，因此違反可替代性。這是私人繼承。 見 泛化(generalization)、私人繼承(private inhitance) 24.實作類別(implementationClass) （類的構造型） 一個構造型類，它不是一個類型，它代表了某種程式設計語言的一個類的實現。一個對象可以是一個（最多一個）實作類別的執行個體。相反，一個對象可以同時是多個普通類的執行個體，隨時間得到或者丟失類。實作類別的執行個體也可以是零個或者多個類型的執行個體。 見 實作類別(implementation class)、類型(type) 25.隱含(implicit) （關聯構造型） 關聯的構造型，說明該關聯沒有實現（只是概念上）。 見 關聯(association) 26.匯入(import) （授權依賴的構造型） 兩個包之間的構造型依賴，表示目標包的公用元素加到源包的名稱空間裡。 見 訪問(access)、匯入(import) 27.包含(include) （依賴符號上的關鍵字） 表示用例之間的包含聯絡的依賴符號上的關鍵字。 見 包含(include) 28.不完整（incomplete） （泛化上的約束） 不完整是應用於一個泛化集合的約束，它聲明不是所有的孩子都已經被聲明，後面還可以增加額外的孩子。 見 泛化(generalization) 29.的執行個體(instanceOf) （依賴符號上的關鍵字） 其源是一個執行個體而目標是一個類元的源聯絡。從A到B的這種依賴意味著A是B的一個執行個體。它的標記法是一個帶有關鍵字 instanceOf的虛箭頭。 見 描述(descriptor)、執行個體(instance)、的執行個體（instance of ） 30.執行個體化(instantiate) （使用依賴的構造型） 類元之間的構造型依賴，這些類元表明客戶的操作建立提供者的執行個體。 見 執行個體化(instantiation)、使用(usuage) 31.不變數(invariant) （約束的構造型） 必須附在類元或聯絡集合上的一個構造型約束。它表明必須為類元或聯絡以及它們的執行個體維持約束的條件。 見 不變數(invariant) 32.葉(leaf) （泛化元素和行為特徵的關鍵字） 不能有後代也不能被重載的元素，即不是多態的元素。 見 葉(leaf)、多態(polymorphic) 33.庫(library) （組件的構造型） 代表靜態或者動態庫的一個構造型組件。 見 組件(component) 34.局部(local) （關聯末端點的構造型） 關聯末端點，鏈結端點或者關聯角色端點的構造型，它聲明所附的對象在另一端對象的局部範圍裡。 見 關聯(association)、關聯末端點(association end)、合作(collaboration)、暫時鏈(transient link) 35.位置(location) （類元符號上的標籤） 支援該類元的組件。 （組件執行個體符號上的關鍵字） 組件執行個體所在的結點執行個體。 見 組件(component)、位置(location)、結點(node) 36.元類(metaclass) （類元的構造型） 一個構造型類元，它表明這個類是某個其他類的元類。 見 元類(metaclass) 37.新(new) （類元角色和關聯角色上的約束） 表示角色的執行個體在封閉互動執行過程中被建立，在執行結束後依然存在。 見 關聯角色(association role)、類元角色(classifier role)、合作(collaboration)、建立(creation) 38.重疊(overlapping) （泛化上的約束） 應用於一個泛化集合的約束，它聲明一個對象可以是泛化集合裡的多個孩子的執行個體。這種情況只在多繼承或多類元中出現。 見 泛化(generalization) 39.參數(parameter) （關聯末端點的構造型） 關聯末端點（包括鏈結端點和關聯角色端點）的構造型，它聲明所附的對象是對另一端對象操作的調用的一個參數。 見 關聯角色(association role)、類元角色(classifier role)、合作(collaboration)、參數(parameter)、暫時鏈(transient link) 40.持久(persistence) （類元、關聯和屬性上的標籤） 表示一個執行個體值是否比產生它的過程存在的更久。值是持久或者是暫時的。如果持久被用在屬性上，就可以更好的確定是否應該在類元裡儲存屬性值。 見 持久對象(persistent object) 41.後置條件(postcondition) （約束的構造型） 必須附在一個操作上的構造型約束。它表示在激發該操作之後必須保持該條件。 見 後置條件(postcondition) 42.強型別(powertype) （類元的構造型） 一個構造型類元，它表示該類元是一個元類，該元類的執行個體是別的類的子類。 （依賴符號上的關鍵字） 其客戶是一個泛化集合而提供者是一個強型別的聯絡。提供者是客戶的強型別。 見 強型別(powertype) 43.前置條件(precondition) （約束的構造型） 必須附在一個操作上的構造型約束，在激發該操作時該條件必須被保持。 見 前置條件(precondition) 44.過程(process) （類元的構造型） 一個構造型類元，它是一個代表重量進程的主動類。 見 主動類(active class)、過程(process)、線程(thread) 45.細化(refine) （抽象依賴上的構造型） 代表細化聯絡的依賴上的構造型。 見 細化(refinement) 46.需求(requirement) （注釋的構造型） 聲明職責或義務的構造型注釋。 見 需求(requirement)、職責(responsibility) 47.職責(responsibility) （注釋上的構造型） 類元的協議或者義務。它表示為一個文本字串。 見 職責(responsibility) 48.自身(self) （關聯末端點的構造型） 關聯末端點（包括鏈結端點和關聯角色端點）的構造型，聲明一個從對象到其自身的偽鏈結，目的是為了在互動中調用作用在相同對象上的操作。它沒有暗含實際的資料結構。 見 關聯角色(association role)、類元角色(classifier role)、合作(collaboration)、參數(parameter)、暫時鏈(transient link) 49.語義(semantics) （類元上的標籤） 對類元含義的聲明。 （操作上的標籤） 對操作含義的聲明。 見 語義(semantics) 50.發送(send) （使用依賴的構造型） 其客戶是一個操作或類元，其提供者是一個訊號的構造型依賴，它聲明客戶發送訊號到某 個未聲明目標。 見 發送(send)、訊號(signal) 51.構造型(stereotype) （類元符號上的關鍵字） 用來定義構造型的關鍵字。其名稱可能用作別的模型元素上的構造型名稱。 見 構造型(stereotype) 52.樁(stub) （包的構造型） 一個構造型包，它代表一個只提供另外一個包的公用部分的包。 注意該詞彙也被UML用來描述樁轉換。 見 包(package) 53.系統(system) （包的構造型） 包含系統模型構成的集合的構造型包，它從不同的視點描述系統，不一定互斥——在系統聲明中的最高層構成物。它也包含了不同模型的模型元素之間的聯絡和約束。這些聯絡和約束沒有增加模型的語義資訊。相反它們描述了模型本身的聯絡，例如需求跟蹤和開發曆史。一個系統可以通過一個附屬子系統構成的集合來實現，每個子系統有獨立的系統包裡的模型集合來描述。一個系統包只能包含在一個系統包裡。 見 包(package)、模型(model)、系統(system) 54.表(table) （組件的構造型） 代表一個資料庫表的構造型組件。 見 組件(component) 55.線程(thread) （類元的構造型） 是一個主動類的構造型類元，它代表一個輕量控制流程。 注意在本書中該詞彙具有更廣的含義，可以表示任何獨立並發的執行。 見 主動類(active class)、線程(thread) 56.跟蹤(trace) （抽象依賴的關鍵字） 代表跟蹤聯絡的依賴符號上的關鍵字。 見 跟蹤(trace) 57.暫時(transient) （類元角色和關聯角色上的約束） 聲明角色的一個執行個體在封閉互動的執行過程中被建立，但在執行結束之前被銷毀。 見 關聯角色(association)、類元角色(classifier role)、合作(collaboration)、建立(creation)、銷毀(destruction)、暫時鏈(transient link) 58.類型(type) （類的構造型） 和應用域對象的操作一起聲明執行個體（對象）的域的構造型類。一個類型不可能包含任何方法，但是它可以有屬性和關聯。 見 實作類別(implementation class)、類型(type) 59.使用(use) （依賴符號上的關鍵字） 代表使用聯絡的依賴符號上的關鍵字。 見 使用(usage) 60.效用(utility) （類元的構造型） 沒有執行個體的構造型類元。它描述了一個由類範圍的非成員屬性和操作構成的集合。 見 效用(utility) 61.異或(xor) （關聯上的約束） 作用在由共用連到同一個類上的關聯構成的集合上的約束，它聲明任何被共用的類的對象只能有一個來自這些關聯的鏈結。它是異或（不是或）的約束。 見 關聯(axxociation)