Modeling Web Browser Interactions Using FSM

Web applications can only be accessed through dedicated client systems called Web browsers. Most current Web browsers offer many tools or facilities for Web page revisiting, including the Back and Forward buttons, Bookmarks and History lists. These tools or facilities, on the one hand, help the users find the necessary information in hypermedia space; on the other hand, however, they also confuse the users due to their specific interface design against user cognitions. In this paper, special care is taken on Web browser interactions during the user's traversal within hypermedia space in order to specify possible inconsistencies between Web browser interfaces and user cognitions. GFSMs (Guarded Finite State Machines), which are augmented FSMs are employed as a tool to model Web browser interactions. For illustration, a simple login system of a Web application is exemplified.

[1]  Max J. Egenhofer,et al.  Determining Semantic Similarity among Entity Classes from Different Ontologies , 2003, IEEE Trans. Knowl. Data Eng..

[2]  Jessica Chen,et al.  Formal Models for Web Navigations with Session Control and Browser Cache , 2004, ICFEM.

[3]  A. Jefferson Offutt,et al.  Testing Web applications by modeling with FSMs , 2005, Software & Systems Modeling.

[4]  Terry Winograd,et al.  Dynamic bookmarks for the WWW , 1998, HYPERTEXT '98.

[5]  Maria Cristina Ferreira de Oliveira,et al.  A navigation-oriented hypertext model based on statecharts , 1997, HYPERTEXT '97.

[6]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

[7]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[8]  Maria Cristina Ferreira de Oliveira,et al.  A statechart-based model for hypermedia applications , 2001, TOIS.

[9]  Saul Greenberg,et al.  How people revisit web pages: empirical findings and implications for the design of history systems , 1997, Int. J. Hum. Comput. Stud..

[10]  Massimiliano Di Penta,et al.  Considering browser interaction in Web application testing , 2003, Fifth IEEE International Workshop on Web Site Evolution, 2003. Theme: Architecture. Proceedings..

[11]  Barry Alan Feigenbaum.  Object-Oriented Design of a Finite State Machine. , 1995 .

[12]  Divyakant Agrawal,et al.  PowerBookmarks: A System for Personalizable Web Information Organization, Sharing, and Management , 1999, Comput. Networks.

[13]  Saul Greenberg,et al.  GETTING BACK TO BACK: ALTERNATE BEHAVIORS FOR A WEB BROWSER'S BACK BUTTON , 1999 .

[14]  Saul Greenberg,et al.  Design Guidelines for Effective WWW History Mechanisms , 1998 .

[15]  Hany H. Ammar,et al.  Finite State Machine Patterns , 1998, EuroPLoP.

[16]  Saul Greenberg,et al.  Designing an Integrated Bookmark / History System for Web Browsing , 2000 .

[17]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

[18]  Siu-Ming Yiu,et al.  Modeling Web navigation by statechart , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

[19]  Andy Cockburn,et al.  Which way now? Analysing and easing inadequacies in WWW navigation , 1996, Int. J. Hum. Comput. Stud..

[20]  Jilles van Gurp,et al.  ON THE IMPLEMENTATION OF FINITE STATE MACHINES , 1999 .

[21]  Joumana Dargham,et al.  FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[22]  Edward Y. Chang,et al.  PowerBookmarks: a system for personalizable Web information organization, sharing, and management , 1999, SIGMOD '99.

[23]  Jakob Nielsen,et al.  Hypertext and hypermedia , 1990 .