Results 1 -
5 of
5
StateWebCharts: a Formal Description Technique Dedicated to Navigation Modelling of Web Applications
- International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'2003
, 2003
"... 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 transition ..."
Abstract
-
Cited by 11 (2 self)
- Add to MetaCart
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. 1.
Formal verification of web applications modeled by communicating automata
- IN: PROCEEDING OF FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, 24TH IFIP WG 6.1 INTERNATIONAL CONFERENCE
"... In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We elaborate a method for automatic generation of such a model from a recorded browsing session. The obtained model could th ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We elaborate a method for automatic generation of such a model from a recorded browsing session. The obtained model could then be used to verify properties with a model checker, as well as for regression testing and documentation. Unlike previous attempts, our approach is oriented towards complex multi-window/frame applications. We present an implementation of the approach that uses the model checker Spin and provide an example.
Efficient Modeling of Hierarchical Dialog Flows for Multi-Channel Web Applications
"... In web-based applications, most user interactions take the form of navigating between web pages. The structure of the navigation model thus has a strong impact on a web application’s usability. However, specifying a user-friendly navigation model for complex applications can be timeconsuming, especi ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
In web-based applications, most user interactions take the form of navigating between web pages. The structure of the navigation model thus has a strong impact on a web application’s usability. However, specifying a user-friendly navigation model for complex applications can be timeconsuming, especially when designing for multiple presentation channels. We therefore present the formal semantics of the Dialog Flow Notation (DFN) that provides constructs for the design of modular navigation models, and especially focus on constructs that reduce the specification redundancy within and between channels, thus reducing the design effort for web-based user interfaces. 1.
Deriving User Interfaces from Task Models
"... This position paper presents our view on model driven user interface development and relates it to other approaches. Our methodology is based on task models that are attributed and merged with a navigational model to derive user interface models. A toolset to support this development approach is int ..."
Abstract
- Add to MetaCart
This position paper presents our view on model driven user interface development and relates it to other approaches. Our methodology is based on task models that are attributed and merged with a navigational model to derive user interface models. A toolset to support this development approach is introduced which is well-integrated and itself based on the eclipse modeling framework EMF. 1.

