A statechart-based model for hypermedia applications

Abstract

This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts). HMBS uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of hypermedia applications. Statecharts are an extension of finite-state machines and the model is thus a generalization of hypergraph-based hypertext models. Some of the most important features of HMBS are its ability to model hierarchy and synchronization of information; provision of mechanisms for specifying access structures, navigational contexts, access control, multiple tailored versions, and hierarchical views. Analysis of the underlying statechart machine allows verification of page reachability, valid paths, and other properties, thus providing mechanisms to support authors in the development of structured applications.

DrSust: Adaptive Tutoring System to Increase Students’ Engagement in Programming Learning

“…The concepts could be represented as nodes and the relation between the concepts could be in the form of edges connecting the nodes. Some of the types of knowledge models identified by [1] The use of state charts has been proposed by [6] for modelling of hypertext and web based applications. Transitioning into a state chart diagram, the state of the nodes will change (disable/enable) according to the user's current location in the diagram.…”

Automatic dialog mask generation for device-independent web applications

“…The Hypermedia Model Based on Statecharts (HMBS) [8] allows the channel-dependent specification of navigation patterns, however, it focuses especially on challenges such as synchronization that are introduced by multimedia elements embedded into hypertext. Schewe et al [21] use a formal approach for modeling interaction and media objects that allows the specification of device-specific variants of media objects depending on the presentation channels' capabilities, but do not provide means for the automatic pagination of dialogs or generation of micro dialog flows.…”

Formal Verification of Web Applications Modeled by Communicating Automata

“…Previous work on the topic includes modeling approaches that target the verification of such applications [25,26,27,28], testing [29,30,32,32], design and implementation [10,11,12,13,14]. In [25,26] an approach is presented where a web site is modeled as a directed graph.…”

“…Other approaches for modeling web applications are oriented towards the design rather than analysis of WA. These include object oriented based models [10] and statechart based models [11,12,13,14], that are tailored to forward engineering, logical and hierarchical representation of web applications. Such models are not available for analyzing existing WA developed without formal models.…”