StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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

Marco Winckler
Philippe Palanque

Résumé

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.
Fichier principal
Vignette du fichier
StateWebCharts_ A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.pdf (566.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03664737 , version 1 (11-05-2022)

Identifiants

Citer

Marco Winckler, Philippe Palanque. StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. 10th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS 2003), Jun 2003, Funchal, Portugal. pp.61-76, ⟨10.1007/978-3-540-39929-2_5⟩. ⟨hal-03664737⟩
19 Consultations
49 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More