StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications

This paper presents StateWebCharts (SWC), a formal description technique based on statecharts for describing navigation on web applications. This notation extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this formal description technique features a graphical representation thus making it easier to use for web designers and formal enough to allow to rigorously reason about properties of navigation models. In order to show the applicability of the notation, we show, in the paper, its use on two real-size web applications.

[1]  Jim Conallen,et al.  Building Web applications with UML , 1999 .

[2]  Ian Horrocks,et al.  Constructing the User Interface with Statecharts , 1999 .

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

[4]  Nora Koch,et al.  The Expressive Power of UML-based Web Engineering1 , 2002 .

[5]  Piero Fraternali,et al.  Tools and approaches for developing data-intensive Web applications: a survey , 1999, CSUR.

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

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

[8]  Jennifer Fleming,et al.  Web Navigation: Designing the User Experience , 1998 .

[9]  Yi Zheng,et al.  Using statecharts to model hypertext , 1992, ECHT '92.

[10]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[11]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[12]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[13]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

[14]  Stefano Ceri,et al.  Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.

[15]  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..

[16]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[17]  Marco Winckler,et al.  Task-Based Assessment of Web Navigation Design , 2002, TAMODIA.

[18]  Michael D. Harrison,et al.  Formally verifying interactive systems: A review , 1997, DSV-IS.

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

[20]  João M. B. Cavalcanti,et al.  Web Engineering: Managing Diversity and Complexity in Web Application Development , 2001 .

[21]  San Murugesan,et al.  Web Engineering : Managing Diversity and Complexity of Web Application Development , 2001 .

[22]  Norman W. Paton,et al.  UMLi: The Unified Modeling Language for Interactive Applications , 2000, UML.

[23]  Gustavo Rossi,et al.  Engineering Web Applications for Reuse , 2001, IEEE Multim..