Browse > Article
http://dx.doi.org/10.6109/jkiice.2008.12.5.828

Verification of Temporal Relations on SMIL 2.0 Document using an Extended Temporal Interval Model  

Kim, Kyung-Deok (위덕대학교 컴퓨터공학부)
Abstract
This paper suggests a method for verification of temporal relations on SMIL 2.0 document using an extended temporal interval model. The SMIL 2.0 document has more asynchronous temporal relations and supports more interactive relations between objects than traditional SMIL document. But it is higher to produce temporal inconsistency by various interactive relations between objects. So the suggested verification method expresses SMIL 2.0 document as functional relations based on an extended temporal interval model and verifies SMIL 2.0 document using interactive relations and temporal intervals between objects. Applications to the verification method are as follows; multiuser interactive contents, online-learning, etc.
Keywords
SMIL2.0;
Citations & Related Records
연도 인용수 순위
  • Reference
1 P. Ackermann, 'Direct Manipulation of Temporal Structures in a Multimedia Application Framework,' Proc. of ACM Multimedia Conf., pp.51-58, 1994
2 S. Chung and A. Pereira, 'Timed Petri Net Representation of SMIL,' IEEE Multimedia, pp.64-72, Jan.-Mar. 2005
3 P.N.M. Sampaio, J.P. Courtiat, 'Providing Consistent SMIL 2.0 Document,' Proc. of the IEEE Conf. on Multimeida and Expo 2002, Vol. 2. pp. 337-340, 2002
4 C. Keramance and A. Duda, 'Interval expressions-a functional model for interactive dynamic multimedia presentations,' Proc. of the 3rd IEEE Int. Conf. on Multimedia Computing and Systems, pp.283-286, 1996
5 김경덕, '함수적 변환을 이용한 SMIL2.0 문서의 검증,' 한국정보과학회 가을학술발표논문집(c), 34권, 2호, pp. 284-287, 2007
6 C. A. Dick, Bulterman, 'SMIL 2.0 Part2: Examples and Comparisons,' IEEE Multimedia, pp.74-84, 2002
7 R. Tan and S. Guan, ' A Dynamic Petri Net Model for Iterative and Interactive Distributed Multimedia Presentation,' IEEE Transactions on Multimedia, Vol. 7, No. 5, pp.869-879, 2005   DOI   ScienceOn
8 C. A. Dick, Bulterman, 'SMIL 2.0 Part1: Overview, Concepts, and Structure,' IEEE Multimedia, pp.82-88, 2001
9 M. Vazirgiannis, 'Specifying and Authoring Multimedia Scenarios,' IEEE Multimedia, pp.24-37, Vol. 6, Issue 3, 1999   DOI   ScienceOn