Providing the design and presentation of consistent multimedia documents

Authors

Abstract

The W3C standard SMIL is a solution for the synchronized integration of distributed com-ponents of a multimedia document to be presented on the Web. However, the flexibility of the temporal model of SMIL can lead authors, in certain cases, to describe inconsistent documents, that is, temporal constraints that can not be respected during the presentation of the document. For this reason, this paper presents a methodology based on the formal description technique RT-LOTOS which provides the formal semantics for the dynamic behavior of SMIL documents, consistency checking, and the scheduling of the presentation taking into account the temporal non-determinism of these documents.

Keywords

Interactive Multimedia Documents; SMIL; Formal Description Techniques; RT-LOTOS; LOTOS

Subject

Multimedia Authoring

Conference

5a. Conferência da Associação Portuguesa de Sistemas de Informação, November 2004