[소공101]OCL

OCL

정형화된 언어로써 모델의 구성요소인 제약사항을 분명하고 표현력 높게 나타내기 위한 OMG가 채택한 명세 언어

클래스다이어그램의 제약사항을 기술하여 보완

-필요성:비즈니스룰 및 제약조건 표현한계,객체지향 모델 표현 부족  

- 특징 : Side Effect 없음, 참거짓아닌 결과 없음, 클래스다이어그램의 OCL은 속성정의 , 연관관계불필요

-제약조건유형:불변식,선행조건,후행조건  ("속성a는 양의 값을 갖는다")

-사례:불변식(Context Account inv:balance>0),선행조건(Context Account::withdraw(amount:Integer) Pre:balance>=amount),후행조건(Context Account::deposit(amount:Integer) Post:balance=balance@pre+amount)