Conference proceeding
Modeling and analyzing SMIL documents in SAM
Fourth International Symposium on Multimedia Software Engineering, 2002. Proceedings, pp 132-139
2002
Abstract
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining time-ordered relations among the component media is vital for 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 using the reachability tree technique.
Metrics
Details
- Title
- Modeling and analyzing SMIL documents in SAM
- Creators
- Huiqun Yu - Florida International UniversityXudong He - Florida International UniversityShu Gao - Florida International UniversityYi Deng - Florida International UniversityIEEE COMPUTER SOCIETY
- Publication Details
- Fourth International Symposium on Multimedia Software Engineering, 2002. Proceedings, pp 132-139
- Publisher
- IEEE
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- College of Computing and Informatics
- Web of Science ID
- WOS:000180301700017
- Scopus ID
- 2-s2.0-84943014685
- Other Identifier
- 991021868109104721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic