A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents

  • Authors:

  • Affiliations:

  • Venue:
  • ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes a formal framework for the specification, analysis and generation of standardized hypermedia documents. This framework is based on the Hierarchical Time Stream Petri Net (HTSPN) model adapted to the specification of temporal and logical constraints in distributed hypermedia systems. The interpreted HTSPN model presented in the paper allows the accurate and unambiguous specification of hypermedia documents. Moreover, it permits powerful analysis techniques to be applied for insuring the quality of hypermedia documents. It is important for a HTSPN specification to be stocked, exchanged and presented within open hypermedia systems. Therefore, a procedure translating interpreted HTSPN specification into an MHEG representation is also proposed.