- OCL (Object Constraint Language)
- 제약조건을 분명하고 표현력 높게 나타내기 위한 명세언어
- 특징
- 제약조건을 통해서 시스템의 행위를 기술
- 사용하기쉽고, 분명하고, 표현력이 높음
- 모델 구성의 적법성 여부 판단 가능
- 종류
- 선행조건 (Pre condition)
- 실행전에 만족해야하는 조건
- 후행조건 (Post Condition)
- 실행후에 만족해야하는 조건
- 불변식 (Invariant)
- 실행하는 동안 항상 만족해야하는 조건
'감리사 > 소프트웨어공학' 카테고리의 다른 글
| [SE] MDD (Model Driven Development) (0) | 2018.07.10 |
|---|---|
| [SE] MDA-4계층 메타모델 (0) | 2018.07.09 |
| [SE] UML 분류 (0) | 2018.07.09 |
| [SE] UML 특징과 종류 (0) | 2018.07.06 |
| [SE] XP (0) | 2018.07.05 |
