Abstract
In this paper we will present an approach based on Time Petri net (TPN) for verifying temporal coherence in a SMIL (Synchronized Multimedia Integration Language) document presentation. In our approach, we can model a SMIL document by TPN model by translation of the SMIL elements and attributes into TPN concepts. Some extension of the TPN model is made to obtain the synchronization concepts equivalence of a SMIL document like sequential and parallel. The analysis of TPN by the Tina tool allows us to verify the consistency properties and the temporal coherence of the SMIL document.
An Erratum for this chapter can be found at http://dx.doi.org/10.1007/978-3-642-41366-7_25
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Asnawi, R., Ahmad, W.F.W., Rambli, D.R.A.: Formalization and verification of a live multimedia presentation model. International Journal of Computer Applications 20(3), 32–41 (2011)
Ayars, J., Bulterman, D., Cohen, A., Day, K., Hodge, E., Hoschka, P., Hyche, E., Jourdan, M., Kubota, K., Lanphier, R.: Synchronized multimedia integration language (SMIL) 2.0 specification. Work in progress. W3C Working Drafts (September 21, 2000), http://www.w3.org/TR
Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Software Eng. 17(3), 259–273 (1991)
Chung, S.M., Pereira, A.L.: Timed petri net representation of the synchronized multimedia integration language (smil) of xml. In: Proceedings of the International Conference on Information Technology: Computers and Communications, ITCC 2003, pp. 711–716. IEEE Computer Society, Washington, DC (2003)
Courtiat, J.-P., De Oliveira, R.C.: Proving temporal consistency in a new multimedia synchronization model. In: Proceedings of the Fourth ACM International Conference on Multimedia, MULTIMEDIA 1996, pp. 141–152. ACM, New York (1996)
Gaggi, O., Bossi, A.: Analysis and verification of smil documents. Multimedia Systems 17(6), 487–506 (2011)
Ghomari, A., Djeraba, C.: An approach for synchronization and management of multimedia scenarios in an object-oriented database. In: Loucopoulos, P., Cavarero, J.-L. (eds.) RCIS, pp. 175–182. IEEE (2010)
International Organization for Standardization. Information technology — hypermedia/time-based structuring language (hytime). ISO/IEC 10744 (1997)
Jourdan, M., Layaïda, N., Roisin, C., Sabry-Ismaïl, L., Tardif, L.: Madeus, and authoring environment for interactive multimedia documents. In: Proceedings of the Sixth ACM International Conference on Multimedia, MULTIMEDIA 1998, pp. 267–272. ACM, New York (1998)
Little, T.D.C., Ghafoor, A.: Synchronization and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications 8(3), 413–427 (1990)
Price, R.: Mheg: an introduction to the future international standard for hypermedia object interchange. In: Proceedings of the First ACM International Conference on Multimedia, MULTIMEDIA 1993, pp. 121–128. ACM, New York (1993)
Sampaio, P.N.M., Courtiat, J.-P.: An approach for the automatic generation of rt-lotos specifications from smil 2.0 documents. J. Braz. Comp. Soc. 9(3), 39–51 (2004)
Sampaio, P.N.M.: Conception Formelle de Documents Multimedia: Une Approche s’appuyant sur RT-LOTOS. PhD thesis, Univ Paul Sabatier, Toulouse, France (2003)
Vazirgiannis, M., Boll, S.: Events in interactive multimedia applications: Modeling and implementation design. In: Proceedings of the 1997 International Conference on Multimedia Computing and Systems, ICMCS 1997, p. 244. IEEE Computer Society, Washington, DC (1997)
Zaza, M.: Modeling and verifying the Temporal Coherence of SMIL Documents Using Time Peti Nets. Master’s thesis, University of Es Senia, Oran (September 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghomari, A., Belheziel, N., Mekahlia, FZ., Djeraba, C. (2013). Retracted: Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation. In: Cuzzocrea, A., Maabout, S. (eds) Model and Data Engineering. MEDI 2013. Lecture Notes in Computer Science, vol 8216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41366-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-41366-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41365-0
Online ISBN: 978-3-642-41366-7
eBook Packages: Computer ScienceComputer Science (R0)