A statechart-based model for hypermedia applications

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.

[1]  Gustavo Rossi,et al.  Systematic hypermedia application design with OOHDM , 1996, HYPERTEXT '96.

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

[3]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[4]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[5]  Jocelyne Nanard,et al.  Hypertext design environments and the hypertext design process , 1995, CACM.

[6]  Arnold Kamis,et al.  Extending the capabilities of RMM: Russian dolls and hypertext , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[7]  Maria Cristina Ferreira de Oliveira,et al.  A navigation-oriented hypertext model based on statecharts , 1997, HYPERTEXT '97.

[8]  Fabio Vitali,et al.  Toward Support for Hypermedia on the World Wide Web , 1997, Computer.

[9]  Franca Garzotto,et al.  HDM—a model-based approach to hypertext application design , 1993, TOIS.

[10]  Jörg M. Haake,et al.  Hypermedia and cognition: designing for comprehension , 1995, CACM.

[11]  Derek Coleman,et al.  Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design , 1992, IEEE Trans. Software Eng..

[12]  Maria Cristina Ferreira de Oliveira,et al.  XHMBS: a formal model to support hypermedia specification , 1998, HYPERTEXT '98.

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

[14]  V. Balasubramanian,et al.  A large-scale hypermedia application using document management and Web technologies , 1997, HYPERTEXT '97.

[15]  Paulo César Masiero,et al.  A reachability tree for statecharts and analysis of some properties , 1994, Inf. Softw. Technol..

[16]  Maria Cristina Ferreira de Oliveira,et al.  HMBS/M - an object oriented method for hypermedia design , 1999 .

[17]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[18]  Yi Zheng,et al.  Using statecharts to model hypertext , 1992, ECHT '92.

[19]  Philippe Palanque,et al.  Formal methods in computer human interaction: comparison, benefits, open questions , 1996, CHI 1996.

[20]  Gustavo Rossi,et al.  Design reuse in hypermedia applications development , 1997, HYPERTEXT '97.

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

[22]  Tomás Isakowitz,et al.  RMM: a methodology for structured hypermedia design , 1995, CACM.

[23]  Maria Cristina Ferreira de Oliveira,et al.  Hypercharts: Extended Statecharts to Support Hypermedia Specification , 1999, IEEE Trans. Software Eng..

[24]  D. D. Cowan,et al.  ADVcharts: a visual formalism for interactive systems , 1994, SGCH.

[25]  Alicia Díaz,et al.  Hypermedia Design , 1996, Workshops in Computing.

[26]  Maria Cristina Ferreira de Oliveira,et al.  Automatic HTML generation from formal hypermedia specifications , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[27]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

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

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

[30]  Danny B. Lange,et al.  An object-oriented design method for hypermedia information systems , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.