The Dexter hypertext reference model
Communications of the ACM
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
XHMBS: a formal model to support hypermedia specification
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Implementation of multimedia systems based on a real-time extension of Estelle
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
MUSE: An Environment for the Conception of Java Multimedia Applications
Multimedia Tools and Applications
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Multimedia authoring, development environments, and digital video editing.
Multimedia authoring, development environments, and digital video editing.
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
Improving the consistency verification and the quality of multimedia presentations
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
The expected benefits of modeling documents using a formal technique are twofold. First, the document's model can be checked against logical errors and unsatisfied timing constraints. Second, the same model can serve as reference for implementation purposes. In this context, the paper discusses a methodology for multimedia document design and implementation on heterogeneous and distributed platforms. The design trajectory starts with document modeling in Hierarchical Timed Stream Petri Nets, goes on with model checking against design errors, and continues with automatic translation of HTSPN models into a Java application. A tool prototype supports the methodology with a document editor, a simulator and a HTSPN to Java generator. Its use is exemplified on a guided tour of Florianopolis City, Brazil.