Multimedia streaming services: specification, implementation, and retrieval
MIR '03 Proceedings of the 5th ACM SIGMM international workshop on Multimedia information retrieval
Synchronization modeling and its application for SMIL2.0 presentations
Journal of Systems and Software
Enriching SMIL with assertions for temporal validation
Proceedings of the 15th international conference on Multimedia
SMIL builder: An incremental authoring tool for SMIL Documents
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
An approach to verify live NCL applications
Proceedings of the 18th Brazilian symposium on Multimedia and the web
| Hi-index | 0.00 |
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to satisfying quality of service (QoS)requirements. This paper proposes a formal approach to modeling and analyzing temporal aspects of SMIL documents using the Software Architecture Model (SAM), which is based on a dual formalism combining Petri nets and temporal logic. Synchronization elements of SMIL are systematically modeled by Petri nets. Useful QoS properties of SMIL documents are specified using temporal logic formulas and verified by automatic tools. Timelines of SMIL document presentation are analyzed by reachability tree technique.