Analysis and verification of SMIL documents

被引：0
作者：
Ombretta Gaggi
Annalisa Bossi
机构：
[1] University of Padua,Deparment of Pure and Applied Mathematics
[2] University Ca’ Foscari of Venice,Department of Computer Science
来源：
Multimedia Systems | 2011年 / 17卷
关键词：
SMIL; Authoring multimedia presentations; Verification; Consistency checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, we consider the problem of automatic verification of SMIL documents and present a tool which can assist the user in the complex task of authoring a multimedia presentation. The tool is based on a formal semantics defining the temporal aspects of SMIL elements by means of a set of inference rules. The rules, in the spirit of Hoare’s semantics, describe how the execution of a piece of code changes the state of the computation of a player. If any temporal conflict is found, the system returns a message to the user pointing out the element which contains the conflict and its motivation. This helps the user to develop robust and clear code.
引用
收藏
页码：487 / 506
页数：19
相关论文
共 13 条
[1]  
Allen J.F.(1983)Maintaining knowledge about temporal intervals Commun. ACM 26 832-843
[2]  
Bulterman D.C.A.(2005)Structured multimedia authoring ACM Trans. Multimedia Comput. Commun. Appl. 1 89-109
[3]  
Hardman L.(1994)The Amsterdam hypermedia model: adding time, structure and context to hypertext Commun. ACM 37 50-62
[4]  
Hardman L.(1969)An axiomatic basis for computer programming Commun. ACM 12 576-585
[5]  
Bulterman D.C.A.(2001)A formal semantics of SMIL: a web standard to describe multimedia documents Comput. Standards Interfaces 23 439-455
[6]  
van Rossum G.(2006)Formal approach for the coherence control of SMIL documents Int. J. Comput. Sci. Appl. 3 126-144
[7]  
Hoare C.A.R.(2004)An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents J. Braz. Comput. Soc. 9 39-51
[8]  
Jourdan M.(undefined)undefined undefined undefined undefined-undefined
[9]  
Mazouz S.(undefined)undefined undefined undefined undefined-undefined
[10]  
Dahamani D.(undefined)undefined undefined undefined undefined-undefined
12