| 恆定測試限制項 |
EmployeeConstraints、PersonConstraints |
運算的前置條件、後置條件和主體條件限制項
- 後置條件中的 @pre 表示法
- 後置條件和主體條件中的結果表示法
|
CompanyConstraints、EmployeeConstraints、PersonConstraints |
| 疊代子表示式:
|
CompanyConstraints |
類型強制轉型:- oclIsKindOf()
- oclAsType()
|
CompanyConstraints、Stereotypes |
| 參照列舉文字 |
EmployeeConstraints |
| 關聯導覽 |
EmployeeConstraints |
| 限定的關聯導覽 |
CompanyConstraints |
關聯類別- 導覽整個關聯類別
- 從其中一個端點導覽至關聯類別
- 從關聯類別導覽至某一端點
|
CompanyConstraints、EmployeeConstraints |
| let 表示式 |
CompanyConstraints、PersonConstraints、Stereotypes |
| 主張已傳送訊息的訊息表示式 |
CompanyConstraints |
| 疊代已傳送訊息的訊息表示式 |
PersonConstraints |
| 在 UML 設定檔中使用限制項的 OCL |
Stereotypes |
| 其他套件中的參照類型 |
Stereotypes |
| allInstances() 表示式 |
Stereotypes |
| if-then-else-endif 表示式 |
Stereotypes |
| 未指定的值表示式 |
PersonConstraints |
| oclIsInState() 運算 |
CompanyConstraints |
| 特定 meta 模型限制項 |
類別圖 |