OCL Object Constraint Language

UML에서 객체에 대한 제약조건을 명시하기 위해 사용되는 언어