Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system

caT (for Context-Aware Trellis) was initially developed to support context-aware documents by incorporating high-level Petri-net specification, context-awareness, user modeling, and fuzzy knowledge handling features into Trellis, a Petri-net-based hypermedia system. The browsing behavior of documents specified in the caT model can reflect the reader's contextual (such as location and time) and preference information. Recently, to provide a framework for the authoring, browsing, and analysis of reasonably complex, dynamic documents, we added (or extended) several features in the caT system, providing hierarchical Petri net support, a structured authoring tool, browsing tools for multiple presentations of a particular document's specification, and a Petri net analysis tool. In this paper, we present the extended features of caT and give examples of using caT to define and present various documents, such as formal specification of software requirements and customized Web documents. Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed. Current debugging and analysis tools, integrated into the authoring tool, are also introduced.

[1]  Lotfi A. Zadeh,et al.  Fuzzy Logic Toolbox User''''s Guide , 1995 .

[2]  Lotfi A. Zadeh,et al.  Knowledge Representation in Fuzzy Logic , 1996, IEEE Trans. Knowl. Data Eng..

[3]  P. ed Hoschka,et al.  synchronized Multimedia Integration Language (SMIL) 1.0 Specification , 1998 .

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

[5]  Pierre de Saqui-Sannes,et al.  Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems , 1995, Application and Theory of Petri Nets.

[6]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[7]  Jin-Cheon Na,et al.  Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net , 2000, HYPERTEXT '00.

[8]  Michael Joyce.  Storyspace as a hypertext system for writers and readers of varying ability , 1991, HYPERTEXT '91.

[9]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[10]  Daniel Mossé,et al.  The MORENA model for hypermedia authoring and browsing , 1995, Proceedings of the International Conference on Multimedia Computing and Systems.

[11]  P. David Stotts,et al.  Dynamic adaptation of hypertext structure , 1991, HYPERTEXT '91.

[12]  Richard Furuta,et al.  A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols , 1994 .

[13]  P. David Stotts,et al.  Interpreted collaboration protocols and their use in groupware prototyping , 1994, CSCW '94.

[14]  P. David Stotts,et al.  Hyperdocuments as automata: verification of trace-based browsing properties by model checking , 1998, TOIS.

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

[16]  Kurt Jensen,et al.  Coloured Petri Nets , 1996, Monographs in Theoretical Computer Science. An EATCS Series.

[17]  Jin-Cheon Na,et al.  Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System , 2000, DDEP/PODDP.

[18]  Patrick Sénac,et al.  A formal framework for the specification, analysis and generation of standardized hypermedia documents , 1996, Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems.

[19]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[20]  D. Stotts,et al.  Trellis: a Formally-defined Hypertextual Basis for Integrating Task and Information , 1999 .

[21]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[22]  Maria Cristina Ferreira de Oliveira,et al.  A statechart-based model for hypermedia applications , 2001, TOIS.

[23]  L. A. Zedeh.  Knowledge representation in fuzzy logic , 1989 .

[24]  Arjeh M. Cohen,et al.  Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .

[25]  Jean-Lien C. Wu,et al.  Interactive hypermedia applications: A model and its implementation , 1995, Softw. Pract. Exp..

[26]  P. David Stotts,et al.  Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext , 1990, ECHT.

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