loading...
Modeling and Analyzing SMIL Documents in SAM
Newport Beach, California, USA December 11-December 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MMSE.2002.1181605IEEE Fourth International Symposium o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Huiqun Yu, Xudong He, Shu Gao, Yi Deng, "Modeling and Analyzing SMIL Documents in SAM," Microelectronics Systems Education, IEEE International Conference on/Multimedia Software Engineering, International Symposium on, pp. 132, IEEE Fourth International Symposium on Multimedia Software Engineering (MSE'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/MMSE.2002.1181605,
author = {Huiqun Yu and Xudong He and Shu Gao and Yi Deng},
title = {Modeling and Analyzing SMIL Documents in SAM},
journal ={Microelectronics Systems Education, IEEE International Conference on/Multimedia Software Engineering, International Symposium on},
volume = {0},
year = {2002},
isbn = {0-7695-1857-5},
pages = {132},
doi = {http://doi.ieeecomputersociety.org/10.1109/MMSE.2002.1181605},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Microelectronics Systems Education, IEEE International Conference on/Multimedia Software Engineering, International Symposium on
TI - Modeling and Analyzing SMIL Documents in SAM
SN - 0-7695-1857-5
SP
EP
A1 - Huiqun Yu,
A1 - Xudong He,
A1 - Shu Gao,
A1 - Yi Deng,
PY - 2002
KW - Formal method
KW - multimedia
KW - SMIL
KW - SAM
KW - real-time
KW - model
KW - analysis
VL - 0
JA - Microelectronics Systems Education, IEEE International Conference on/Multimedia Software Engineering, International Symposium on
ER -
 
Huiqun Yu, Florida International University
Xudong He, Florida International University
Shu Gao, Florida International University
Yi Deng, Florida International University
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.
Index Terms:
Formal method, multimedia, SMIL, SAM, real-time, model, analysis
Citation:
Huiqun Yu, Xudong He, Shu Gao, Yi Deng, "Modeling and Analyzing SMIL Documents in SAM," mse, pp.132, IEEE Fourth International Symposium on Multimedia Software Engineering (MSE'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions