UML 모델의 OCL 제한조건 유효성 검증

UML 모델에서 OCL(Object Constraint Language)을 사용하여 정의된 제한조건의 구문을 유효성 검증할 수 있습니다. 영어와 같은 자연어, 프로그래밍 언어 또는 수학적 표기법을 사용하여 제한조건의 본문을 표현할 수도 있습니다. OCL에 대한 자세한 정보는 OMG(Object Management Group) 웹 사이트에서 사용 가능한 UML(Unified Modeling Language) 스펙을 읽으십시오.
이 태스크 정보

제한조건의 표현식과 구문은 제한조건에 «metaConstraint» 스테레오타입이 적용된 경우나 제한조건이 프로파일에 정의된 경우에 유효성을 검증합니다. 제한조건이 «metaConstraint» 스테레오타입이 적용되지 않았으며 프로파일에 정의되지 않은 경우 제한조건의 구문만 유효성을 검증합니다.

OCL 제한조건의 유효성을 검증하려면 프로젝트 탐색기 보기에서 제한조건을 마우스 오른쪽 단추로 클릭한 후 유효성 검증을 클릭하십시오.
결과
유효성 검증의 결과가 콘솔 보기에 표시됩니다.

피드백