A Design of Diagram Verifying Model using the Frames

프레임을 이용한 다이아그램 검증 모델의 설계

  • 김진수 (건양대학교 정보전자통신공학부) ;
  • 김재웅 (공주문화대학 컴퓨터정보과) ;
  • 황선명 (대전대학교 컴퓨터공학과) ;
  • 김치수 (공주대학교 전자계산학과)
  • Published : 2000.10.13

Abstract

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

Keywords