Title :
A formal framework for the specification, analysis and generation of standardized hypermedia documents
Author :
Willrich, Roberto ; Senac, Patrick ; Diaz, Michel ; De Saqui-Sannes, Pierre
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
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 stored, exchanged and presented within open hypermedia systems. Therefore, a procedure for translating interpreted HTSPN specification into an MHEG (Multimedia and Hypermedia Experts Group) representation is also proposed
Keywords :
Petri nets; distributed processing; document handling; formal specification; hypermedia; open systems; standardisation; MHEG representation; distributed hypermedia systems; document analysis; document generation; document quality assurance; document specification; formal framework; hierarchical time stream Petri net model; interpreted HTSPN model; logical constraints; open systems; standardized hypermedia documents; temporal constraints; translation procedure; Encoding; Hypertext systems; Information representation; Navigation; Petri nets; Power system modeling; Solids; Specification languages; Standards development; Text analysis;
Conference_Titel :
Multimedia Computing and Systems, 1996., Proceedings of the Third IEEE International Conference on
Conference_Location :
Hiroshima
Print_ISBN :
0-8186-7438-5
DOI :
10.1109/MMCS.1996.535005
