OCL(Object Constraint Language)로 기술할 수 있는 제약 조건들의 유형 중에서 불변…

정보관리기술사 제87회(2009년) 1교시 1-1번 · 10점

OCL(Object Constraint Language)로 기술할 수 있는 제약 조건들의 유형 중에서 불변 가설(Invariant)에 대해 설명하시오.