제한조건의 예제로는 특수 값이 속성과 같은 조건이 있습니다. 시스템 디자인에서는 제한조건을 강행해야 합니다. 제한조건의 본문에 조건 또는 제한조건을 지정합니다.
일반적으로 제한조건에는 이름이 없으며 대신에 본문의 컨텐츠로 식별됩니다. 그러나 일부 공통으로 사용되는 제한조건은 본문의 컨텐츠를 반복하지 않아도 되도록 이름으로 식별됩니다. XOR 제한조건은 둘 이상의 연관에 한 클래스에 대한 공통 연결이 있을 때 적용됩니다.
OCL에 대한 자세한 정보는 OMG(Object Management Group) 웹 사이트에서 사용 가능한 UML(Unified Modeling Language) 스펙을 읽으십시오. 일반적으로 본문 언어 특성 또는 본문의 구문은 강행되지 않습니다.
제한조건은 중괄호({})로 묶은 텍스트로 표시되며 상단 오른쪽 구석의 접힌 직사각형으로 나타납니다.
다음 용도로 모델에 제한조건을 추가할 수 있습니다.
모델의 제한조건은 자유 양식 다이어그램 및 모든 유형의 UML 다이어그램에 표시될 수 있습니다.
제한조건의 유효성을 검증할 수 있습니다. 발생하는 유효성 검증 레벨은 유효성을 검증 중인 제한조건의 유형에 따라 다릅니다. 다음 세 가지 유형의 제한조건이 있습니다.
제한조건의 표현식과 구문은 제한조건에 «metaConstraint» 스테레오타입이 적용된 경우나 제한조건이 프로파일에 정의된 경우에 유효성을 검증합니다.
제한조건이 «metaConstraint» 스테레오타입이 적용되지 않았으며 프로파일에 정의되지 않은 경우 제한조건의 구문만 유효성을 검증합니다.