StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
M. Winckler,Philippe A. Palanque
2003 · DOI: 10.1007/978-3-540-39929-2_5
International Workshop on Design, Specification, and Verification of Interactive Systems · 93 Citations
TLDR
This paper presents StateWebCharts (SWC), a formal description technique based on statecharts for describing navigation on web applications that 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.