한국정보처리학회:학술대회논문집 (Annual Conference of KIPS)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

OCL을 이용한 UML Diagram의 일관성 및 정확성 검증방법

A Technique on verifying the consistency and correctness of Class Diagram with OCL

  • 하일규 (영남대학교 컴퓨터공학과) ;
  • 강병욱 (영남대학교 컴퓨터공학과)
  • Ha, Il-Kyu (Dept of Computer Engineering, Yeung-Nam University) ;
  • Kang, Byong-Ug (Dept of Computer Engineering, Yeung-Nam University)
  • 발행 : 2002.11.15
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

키워드