Providing consistent SMIL 2.0 documents

Author

Sampaio, P.N.M. ; Courtiat, J.-P.

Author_Institution

Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France

Volume

2

fYear

2002

fDate

2002

Firstpage

337

Abstract

This paper presents a methodology to provide the formal verification, scheduling and presentation of consistent SMIL 2.0 documents. The second version of SMIL provides a temporal model much more flexible enabling the author to specify synchronization constraints that can not be potentially satisfied during the presentation of his document. For this reason, some types of inconsistency that can be produced in a SMIL 2.0 document are characterized in this paper and the effect of these inconsistencies were analysed using some SMIL 2.0 players. Furthermore, some results are also presented in order to provide a consistent diagnosis of the verification analysis based on a simple and operational scheduling graph.

Keywords

document handling; formal verification; interactive systems; multimedia computing; scheduling; synchronisation; SMIL 2.0 documents; formal verification; interactive multimedia documents; operational scheduling graph; presentation; scheduling; synchronization constraints; temporal model; Context modeling; Design methodology; Feedback; Formal specifications; Formal verification; Reachability analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia and Expo, 2002. ICME '02. Proceedings. 2002 IEEE International Conference on

Print_ISBN

0-7803-7304-9

Type

conf

DOI

10.1109/ICME.2002.1035598

Filename

1035598