GRiNS: a graphical interface for creating and playing SMIL documents
WWW7 Proceedings of the seventh international conference on World Wide Web 7
A Scalable Toolkit for Designing Multimedia Authoring Environments
Multimedia Tools and Applications
Modeling and Analyzing SMIL Documents in SAM
MSE '02 Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
ITCC '03 Proceedings of the International Conference on Information Technology: Computers and Communications
SMILAuthor: An Authoring System for SMIL-Based Multimedia Presentations
Multimedia Tools and Applications
Formal design of SMIL presentations
Proceedings of the 21st annual international conference on Documentation
NCL 2.0: integrating new concepts to XML modular languages
Proceedings of the 2004 ACM symposium on Document engineering
Structured multimedia authoring
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
The limsee3 multimedia authoring model
Proceedings of the 2006 ACM symposium on Document engineering
Enriching SMIL with assertions for temporal validation
Proceedings of the 15th international conference on Multimedia
H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents
UKSIM '08 Proceedings of the Tenth International Conference on Computer Modeling and Simulation
SMIL 3.0: Flexible Multimedia for Web, Mobile Devices and Daisy Talking Books
SMIL 3.0: Flexible Multimedia for Web, Mobile Devices and Daisy Talking Books
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Incremental validation of digital TV applications in nested context language
Proceedings of the 10th European conference on Interactive tv and video
An approach to verify live NCL applications
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Go beyond boundaries of iTV applications
Proceedings of the 2013 ACM symposium on Document engineering
| Hi-index | 0.00 |
We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.