Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Campos, J.C., Harrison, M.D.: Formally Verifying Interactive Systems: A Review. In: Harrison, M.D., Torres, J.C. (eds.) DSVIS 1997, pp. 109–124. Springer, Heidelberg (1997)
Ceri, S., Fraternali, P., Bongio, A.: Language (WebML): a modelling language for designing Web sites. In: Proc. 9th WWW Conference, Amsterdam (May 2000)
Connallen, J.: Building Web Applications with UML. Addison-Wesley, Reading (1999)
Dimuro, G.P., Costa, A.C.R.: Towards an automata-based navigation model for the specification of web sites. In.: 5th Workshop on Formal Methods, Gramado, 2002. Electronic Notes in Theoretical Computer Science, Amsterdam (2002)
Fleming, J.: Web Navigation: Designing the User Experience. O’Reilly, Sebastopol (1998)
Fraternali, P.: Tools and approaches for developing data-intensive Web applications: a Survey. ACM Computing Surveys 31(3), 227–263 (1999)
Greenberg, S., Cockburn, A.: Getting back to back: Alternate behaviors for a web browser.s back button. In: Proceedings: 5th Annual Human Factors and the Web Conference, Maryland, USA (1999)
Harel, D.: Statecharts: a visual formalism for computer system. Science of Computer Programming 8(3), 231–271 (1987)
Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Software Engineering Methodology 5(4), 293–333 (1996)
Horrocks, I.: Constructing the User Interface with Statecharts, p. 253. Addison-Wesley, Harlow (1999)
Koch, N., Kraus, A.: The expressive Power of UML-based Web Engineering. In: Schwabe, D., Pastor, O., Rossi, G., Olsina, L. (eds.) 2nd International Workshop on Web-oriented Software Technology (IWWOST 2002) (June 2002)
Leung, K., Hui, L., Yiu, S., Tang, R.: Modelling Web Navigation by StateCharts. In: Proceedings: 24th Inter. Comp. Software and Applications Conf., 2000 Electronic Edition. IEEE Computer Society DL, Los Alamitos (2000)
Murugesan, S., Deshpande, Y.: Web Engineering: Managing Diversity and Complexity of Web Applications Development. Springer, Berlin (2001)
de Oliveira, M.C.F., Turine, M.A.S., Masiero, P.C.: A Statechart-Based Model for Modeling Hypermedia Applications. ACM TOIS (April 2001)
Schwabe, D., Esmeraldo, L., Rossi, G., Lyardet, F.: Engineering Web Applications for Reuse. IEEE Multimedia 8(1), 20–31 (2001)
Stotts, P.D., Furuta, R.: Petri-net-based hypertext: document structure with browsing semantics. ACM Trans. on Inf. Syst. 7(1), 3–29 (1989)
Tauscher, T., Greenberg, S.: How people revisit web pages: Empirical findings and implications for the design of history systems. International Journal of Human Computer Studies 47(1), 97–138 (1997)
Turine, M.A.S., Oliveira, M.C.F., Masieiro, P.C.: A navigation-oriented hypertext model based on statecharts. In: Proceeding.. 8th ACM Hypertext Conf., Southampton United Kingdom. pp. 102–111 (April 1997)
Winckler, M., Farenc, C., Palanque, P., Bastide, R.: Designing Navigation for Web Interfaces. In: IHM-HCI 2001 Proceedings, Lille France (September 2001)
Zheng, Y., Pong, M.C.: Using statecharts to model hypertext. In: Proceedings of the ACM Conference Pankaj K. Gargypertxt (ECHT 1992), Milan, Italy, pp. 242–250. ACM Press, New York (1992)
da Silva, P.P., Paton, N.W.: UMLi: The Unified Modelling Language for Interactive Applications. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 117–132. Springer, Heidelberg (2000)
Halasz, F., Schwartz, M.: The Dexter hypertext reference model. Communications of the ACM 37(2), 30–39 (1994)
Winckler, M., Palanque, P., Farenc, C., Pimenta, M.: Task-Based Assessment of Web Navigation Design. In: Proceedings: ACM TAMODIA 2002, Bucharest (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winckler, M., Palanque, P. (2003). StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2003. Lecture Notes in Computer Science, vol 2844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39929-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-39929-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20159-5
Online ISBN: 978-3-540-39929-2
eBook Packages: Springer Book Archive