한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

웹 응용의 항해 모델 검사

Checking Navigation Model of Web Application

  • 김택수 (서울대학교 컴퓨터공학부) ;
  • 박상현 (서울대학교 컴퓨터공학부) ;
  • 이병정 (서울시립대학교 컴퓨터과학부) ;
  • 김희천 (한국방송통신대학교 컴퓨터과학과) ;
  • 우치수 (서울대학교 컴퓨터공학부)
  • Kim, Taek-Su (School of Computer Science & Engineering, Seoul National University) ;
  • Park, Sang-Hyun (School of Computer Science & Engineering, Seoul National University) ;
  • Lee, Byung-Jeong (School of Computer Science, University of Seoul) ;
  • Kim, Hee-Chern (Dept. of Computer Science, Korea National Open University) ;
  • Wu, Chi-Su (School of Computer Science & Engineering, Seoul National University)
  • 발행 : 2005.11.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

웹 응용 개발 과정에서 페이지와 항해를 모델링하기 위해 설계 단계에서 항해 모델을 사용한다. 하지만 페이지와 항해의 수가 증가함에 따라 모델의 구조는 복잡해지고 검증이 어려워진다. 본 연구에서는 항해 모델의 검증을 위해 항해 규칙을 정의하고 항해 규칙을 이용한 항해 모델 검증 방법을 제시한다. 또한 사례 연구를 통하여 항해 모델 검증의 예를 보인다.

키워드