Providing the design and presentation of consistent multimedia documents



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.


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


Multimedia Authoring


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

Cited by

No citations found