Dynamic Documents: Authoring, Browsing, and Analysis Using a High-Level Petri Net-Based Hypermedia System

Proceedings of the ACM Symposium on Document Engineering

Volumn , Issue , 2001, Pages 38-47

  Na, Jin Cheon ^a   Furuta, Richard ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

caT; Dynamic documents; Petri net based hypertext; Trellis

Indexed keywords

AUTHORING TOOLS;

CONTEXT SENSITIVE LANGUAGES; FUZZY CONTROL; GRAPHICAL USER INTERFACES; HYPERMEDIA SYSTEMS; PETRI NETS; TRELLIS CODES; WEB BROWSERS;

PROGRAM DOCUMENTATION;

EID: 0141426575     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. BOTAFOGO, R. and MOSSÉ, D. "The MORENA Model for Hypermedia Authoring and Browsing", In Proceedings of the International Conference on Multimedia Computing and Systems (Los Alamitos, Ca., USA, May 1995), IEEE Computer Society Press, pp. 42-49.
2. BRUSILOVSKY, P. "Methods and techniques of adaptive hypermedia", User Modeling and User Adapted Interaction, 6, 2-3 (1996), pp. 87-129.
3. DE OLIVEIRA, M.C.F., TURINE, M.A.S., and MASIERO, P.C. "A Statechart-Based Model for Hypermedia Applications", ACM Transactions on Information Systems, 19, 1 (Jan. 2001), pp. 28-52.
4. DEY, A.K. and ABOWD, G.D. "Toward a Better Understanding of Context and Context-Awareness", Georgia Institute of Technology, GVU Technical Report GIT-GVU-99-22, (June 1999).
5. DIAZ, M. and SÉNAC, P. "Time stream Petri nets, a model for multimedia streams synchronization", In Proceedings of the First International Conference on Multi-media Modeling, (1993), pp. 257-273.
6. FURUTA, R. and STOTTS, P.D. "Trellis: a Formally-defined Hypertextual Basis for Integrating Task and Information", Lawrence Erlbaum Associates, (2001), pp. 341-367.
7. FURUTA, R. and STOTTS, P.D. "A hypermedia basis for the specification, documentation, verification, and prototyping of concurrent protocols", Technical Report TAMU-HRL 94-003, Texas A&M University, Hypertext Research Lab, (June 1994).
8. FURUTA, R. and STOTTS, P.D. "Interpreted Collaboration Protocols and their Use in Groupware Prototyping", In Proceedings of ACM 1994 Conference on Computer Supported Cooperative Work, ACM, (Oct. 1994), pp. 121-132.
9. GHEZZI, C., JAZAYERI, M., and MANDRIOLI, D. "Fundamentals of Software Engineering", Prentice Hall, (1991).
10. HALASZ, F. and SCHWARTZ, M. "The Dexter Reference Model", In Proceedings of NIST Hypertext Standardization Workshop, (1990), pp. 95-133.
11. HAREL, D. "Statecharts: a visual formalism for complex systems", Science of Computer Programming, 8, (1987), pp. 231-274.
12. ISO 13522-1. "Information Technology - Coding of Multimedia and Hypermedia Information - Part 1: MHEG Object Representation, Base Notation (ASN. 1)", (1994).
13. JENSEN, K. "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1", EATCSMonographs on Theoretical Computer Science, Springer-Verlag, (1992).
14. JOYCE, M. "Storyspace as a hypertext system for writers and readers of varying ability", In Proceeding of Hypertext '91 (San Antonio, USA, Dec. 1991), ACM, pp. 381-387.
15. The MathWorks, Inc. "Fuzzy Logic Toolbox User's Guide", (1999).
16. NA, J.-C. and FURUTA, R. "Context-Aware Digital Documents Described In A High-Level Petri-net-based Hypermedia System", Digital Documents and Electronic Publishing (DDEPOO) (Munich, Germany, Sept. 2000).
17. NA, J.-C. and FURUTA, R. "Context-Aware Hypermedia in a Dynamically-Changing Environment, Supported by A High-Level Petri Net", In Proceedings of Hypertext '2000 (San Antonio TX, USA, May 2000), pp. 222-223.
18. PAULO, F.B., TURINE, M.A.S., DE OLIVEIRA, M.C.F., and MASIERO, P.C. "XHMBS: A Formal Model to Support Hypermedia Specification", In Proceedings of Hypertext '98 (Pittsburgh PA, USA, 1998), ACM, pp. 161-170.
19. PETERSON, J.L. "Petri Net Theory and the Modeling of Systems", Prentice-Hall, Englewood Cliffs, N.J., (1981).
20. SMIL. "Synchronized Multimedia Integration Language (SMIL 2.0) Specification", W3C Proposed Recommendation (05 June 2001), http://www.w3.org/TR/smil20/.
21. SÉNAC, P., DE SAQUI-SANNES, P., and WILLRICH, R. "Hierarchical Time Stream Petri Net: a model for hypermedia systems", In Application and Theory of Petri Nets 1995, Lecture Notes in Computer Science no. 935, G. DE MICHELIS and M. DIAZ (Eds.), Springer (1995), pp. 451-470.
22. STOTTS, P.D. and FURUTA, R. "Petri-net-based hypertext: Document structure with browsing semantics", ACM Transactions on Information Systems, 7, 1 (Jan. 1989), pp. 3-29.
23. STOTTS, P.D. and FURUTA, R. "Hierarchy, composition, scripting languages, and translators for structured hypertext", In Proceedings of the European Conference on Hypertext '90 (Nov. 1990), pp. 180-193.
24. STOTTS, P.D. and FURUTA, R. "Dynamic Adaptation of Hypertext Structure", In Proceedings of Hypertext '91 (1991), pp. 219-231.
25. STOTTS, P.D., FURUTA, R., and CABARRUS, C.R. "Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking", ACM Transactions on Information Systems, 16, 1 (1998), pp. 1-30.
26. WANG, H. K. and WU, J.-L. C. "Interactive Hypermedia Applications: A Model and Its Implementation", Software-Practice and Experience, 25, 9 (September 1995), pp. 1045-1063.
27. WILLRICH, R., SÉNAC, P., DIAZ, M., and DE SAQUI-SANNES, P. "A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents", In Proceedings of Multimedia '96 (1996), IEEE Press, pp. 399-406.
28. ZADEH, L.A. "Knowledge representation in fuzzy logic", IEEE Trans. Knowledge and Data Engineering, 1, 1 (1989), pp. 89-100.