지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC : 2008
- 발행연도
- 2008.7
- 수록면
- 397 - 400 (4page)
이용수
초록· 키워드
오류제보하기
Previously, it is general that users navigate from a web page to the other by clicking on a hyperlink. Recently web pages become dynamic with a variety of scripts and embedded client side programs. Such pages with dynamic navigation have a more complicated structure, so it is difficult to model and analyze.
In this paper, we present a method to verify systems which have dynamic web navigation. For this purpose, we model the navigation using a UML statechart diagram and translate the model to a boolean expression. Thus it becomes possible to verify the systems formally using symbolic model checking.
To demonstrate the proposed method, we apply the method to a system with dynamic web navigation and model-check the system using symbolic model checking tool called NuSMV [9]. As a result, we verified reachability to all pages of the system.
In this paper, we present a method to verify systems which have dynamic web navigation. For this purpose, we model the navigation using a UML statechart diagram and translate the model to a boolean expression. Thus it becomes possible to verify the systems formally using symbolic model checking.
To demonstrate the proposed method, we apply the method to a system with dynamic web navigation and model-check the system using symbolic model checking tool called NuSMV [9]. As a result, we verified reachability to all pages of the system.
목차
Abstract
1. Introduction
2. Web Navigation
3. Modeling Web Navigation
4. Model Checking of Web Navigation
5. Experimental Result
6. Conclusion
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Web Page Evaluation based on Implicit User Reactions and Neural Networks
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2012 .06
-
Multi-Intention Web Pages Model Based on User Keywords of Interest
SmartCR
2014 .02
-
Attitude Determination GPS/INS Integrated Navigation System with FDI Algorithm for a UAV
Journal of Mechanical Science and Technology
2005 .08
-
Main Content Extraction from Web Pages Based on Node Characteristics
Journal of Computing Science and Engineering
2017 .06
-
Customer Personalized System of eCRM Using Web Log Mining and Rough Set
한국지능시스템학회 학술발표 논문집
2006 .11
-
Design Analysis of Precision Navigation System
제어로봇시스템학회 국제학술대회 논문집
2012 .10
-
Analysis of Information Visualization Tool for User Centered Navigation Design Focused on Web 2.0 Social Network Type Interface Design
한국멀티미디어학회 국제학술대회
2008 .07
-
The energy navigation system and its application example
제어로봇시스템학회 국제학술대회 논문집
2006 .10
-
Expansion of Web Search based on Hyperlink Linkage Analysis
대한산업공학회 춘계공동학술대회 논문집
2008 .05
-
의미 기반의 3D Navigation Aid 설계
한국정보과학회 학술발표논문집
2003 .04
-
Development and Hardware Implementation of the Hybrid Navigation Algorithm for the Car Navigation System
한국소음진동공학회 국제학술발표논문집
1997 .01
-
Development and Hardware Implementation of the Hybrid Navigation Algorithm for the Car Navigation System
Vibration Conference
1997 .11
-
E-Navigation의 국제동향과 구현방향
한국정보통신학회논문지
2006 .12
-
A New Navigation Method in Virtual Environment
한국정보과학회 학술발표논문집
2000 .04
-
웹기반 정보시스템의 항해 모델링 및 분석을 통한 웹 재구성
한국멀티미디어학회 학술발표논문집
2002 .05
-
한국형 e-Navigation을 위한 선원 건강정보 전송 시스템의 설계
정보과학회 컴퓨팅의 실제 논문지
2019 .02
-
Web page evaluation methodology applying web mining and CPN
대한산업공학회 춘계공동학술대회 논문집
2001 .04
-
Web Structure Management기법을 이용한 Spamming page filtering algorithm
한국정보과학회 학술발표논문집
2004 .04
-
A Web Recommendation System using Grid based Support Vector Machines
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2007 .06
-
메타 태그를 이용한 자동 웹페이지 분류 시스템
한국통신학회논문지
2013 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001139516