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)
  • 김택수 (서울대학교 컴퓨터공학부) ;
  • 박상현 (서울대학교 컴퓨터공학부) ;
  • 이병정 (서울시립대학교 컴퓨터과학부) ;
  • 김희천 (한국방송통신대학교 컴퓨터과학과) ;
  • 우치수 (서울대학교 컴퓨터공학부)
  • Published : 2005.11.01

Abstract

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

Keywords