| インバリアント制約 |
EmployeeConstraints、PersonConstraints |
オペレーションの前提条件、事後条件、および本文条件の制約- 事後条件での @pre 表記
- 事後条件および本文条件での結果表記
|
CompanyConstraints、EmployeeConstraints、PersonConstraints |
| イテレーター式:
|
CompanyConstraints |
型キャスト:- oclIsKindOf()
- oclAsType()
|
CompanyConstraints、ステレオタイプ |
| 列挙型リテラルの参照 |
EmployeeConstraints |
| 関連ナビゲーション |
EmployeeConstraints |
| 修飾関連ナビゲーション |
CompanyConstraints |
関連クラス- 関連クラスによるナビゲーション
- 片側からの関連クラスへのナビゲーション
- 関連クラスから片側へのナビゲーション
|
CompanyConstraints、EmployeeConstraints |
| let 式 |
CompanyConstraints、PersonConstraints、ステレオタイプ |
| メッセージが送信されたことをアサートするメッセージ式 |
CompanyConstraints |
| 送信メッセージを反復するメッセージ式 |
PersonConstraints |
| UML プロファイルでの制約用 OCL の使用 |
ステレオタイプ |
| 他のパッケージでの型の参照 |
ステレオタイプ |
| allInstances() 式 |
ステレオタイプ |
| if-then-else-endif 式 |
ステレオタイプ |
| 指定されていない値の式 |
PersonConstraints |
| oclIsInState() オペレーション |
CompanyConstraints |
| メタモデル制約 (随時) |
クラス図 |