OCL 샘플 세부사항

회사/사원 도메인의 서브세트를 기반으로 하는 이 샘플 모델은 다음 표에 나열된 OCL 기능을 설명합니다.
기능 샘플 모델 내 위치
불변 제한조건 EmployeeConstraints, PersonConstraints
오퍼레이션 전제 조건, 사후 조건 및 본문 조건 제한조건
  • 사후 조건의 @pre 표기법
  • 사후 조건 및 본문 조건의 결과 표기법
CompanyConstraints, EmployeeConstraints, PersonConstraints
Iterator 표현식:
  • select, forAll
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
임시 메타 모델 제한조건 클래스 다이어그램

피드백