한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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

Verification of SMIL 2.0 Document using a Functional Transformation

  • 발행 : 2007.10.26
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드