TY - GEN
T1 - An Integrated Environment for the Presentation of Consistent SMIL 2.0 Documents
AU - Sampaio, P. N.M.
AU - Lohr, C.
AU - Courtiat, J. P.
PY - 2001
Y1 - 2001
N2 - The utilization of Interactive Multimedia Documents (IMDs) has been largely addressed in several fields such as education, medicine, etc. since these documents can be distributed and accessed over the World-Wide-Web. In this context, the W3C standard Synchronized Multimedia Integration Language (SMIL) has been proposed for the presentation of IMD's over the Web. However, the flexibility of the temporal model of SMIL 2.0 allows the author to describe temporal synchronization relationships that potentially can not be resolved during the presentation of the document, known as temporal inconsistencies. For this reason, an approach that enables to detect and correct these inconsistencies is needed. This paper presents a formal approach for the verification, scheduling and presentation of consistent SMIL 2.0 documents based on the RT-LOTOS formal description technique. Thus, the consistency analysis of SMIL 2.0 documents is presented and some solutions are proposed in order to deal with potential state space explosion problems. Further on, some contributions are also presented concerning the scheduling and presentation of SMIL 2.0 documents based on a simple scheduling graph, called a Time Labeled Automata (TLA), derived automatically from the document formal specification. Finally, a global Java-based architecture for the implementation of a player of consistent SMIL 2.0 documents is presented.
AB - The utilization of Interactive Multimedia Documents (IMDs) has been largely addressed in several fields such as education, medicine, etc. since these documents can be distributed and accessed over the World-Wide-Web. In this context, the W3C standard Synchronized Multimedia Integration Language (SMIL) has been proposed for the presentation of IMD's over the Web. However, the flexibility of the temporal model of SMIL 2.0 allows the author to describe temporal synchronization relationships that potentially can not be resolved during the presentation of the document, known as temporal inconsistencies. For this reason, an approach that enables to detect and correct these inconsistencies is needed. This paper presents a formal approach for the verification, scheduling and presentation of consistent SMIL 2.0 documents based on the RT-LOTOS formal description technique. Thus, the consistency analysis of SMIL 2.0 documents is presented and some solutions are proposed in order to deal with potential state space explosion problems. Further on, some contributions are also presented concerning the scheduling and presentation of SMIL 2.0 documents based on a simple scheduling graph, called a Time Labeled Automata (TLA), derived automatically from the document formal specification. Finally, a global Java-based architecture for the implementation of a player of consistent SMIL 2.0 documents is presented.
KW - Formal Methods, LOTOS, RT-LOTOS, Interactive Multimedia Documents, Temporal Consistency, SMIL 2.0
UR - https://www.scopus.com/pages/publications/0141538063
U2 - 10.1145/502204.502205
DO - 10.1145/502204.502205
M3 - Articulo (Contribución a conferencia)
AN - SCOPUS:0141538063
SN - 1581134320
SN - 9781581134322
T3 - Proceedings of the ACM Symposium on Document Engineering
SP - 115
EP - 124
BT - Proceedings of the ACM Symposium on Document Engineering
A2 - Munson, E.V.
PB - Association for Computing Machinery
T2 - Proceedings of the ACM Symposium on Document Engineering (DocEng '01)
Y2 - 9 November 2001 through 10 November 2001
ER -