한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

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

일관성 및 정확성 검증을 위한 구성요소와 관계로 표현된 UML 메타모델

UML Meta Model with component and relation for verifying the consistency and correctness

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

초록

본 연구는 UML로 작성된 객체지향 다이어그램의 일관성과 정착성을 검증하기 위한 메타모델에 관한 연구이다. 일관성이란 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 UML로 작성한 다이어그램이 UML의 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 이러한 일관성과 정확성을 검증하기 위해서는 각 다이어그램의 표준모델과 다이어그램간의 관계를 파악할 필요가 있으며 메타모델이 다이어그램간의 관계와 다이어그램 자체의 표준모델을 적절하게 표현하여 주므로 메타모델을 구성하는 작업이 필요하다. 본 연구에서는 기존의 메타모델에 관한 연구를 분석하여 새로운 형태의 구성요소와 관계로 표현된 메타모델을 제시하고 일관성과 정확성을 검증하기 위한 구성요소를 도출한다.

키워드