Q91.
在UML 類別圖(Class Diagram)中，若類別甲、乙間的關聯是R1，類別甲、丙間的關聯是R2，有個虛線箭頭由R2 的線指向R1，虛線箭頭旁寫著{subset}，請問這代表什麼？
電腦軟體設計共同科目 · 乙級 · Q91
難易度分析
4 / 5
此題考查 UML 類別圖中特定約束標記的定義。選項中包含了類別層級與關聯層級的混淆，以及將靜態結構關係誤認為動態時間順序的陷阱，要求考生對 UML 結構約束有精確的區分能力。
正確答案：③一種限制：關聯R2 是關聯R1 的子集合
③ 一種限制：關聯R2 是關聯R1 的子集合:在 UML 類別圖中，虛線箭頭搭配 {subset} 表示關聯子集合約束，即關聯 R2 的所有實例必須同時是關聯 R1 實例的子集合。這是 UML 標準中用於表達關聯間限制條件的正式語法。
錯誤選項解析
- ① 一種限制：類別丙是類別乙的子集合:{subset} 約束是用來描述關聯之間的子集合關係，而非類別之間的繼承或子集合關係。此選項混淆了「關聯層級」與「類別層級」的概念。
- ② 一種順序：關聯R1 應發生在關聯R2 之前:{subset} 屬於結構約束，用於限定關聯實例的包含關係，與時間順序無關。UML 中描述順序需使用活動圖或序列圖，而非類別圖的約束標記。
- ④ 一種順序：關聯R2 應發生在關聯R1 之前:{subset} 表達的是集合包含關係的靜態約束，而非動態執行順序。UML 類別圖主要描述系統的靜態結構，不處理時間或執行順序的語意。
Learning Tip
"UML 約束標記是此類題型的核心考點。常見陷阱包括：將 {subset}（子集合約束）與 {xor}（互斥約束）、{ordered}（有序約束）混淆。切記：虛線箭頭指向被約束的關聯，箭頭旁的花括號內為約束條件，且類別圖僅描述靜態結構關係，不涉及動態行為或時間順序。"
學員答題分佈
①一種限制：類別丙是類別乙的子集合0%
②一種順序：關聯R1 應發生在關聯R2 之前0%
③一種限制：關聯R2 是關聯R1 的子集合0%
④一種順序：關聯R2 應發生在關聯R1 之前0%
此答題分佈是根據學員在 LongePass 模擬考等實際作答紀錄計算而成。與考友分享這道歷屆試題與詳細解析！