Skip to Main Content
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.