Designing consistent multimedia documents: the RT-LOTOS methodology

  • Authors:

  • Paulo Nazareno Maia Sampaio;Laura Margarita Rodríguez Peralta;Jean-Pierre Courtiat

  • Affiliations:

  • Distributed Systems and Networks Lab, University of Madeira, Funchal, Madeira, Portugal;Distributed Systems and Networks Lab, University of Madeira, Funchal, Madeira, Portugal;LAAS, CNRS, Toulouse, France

  • Venue:
  • FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Interactive Multimedia Documents (IMDs) are expected to satisfy temporal consistency properties in order to ensure that their synchronization constraints (temporal, logical and causal) can be respected during their presentation. If an inconsistent situation can not be detected previously, the presentation of the document can be lead to undesirable deadlocks (global or partial). 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 necessary to apply a methodology that provides the formal modelling for the dynamic behavior of the document, consistency checking, and the scheduling of the presentation taking into account the temporal non-determinism of these documents. This paper presents the main results of the development of a formal methodology which is based on the Formal Description Technique RT-LOTOS, and which has been successfully applied to support the design of complex SMIL 2.0 documents.