FORMAL DESIGN OF SMIL DOCUMENTS

Abdelkader Belkhir, Samia Bouyakoub-Smail

2007

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.

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