TLSA PLAYER: A TOOL FOR PRESENTING CONSISTENT SMIL 2.0 DOCUMENTS

Paulo N. M. Sampaio, Jean-Pierre Courtiat

Abstract

Describing synchronization constraints in complex Interactive Multimedia Documents at authoring time can be an error-prone task, especially if the increasing number of media objects participating in these relations is considered. As a consequence, some synchronization constraints specified by the author may not be satisfied, leading the presentation of the document to undesirable deadlocks or to unexpected misbehaviours, characterizing the occurrence of an inconsistency. In particular, the flexibility of high level authoring models (such as SMIL 2.0) for the edition of complex IMDs can lead authors, in certain cases, to specify inconsistent documents. For this reason, it is important to apply multimedia players that can ensure the presentation of consistent documents. This paper presents the main aspects of the development of a multimedia player which ensures the presentation of consistent multimedia documents, the TLSA Player. The TLSA Player is part of a formal methodology for the design of multimedia documents which provides the formal semantics for the dynamic behaviour of the document, consistency checking, and the scheduling of the presentation taking into account the temporal non-determinism of these documents.

References

  1. Courtiat, J.-P., Oliveira, R.C. 1996. Proving Temporal Consistency in a New Multimedia Synchronization Model. In: 4th ACM Multimedia'96, pp.141-152, Boston, USA.
  2. Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B. 2000. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. In: Computer Communications 23.
  3. GriNS Home Page. URL: http://www.oratrix.com/ GRiNS/SMIL2.0/.
  4. Jourdan, M. 2001. A formal semantics of SMIL: a Web standard to describe multimedia documents. In: Computer Standards and Interfaces, 23 (2001), pp. 439-455.
  5. Layaida, N., Keramane, C. 1995. Mantaining Temporal Consistency of Multimedia Documents. In: ACM Workshop on Effective Abstractions in Multimedia, San Francisco.
  6. Lohr, C. 2002. Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOS. In : PhD Thesis (in french), Université Paul Sabatier, Toulouse.
  7. Mirbel, I., Pernici, B., Sellis, T., Tserkezoglou, S., Vazirgiannis, M. 2000. Checking Temporal Integrity of Interactive Multimedia Documents. In: VLDB journal.
  8. RealPlayer G2 Home Page. URL: http://www.real.com/.
  9. Sampaio, P.N.M. 2003. Conception formelle de documents multimédia interactifs: Une approche s'appuyant sur RT-LOTOS. In: Ph.D. Thesis (in french). Université Paul Sabatier - Toulouse III, Toulouse, France.
  10. Synchronized Multimedia Integrated Language (SMIL). URL: http://www.w3.org/AudioVideo/
Download


Paper Citation


in Harvard Style

N. M. Sampaio P. and Courtiat J. (2007). TLSA PLAYER: A TOOL FOR PRESENTING CONSISTENT SMIL 2.0 DOCUMENTS . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS, ISBN 978-972-8865-92-4, pages 268-271. DOI: 10.5220/0002357502680271


in Bibtex Style

@conference{iceis07,
author={Paulo N. M. Sampaio and Jean-Pierre Courtiat},
title={TLSA PLAYER: A TOOL FOR PRESENTING CONSISTENT SMIL 2.0 DOCUMENTS},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,},
year={2007},
pages={268-271},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002357502680271},
isbn={978-972-8865-92-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,
TI - TLSA PLAYER: A TOOL FOR PRESENTING CONSISTENT SMIL 2.0 DOCUMENTS
SN - 978-972-8865-92-4
AU - N. M. Sampaio P.
AU - Courtiat J.
PY - 2007
SP - 268
EP - 271
DO - 10.5220/0002357502680271