Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java |
| |
Authors: | Willrich Roberto De Saqui-Sannes Pierre Sénac Patrick Diaz Michel |
| |
Affiliation: | (1) INE/CTC/UFSC, Caixa Postal 476, 88040-900 Florianópolis SC, Brazil;(2) ENSICA, 1 place Emile Blouin, 31056 Toulouse Cedex 05, France;;(3) LAAS-CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex 04, France |
| |
Abstract: | 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. |
| |
Keywords: | multimedia authoring Petri Nets Java |
本文献已被 SpringerLink 等数据库收录! |
|