Incremental validation of digital TV applications in nested context language

This paper presents an incremental validation process for multimedia documents describing interactive digital TV (iTV) applications. This work delves more specifically into documents defined in Nested Context Language (NCL), a declarative language standard adopted by ISDB-Tb and ITU-T for IPTV. The focus of incremental validation, the approach proposed in this work, relies on checking only the pieces of code that have been modified since the latest validation as well as those parts that have suffered any side effects, thus eliminating the need for a thorough checking of the document. The implications of performing this type of validation in a declarative language such as NCL are discussed and implementation details are given. Performance tests comparing the standard and incremental validation approaches have been carried out revealing a significant improvement concerning the latter.

[1]  Vicente Ferreira de Lucena,et al.  A software model supporting the management of home network services through the brazilian iDTV , 2009, EuroITV '09.

[2]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[3]  Yannis Papakonstantinou,et al.  Incremental validation of XML documents , 2003, TODS.

[4]  Shing-Chi Cheung,et al.  Incremental consistency checking for pervasive context , 2006, ICSE '06.

[5]  Rogério Ferreira Rodrigues,et al.  Ginga-NCL: the declarative environment of the Brazilian digital TV System , 2007, Journal of the Brazilian Computer Society.

[6]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[7]  Abdelkader Belkhir,et al.  H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents , 2008, Tenth International Conference on Computer Modeling and Simulation (uksim 2008).

[8]  References , 1971 .

[9]  Abdelkader Belkhir,et al.  SMIL builder: An incremental authoring tool for SMIL Documents , 2011, TOMCCAP.

[10]  Denilson Barbosa,et al.  Efficient Incremental Validation of XML Documents After Composite Updates , 2006, XSym.

[11]  Volker Wulf,et al.  Jumping between devices and services: towards an integrated concept for social tv , 2011, EuroITV '11.

[12]  Roberto Gerson De Albuquerque Azevedo,et al.  Textual authoring of interactive digital TV applications , 2011, EuroITV '11.

[13]  Ethan V. Munson,et al.  Using versioned tree data structure, change detection and node identity for three-way XML merging , 2010, DocEng '10.

[14]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

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

[16]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.

[17]  Luiz Fernando Gomes Soares,et al.  The Nested Context Language reuse features , 2010, Journal of the Brazilian Computer Society.

[18]  C. M. Sperberg-McQueen,et al.  W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures , 2012 .

[19]  Luiz Fernando Gomes Soares,et al.  Composer: Authoring Tool for iTV Programs , 2008, EuroITV.

[20]  not Cwi,et al.  XHTML™ 1.0 The Extensible HyperText Markup Language , 2002 .

[21]  Xiaojie Yuan,et al.  Incremental Validation of XML Document Based on Simplified XML Element Sequence Pattern , 2010, 2010 Seventh Web Information Systems and Applications Conference.

[22]  Luiz Fernando Gomes Soares,et al.  Intermedia synchronization management in DTV systems , 2008, DocEng '08.