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

  • 2001.10a
  • /
  • Pages.477-480
  • /
  • 2001
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Design of the Verifying System for verifying UML Diagram

UML 다이아그램의 검증을 위한 검증 시스템의 설계

  • Kim, Jin-Soo (Dept. of Information, Electronics and Communication Eng., Konyang University) ;
  • Kim, Jae-Wung (Dept. of Information & Science, Kongju University) ;
  • Kim, Chi-Su (Dept. of Computer Science, Kongju University)
  • 김진수 (건양대학교 정보전자통신공학부) ;
  • 김재웅 (공주대학교 정보과학과) ;
  • 김치수 (공주대학교 전자계산학과)
  • Published : 2001.10.12
Download PDF
⟨ Previous Next ⟩

Abstract

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

Keywords