| 불변 제한조건 |
EmployeeConstraints, PersonConstraints |
오퍼레이션 전제 조건, 사후 조건 및 본문 조건 제한조건 - 사후 조건의 @pre 표기법
- 사후 조건 및 본문 조건의 결과 표기법
|
CompanyConstraints, EmployeeConstraints, PersonConstraints |
| Iterator 표현식:
|
CompanyConstraints |
유형 캐스팅:- oclIsKindOf()
- oclAsType()
|
CompanyConstraints, Stereotypes |
| 열거 리터럴 참조 |
EmployeeConstraints |
| 연관 탐색 |
EmployeeConstraints |
| 규정된 연관 탐색 |
CompanyConstraints |
연관 클래스- 연관 클래스를 통해 탐색
- 한쪽 끝에서 연관 클래스로 탐색
- 연관 클래스에서 끝으로 탐색
|
CompanyConstraints, EmployeeConstraints |
| let 표현식 |
CompanyConstraints, PersonConstraints, Stereotypes |
| 메시지가 전송되었다고 어설팅하는 메시지 표현식 |
CompanyConstraints |
| 보낸 메시지를 반복하는 메시지 표현식 |
PersonConstraints |
| UML 프로파일의 제한조건에 OCL 사용 |
스테레오타입 |
| 기타 패키지에서 유형 참조 |
스테레오타입 |
| allInstances() 표현식 |
스테레오타입 |
| if-then-else-endif 표현식 |
스테레오타입 |
| 지정되지 않은 값 표현식 |
PersonConstraints |
| oclIsInState() 오퍼레이션 |
CompanyConstraints |
| 임시 메타 모델 제한조건 |
클래스 다이어그램 |