Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Building Web Applications with Uml
Building Web Applications with Uml
Model Checking the World Wide Web
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Modelling adaptivity with aspects
ICWE'05 Proceedings of the 5th international conference on Web Engineering
An approach to user-behavior-aware web applications
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Navigation consistency in web site families
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
Web navigation model provides a dynamic view for web modelling. It is useful for clarifying requirements and specifying implementation behaviors of systems from design intensions. In this paper, we propose a formal model to describe web navigation of user behaviors, where link activities play an important role. Several issues have been considered in our model, such as web browser effects, adaptive navigation, frame communication etc. After the link activity model is established, we use model checker SPIN to check whether there exist problems such as such as broken links, dead ends, missed reply pages, reachability of pages etc. This method can help us to analyze user behaviors, meanwhile it provides us a way to expose design faults in web systems.