FORMAL DESIGN OF SMIL DOCUMENTS

Abdelkader Belkhir, Samia Bouyakoub-Smail

Abstract

This article introduces a new formal technique based on extended timed Petri nets, called SMIL-Net for the modelling and the verification of SMIL presentations. We also propose a technique for the temporal and hyper-temporal consistency checking of the document based on the SMIL-Net model.

References

  1. Ayars,J. World Wide Web Consortium Recommendation. "Synchronized Multimedia Integration Language (SMIL2.0)", online at "http://www.w3.org/TR/2001/REC-smil20- 20010807/", August 2001.
  2. P.Hoschka, W3C Recommendation, "Synchronized Multimedia Integration Language (SMIL) 1.0". Online at :http://www.w3.org/TR/REC-smil, June 1998.
  3. Huiqun.Y, Xudong.H, Shu.G, Yi.D, "Modeling and analyzing SMIL Documents in SAM ", Proceeding of IEEE Fourth International Symposium on multimedia software engineering (MSE'02), 2002.
  4. Sampaio, P.N.M., "Conception formelle de documents multimédias interactifs: une approche s'appuyant sur RT-LOTOS", PHD thesis, Paul Sabatier University, Toulouse,France, April 2003.
  5. Smail.S "Système d'édition multimédia", Master thesis, Houari Boumediene University, Bab Ezzouar, Algeria, December 2004.
  6. Sénac, P., de Saqui-Sannes, P., Willrich, W. “Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems”, proceedings of the International Conference On application and Theory of Petri Nets. Torino, Italy, June 1995.
  7. Sénac, P. "Contribution à la modélisation des systèmes multimédias et hypermédias", PHD thesis, Paul Sabatier University, Toulouse, France. June 1996.
  8. Sénac P. et all. "Modelling logical and temporal synchronization in Hypermedia Systems", IEEE journal on selected areas in communications, January 1996.
  9. Yang C.C., "Detection of the Time Conflicts for SMILbased Multimedia Presentations", Proceeding of 2000 International Computer Symposium (ICS2000)- Workshop on Computer Networks, Internet, and Multimedia, Chiayi, Taiwan, 2000.
Download


Paper Citation


in Harvard Style

Belkhir A. and Bouyakoub-Smail S. (2007). FORMAL DESIGN OF SMIL DOCUMENTS . In Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST, ISBN 978-972-8865-78-8, pages 396-399. DOI: 10.5220/0001271403960399


in Bibtex Style

@conference{webist07,
author={Abdelkader Belkhir and Samia Bouyakoub-Smail},
title={FORMAL DESIGN OF SMIL DOCUMENTS},
booktitle={Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,},
year={2007},
pages={396-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001271403960399},
isbn={978-972-8865-78-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,
TI - FORMAL DESIGN OF SMIL DOCUMENTS
SN - 978-972-8865-78-8
AU - Belkhir A.
AU - Bouyakoub-Smail S.
PY - 2007
SP - 396
EP - 399
DO - 10.5220/0001271403960399