關聯（Association）

實體之間的一個結構化關係表明物件是相互連線的。箭頭是可選的，它用於指定導航能力。如果沒有箭頭，暗示是一種雙向的導航能力。在Java中，關聯（圖E）轉換為一個例項作用域的變數，就像圖E的“Java”區域所展示的程式碼那樣。可為一個關聯附加其他修飾符。多重性（Multiplicity）修飾符暗示著例項之間的關係。在示範程式碼中，Employee可以有0個或更多的TimeCard物件。但是，每個TimeCard只從屬於單獨一個Employee。

圖E

聚合（Aggregation）

聚合（圖F）是關聯的一種形式，代表兩個類之間的整體/區域性關係。聚合暗示著整體在概念上處於比區域性更高的一個級別，而關聯暗示兩個類在概念上位於相同的級別。聚合也轉換成Java中的一個例項作用域變數。

關聯和聚合的區別純粹是概念上的，而且嚴格反映在語義上。聚合還暗示著例項圖中不存在迴路。換言之，只能是一種單向關係。

圖F

合成（Composition）

合成 （圖G）是聚合的一種特殊形式，暗示“區域性”在“整體”內部的生存期職責。合成也是非共享的。所以，雖然區域性不一定要隨整體的銷燬而被銷燬，但整體要麼負責保持區域性的存活狀態，要麼負責將其銷燬。區域性不可與其他整體共享。但是，整體可將所有權轉交給另一個物件，後者隨即將承擔生存期職責。

Employee和TimeCard的關係或許更適合表示成“合成”，而不是表示成“關聯”。

圖G

泛化（Generalization）

泛化（圖H）表示一個更泛化的元素和一個更具體的元素之間的關係。泛化是用於對繼承進行建模的UML元素。在Java中，用extends

圖H

實現（Realization）

例項（圖I）關係指定兩個實體之間的一個合同。換言之，一個實體定義一個合同，而另一個實體保證履行該合同。對Java應用程式進行建模時，實現關係可直接用implements關鍵字來表示。

圖I