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