Modelling and verification of web navigation

Zuohua Ding; Mingyue Jiang; Geguang Pu; Jeff W. Sanders

doi:10.1007/978-3-642-02818-2_13

Modelling and verification of web navigation

Zuohua Ding^*
, Mingyue Jiang
, Geguang Pu
, Jeff W. Sanders

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

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.

Original language	English
Title of host publication	Web Engineering - 9th International Conference, ICWE 2009, Proceedings
Pages	181-188
Number of pages	8
DOIs	https://doi.org/10.1007/978-3-642-02818-2_13
State	Published - 2009
Event	9th International Conference on Web Engineering, ICWE 2009 - San Sebastian, Spain Duration: 24 Jun 2009 → 26 Jun 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5648 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Web Engineering, ICWE 2009
Country/Territory	Spain
City	San Sebastian
Period	24/06/09 → 26/06/09

Keywords

Link Analysis
Model Checking
Requirement Engineering
Web Modelling

Access to Document

10.1007/978-3-642-02818-2_13

Cite this

Ding, Z., Jiang, M., Pu, G., & Sanders, J. W. (2009). Modelling and verification of web navigation. In Web Engineering - 9th International Conference, ICWE 2009, Proceedings (pp. 181-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5648 LNCS). https://doi.org/10.1007/978-3-642-02818-2_13

@inproceedings{2f0a3082ddf44eb38899924e866b04b1,

title = "Modelling and verification of web navigation",

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.",

keywords = "Link Analysis, Model Checking, Requirement Engineering, Web Modelling",

author = "Zuohua Ding and Mingyue Jiang and Geguang Pu and Sanders, \{Jeff W.\}",

year = "2009",

doi = "10.1007/978-3-642-02818-2\_13",

language = "英语",

isbn = "3642028179",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "181--188",

booktitle = "Web Engineering - 9th International Conference, ICWE 2009, Proceedings",

note = "9th International Conference on Web Engineering, ICWE 2009 ; Conference date: 24-06-2009 Through 26-06-2009",

}

Ding, Z, Jiang, M, Pu, G & Sanders, JW 2009, Modelling and verification of web navigation. in Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5648 LNCS, pp. 181-188, 9th International Conference on Web Engineering, ICWE 2009, San Sebastian, Spain, 24/06/09. https://doi.org/10.1007/978-3-642-02818-2_13

Modelling and verification of web navigation. / Ding, Zuohua; Jiang, Mingyue; Pu, Geguang et al.
Web Engineering - 9th International Conference, ICWE 2009, Proceedings. 2009. p. 181-188 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5648 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modelling and verification of web navigation

AU - Ding, Zuohua

AU - Jiang, Mingyue

AU - Pu, Geguang

AU - Sanders, Jeff W.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Link Analysis

KW - Model Checking

KW - Requirement Engineering

KW - Web Modelling

UR - https://www.scopus.com/pages/publications/70350222229

U2 - 10.1007/978-3-642-02818-2_13

DO - 10.1007/978-3-642-02818-2_13

M3 - 会议稿件

AN - SCOPUS:70350222229

SN - 3642028179

SN - 9783642028175

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 181

EP - 188

BT - Web Engineering - 9th International Conference, ICWE 2009, Proceedings

T2 - 9th International Conference on Web Engineering, ICWE 2009

Y2 - 24 June 2009 through 26 June 2009

ER -

Modelling and verification of web navigation

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this