Verification of SMIL 2.0 Document using a Functional Transformation

함수적 변환을 이용한 SMIL2.0 문서의 검증

  • Published : 2007.10.26

Abstract

본 논문에서는 다양한 상호작용을 가지는 멀티미디어 문서인 SMIL 2.0 문서를 함수적 변환을 이용하여 문서의 검증방법을 제안한다. SMIL 2.0 문서는 기존 SMIL 1.0보다 더 많은 시간 관계의 기술 방법을 제공함으로서 문서 작성의 융통성은 높아지지만 상호작용에 따른 잠재적인 모순의 발생 가능성은 더욱 높다. 특히 비결정행위에 따른 미디어 객체간 상호 참조 및 이벤트 참조에 따라 발생할 수 있는 모순 검증이 필요하다. 제안하는 검증 방범은 SMIL 2.0 문서를 함수적 표현으로 변환하고 객체간 상호참조를 탐색하여 모순 유무를 나타내는 검증 프로토타입이다. 적용 예로는 상호작용을 가지는 멀티미디어 문서의 검증이다.

Keywords