An Executable Semantics for a Multimedia Authoring Language

The Nested Context Language is a multimedia authoring language which is part of the standard for digital television in Brazil and in Latin America and the ITU standard for IPTV services. The need for proper support for the development of NCL applications is growing with the increasing demand for digital TV applications. Rigorous means to assure that multimedia presentations in NCL will behave as expected is an example. Since NCL applications may be understood as finite transition systems, standard model-based verification techniques directly apply. This paper discusses a formalization of NCL semantics and its realization in a verification tool.

[1]  Arjeh M. Cohen,et al.  Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .

[2]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[3]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[4]  Ombretta Gaggi,et al.  Enriching SMIL with assertions for temporal validation , 2007, ACM Multimedia.

[5]  Simone Diniz Junqueira Barbosa,et al.  NCL-inspector: towards improving NCL code , 2010, SAC '10.

[6]  Luiz Fernando Gomes Soares,et al.  Design methodology and formal validation of hypermedia documents , 1998, MULTIMEDIA '98.

[7]  Ombretta Gaggi,et al.  Analysis and verification of SMIL documents , 2011, Multimedia Systems.

[8]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[9]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[10]  Susan Elias,et al.  Dynamic consistency checking for temporal and spatial relations in multimedia presentations , 2006, SAC '06.

[11]  Rogério Ferreira Rodrigues,et al.  Modeling, authoring and formatting hypermedia documents in the HyperProp system , 2000, Multimedia Systems.

[12]  Maria Cristina Ferreira de Oliveira,et al.  A statechart-based model for hypermedia applications , 2001, TOIS.

[13]  Elisa Bertino,et al.  A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations , 2005, 2005 IEEE International Conference on Multimedia and Expo.

[14]  Raphaël Troncy,et al.  VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions , 2009, Multimedia Tools and Applications.

[15]  Débora C. Muchaluat-Saade,et al.  A Model-driven Approach for the Analysis of Multimedia Document , 2012, SLE.

[16]  Jean-Marie Farines,et al.  An approach to verify live NCL applications , 2012, WebMedia.