Statecharts: A visual formalism for complex systems
Science of Computer Programming
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
The WebBook and the Web Forager: an information workspace for the World-Wide Web
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Revisitation patterns in World Wide Web navigation
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
The tangled Web we wove: a taskonomy of WWW use
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
The evolution of a manufacturing Web site
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Sitemaps, storyboards, and specifications: a sketch of Web site design practice
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
Model-driven development of Web applications: the AutoWeb system
ACM Transactions on Information Systems (TOIS)
Web Style Guide: Basic Design Principles for Creating Web Sites
Web Style Guide: Basic Design Principles for Creating Web Sites
Engineering Web Applications for Reuse
IEEE MultiMedia
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
| Hi-index | 0.00 |
Even though the importance of Web applications is still increasing, design practice in this area is still mainly based on informal techniques and methods. In practice, few description techniques are available to support web modeling and it is unusual to model web applications even though modeling is usually the corner stone of "classical" computer applications. Models not only formalize requirements but also they can help to assess the design in all the stages of the development process. In this paper we present notations dedicated to web navigation modeling and how they can affect the design process. In addition we discuss how task models could be used to assess navigation models according to user's activity. Our aim with this kind of evaluation is to ensure (prior to implementation) that important users tasks can (or cannot) be performed with the system.