Using statecharts to model hypertext

This paper describes how to use statecharts to model hypertext. Statechart is a formal graphical model based on state transition diagram and hypergraph. The statechart model is compared with other models for hypertext based on simple node-and-link graph, first-order logic formulae, hypergraph, and petri net. The features of statecharts relevant to the modeling of hypertext are described. Statecharts for the common features in frame-based and scrolling-based hypertext are given. Then statecharts are used to model the various buttons supported in a real-life production hypertext system, Guide (both the Unix version and the version marketed by Owl International Inc.). These examples illustrate that statecharts can be used to abstract the structure from the content of hypertext, and to model the structure and the browsing semantics of hypertext clearly and vividly.

[1]  Jakob Nielsen,et al.  Hypertext and hypermedia , 1990 .

[2]  K. Garg Pankaj,et al.  Abstraction mechanisms in hypertext , 1987, CACM.

[3]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[4]  Pankaj K. Garg,et al.  Abstraction mechanisms in hypertext , 1987, Hypertext.

[5]  Jakob Nielsen,et al.  The matters that really matter for hypertext usability , 1989, Hypertext.

[6]  Peter J. Brown.  Interactive documentation , 1986, Softw. Pract. Exp..

[7]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[8]  Mayer D. Schwartz,et al.  Neptune: a hypertext system for CAD applications , 1986, SIGMOD '86.

[9]  William B. Sanders.  Hypercard Made Easy , 1988 .

[10]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[11]  P. David Stotts,et al.  Programmable browsing semantics in Trellis , 1989, Hypertext.

[12]  Peter J. Brown,et al.  Turning ideas into products: the Guide system , 1987, Hypertext.

[13]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[14]  Steven M. Drucker,et al.  Intermedia: the concept and the construction of a seamless information environment , 1988, Computer.

[15]  David Harel,et al.  On visual formalisms , 1988, CACM.

[16]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[17]  Frank Wm. Tompa.  A data model for flexible hypertext database systems , 1989, TOIS.