개요OCL(Object Constraint Language)은 UML(Unified Modeling Language)의 확장 언어로, 모델 요소에 대한 정형화된 제약 조건을 명시하기 위해 사용되는 선언형 모델링 언어입니다. 자연어보다 명확하며, 프로그래밍 언어보다 단순한 문법을 갖춘 OCL은 클래스 다이어그램의 속성, 연관관계, 불변식, 선행 조건, 후행 조건 등을 정확하게 정의할 수 있도록 지원합니다.1. 개념 및 정의OCL은 UML 모델의 요소(예: 클래스, 속성, 연관 등)에 대한 명세적 제약 조건을 선언적으로 기술하는 데 사용되는 언어입니다. 수학적 논리(1차 논리)를 기반으로 하며, 실행이 아닌 명세 목적에 최적화되어 있습니다.예: context Person inv: self.age >= 0 →..
