[SE] OCL (Object Constraint Language)

• OCL (Object Constraint Language)
• 제약조건을 분명하고 표현력 높게 나타내기 위한 명세언어
• 특징
• 제약조건을 통해서 시스템의 행위를 기술
• 사용하기쉽고, 분명하고, 표현력이 높음
• 모델 구성의 적법성 여부 판단 가능
• 종류
• 선행조건 (Pre condition)
• 실행전에 만족해야하는 조건
• 후행조건 (Post Condition)
• 실행후에 만족해야하는 조건
• 불변식 (Invariant)
• 실행하는 동안 항상 만족해야하는 조건