1.
  가.개념
      - 객체제약조건을 SW모듈 제약사항을 정형적으로 표현한 설계언어(Well-Formedness Rulw기반으로)
        - 간결한 언어인 UML의 비즈니스 rule또는제약사항 기술(Descript)의 한계를 보완하기 위한 언어
   나.특징:참/거짓만 표현, 변수값 조작불가,속성값정의/연관관계 불필요
2.
  가.제약의유형(불변가설invariant(인스턴스 Living는 참),(Inv:나이> 21) 
                     선행조건Precondition(오퍼레이션 Run start는 참),(pre:잔액>=출금)
                     후행조건Postcondition(오퍼레이션 Finish는 참),(post:잔액=pre잔액-출금)
  나.장점:UML에서 자연어로 기술된 모호성을 정형화된언어 표현으로 적법성 여부판단용이,
         제약사항에 대한 TC도출/커버리지 극대화 도구롤 활용가능