Paper Info
Title
A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents
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.
Year
DOI
Venue
1996
10.1109/MMCS.1996.535005
ICMCS
Keywords
Field
DocType
powerful analysis technique,hierarchical time stream petri,interactive theater,multimedia vr,main research group,htspn specification,open hypermedia system,vr museum,htspn model,formal framework,unambiguous specification,standardized hypermedia document,hypermedia document,standardized hypermedia documents,virtual reality,multimedia center,hypermedia system,standardisation,group representation,formal specification,distributed processing,open systems,petri net,petri nets,power analysis
Petri net,Programming language,Hypermedia,Computer science,Formal specification,Open system (systems theory),Document handling
Conference
ISBN
Citations 
PageRank 
0-8186-7819-4
4
0.48
References 
Authors
9
4
Name
Order
Citations
PageRank
Roberto Willrich18610.23
Patrick Sénac222222.89
Michel Diaz329538.53
P. De Saqui-Sannes41238.44