한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2000년도 추계학술발표논문집 (하)
- /
- Pages.1381-1384
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
프레임을 이용한 다이아그램 검증 모델의 설계
A Design of Diagram Verifying Model using the Frames
-
Kim, Jin-Soo
(Dept. of Information & Electronics Eng., Konyang University)
;
- Kim, Jae-Woong (Dept. of Computer Information, Kongju Culture College) ;
-
Hwang, Sun-Myung
(Dept. of Computer Engineering, Taejon University)
;
-
Kim, Chi-Soo
(Dept. of Computer Science, Kongju University)
- 발행 : 2000.10.13
초록
본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.
키워드