Abstract
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.
Zuohua Ding is supported by NNSFC (No.90818013). Geguang Pu is partially supported by NNSFC (No.60603033) and Qimingxing Project (No. 07QA14020).
Chapter PDF
Similar content being viewed by others
References
Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337–349. Springer, Heidelberg (2001)
Baumeister, H., Knapp, A., Koch, N., Zang, G.: Modelling Adaptivity with Aspects. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol. 3579, pp. 406–416. Springer, Heidelberg (2005)
Ceri, S., Daniel, F., Demaldé, V., Facca, F.M.: An Approach to User-Behavior-Aware Web Applications. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol. 3579, pp. 417–428. Springer, Heidelberg (2005)
Conallen, J.: Building Web Applications with UML. Addison-Wesley, Reading (2002)
Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven Web applications. Journal of Computer and System Sciences 73, 442–474 (2007)
Han, M., Hofmeister, C.: Modeling and Verification of Adaptive Navigation in Web Applications. In: ICWE 2006, Palo Alto, California, USA, July 11-14, pp. 329–336 (2006)
Holzmann, G.J.: Basic Spin Manual (1980), http://cm.bell-labs.com/netlib/spin/whatispin.html
Koch, N., Baumeister, H., Hennicker, R., Mandel, L.: Extending UML to Model Navigation and Presentation in Web Applications. In: Workshop on Modelling Web Applications in UML, UML 2000, New York, UK (October 2000)
Ricca, F., Tonella, P.: Analysis and Testing of Web Applications. In: Proc. of 23rd Int. Conference on Software Engineering, Toronto, Ontario, Canada, May 2001, pp. 25–34 (2001)
Rational Software, Pearl Circle Online Auction Reference Application Software Architecture Document, Issue 0.2, Rational Software (2001)
Winckler, M., Palanque, P.: 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.) DSV-IS 2003. LNCS, vol. 2844, pp. 61–76. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ding, Z., Jiang, M., Pu, G., Sanders, J.W. (2009). Modelling and Verification of Web Navigation . In: Gaedke, M., Grossniklaus, M., DÃaz, O. (eds) Web Engineering. ICWE 2009. Lecture Notes in Computer Science, vol 5648. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02818-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-02818-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02817-5
Online ISBN: 978-3-642-02818-2
eBook Packages: Computer ScienceComputer Science (R0)