OCL 範例詳細資料

這個範例模型是以「公司/員工」網域子集為基礎, 來說明下表中所列的 OCL 功能。
功能 範例模型中的位置
恆定測試限制項 EmployeeConstraints、PersonConstraints
運算的前置條件、後置條件和主體條件限制項
  • 後置條件中的 @pre 表示法
  • 後置條件和主體條件中的結果表示法
CompanyConstraints、EmployeeConstraints、PersonConstraints
疊代子表示式:
  • select、forAll
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 模型限制項 類別圖

意見