第14章． 標準元素 (轉)

第14章． 標準元素 (轉)[@more@]

　　標準元素是為，構造型和標籤而預定義的關鍵字。它們代表通用效用的概念，這些通用效用沒有足夠的重要性或者與核心概念存在足夠的差異用以包含在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.()
（包的構造型）
包含的構造型包。
見 包（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.重疊(overlap)
（泛化上的約束）
應用於一個泛化集合的約束，它宣告一個物件可以是泛化集合裡的多個孩子的例項。這種情況只在多繼承或多類元中出現。
見 泛化(generalization)
39.引數(parameter)
（關聯端點的構造型）
關聯端點（包括鏈結端點和關聯角色端點）的構造型，它宣告所附的物件是對另一端物件操作的呼叫的一個引數。
見 關聯角色(association role)、類元角色(classifier role)、合作(collaboration)、引數(parameter)、暫時鏈(transient link)
40.持久(persistence)
（類元、關聯和屬性上的標籤）
表示一個例項值是否比生成它的過程存在的更久。值是持久或者是暫時的。如果持久被用在屬性上，就可以更好的確定是否應該在類元裡儲存屬性值。
見 持久物件(persistent )
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)