research-article

Automating the analysis of NCL documents with a model-driven approach

Authors:

Joel A.F. dos Santos,

Christiano Braga,

Débora C. Muchaluat-SaadeAuthors Info & Claims

WebMedia '13: Proceedings of the 19th Brazilian symposium on Multimedia and the web

Pages 193 - 200

https://doi.org/10.1145/2526188.2526214

Published: 05 November 2013 Publication History

Abstract

This paper presents a model-driven approach for the analysis of NCL documents. Structural and behavioral properties of NCL documents are verified guaranteeing its well-formedness and conformance with respect to the NCL language semantics. Document structural properties are verified using invariant validation and document behavioral properties are verified through model checking. The model-driven approach proposed is based on a formal and simplified model for representing the NCL document presentation behavior called Simple Hypermedia Model (SHM), used for the verification of document properties. In addition, this paper presents a prototype implementation of the proposed approach.

References

[1]

ABNT. Digital Terrestrial Television | Data Coding and Transmission Specification for Digital Broadcasting | Part 2: Ginga-NCL for Fixed and Mobile Receivers | XML Application Language for Application Coding, 2011. ABNT 15606-2:2011.

[2]

Baral, C. and Gelfond, M. Logic programming and knowledge representation. The Journal of Logic Programming, 19:73--148, 1994.

[3]

E. Bertino, E. Ferrari, A. Perego, and D. Santi. A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations. In ICME, pages 578--581, 2005.

[4]

A. Bossi and O. Gaggi. Enriching SMIL with assertions for temporal validation. In ACM Multimedia, pages 107--116, 2007.

Digital Library

[5]

A. Bossi and O. Gaggi. Analysis and verification of SMIL documents. Multimedia Systems, 17(6):487--506, 2011.

Digital Library

[6]

C. Braga, R. Menezes, T. Comicio, C. Santos, and E. Landim. Transformation contracts in practice. IET Software, 6(1):16--32, 2012.

[7]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2000.

Digital Library

[8]

M. Clavel, S. Eker, F. Durán, P. Lincoln, N. Martí-Oliet, and J. Meseguer. All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic. Springer-Verlag, 2007.

Digital Library

[9]

M. de Oliveira, M. Turine, and P. Masiero. A statechart-based model for hypermedia applications. ACM TOIS, pages 28--52, 2001.

Digital Library

[10]

J. A. F. dos Santos. Multimedia and hypermedia document validation and verification using a model-driven approach. Master's thesis, UFF, 2012.

[11]

J. A. F. dos Santos, C. Braga, and D. C. Muchaluat-Saade. A Model-driven Approach for the Analysis of Multimedia Documents. In SLE Doctoral Symposium, pages 37--44, 2012.

[12]

S. Elias, K. Easwarakumar, and R. Chbeir. Dynamic consistency checking for temporal and spatial relations in multimedia presentations. In ACM SAC, pages 1380--1384, 2006.

Digital Library

[13]

M. F. Felix. Formal Analysis of Software Models Oriented by Architectural Abstractions. PhD thesis, PUC-Rio, 2004. in Portuguese.

[14]

G. S. C. Honorato and S. D. J. Barbosa. NCL-Inspector: Towards Improving NCL Code. In ACM SAC, pages 1946--1947, 2010.

Digital Library

[15]

ISO/IEC 15938. Multimedia content description interface, 2001.

[16]

ISO/IEC 15938-9. Multimedia content description interface - Part 9: profiles and levels, 2005.

[17]

D. P. Junior, J. Farines, and C. Koliver. An Approach to Verify Live NCL Applications. In WebMedia, pages 223--232, 2012.

Digital Library

[18]

S. J. Mellor, T. Clark, and T. Futagami. Model-driven development: guest editors' introduction. IEEE software, 20(5):14--18, 2003.

Digital Library

[19]

J. Na and R. Furuta. Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system. In ACM DocEng, pages 38--47, 2001.

Digital Library

[20]

J. R. C. Neto, R. C. M. Santos, C. S. S. Neto, and M. M. Teixeira. Método de Validação Estrutural e Contextual de Documentos NCL. In WebMedia, pages 1--8, 2011. in Portuguese.

[21]

C. Santos, L. Soares, G. de Souza, and J. Courtiat. Design methodology and formal validation of hypermedia documents. In ACM Multimedia, pages 39--48, 1998.

Digital Library

[22]

L. F. G. Soares, R. F. Rodrigues, and D. C. Muchaluat-Saade. Modeling, authoring and formatting hypermedia documents in the HyperProp system. Multimedia Systems, pages 118--134, 2000.

Digital Library

[23]

R. Troncy, W. Bailer, M. Hoffernig, and M. Hausenblas. VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions. Multimedia Tools and Applications, 46(2):307--329, 2010.

Digital Library

[24]

W3C Recommendation. OWL Web ontology language: reference, 2004.

[25]

W3C Recommendation. XML Schema Part 0: Primer Second Edition, 2004.

[26]

W3C Recommendation. Extensible Markup Language (XML) 1.0 (Fifth Edition), 2008.

[27]

W3C Recommendation. Synchronized Multimedia Integration Language - SMIL 3.0 Specification, 2008.

[28]

J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1999.

Digital Library

Cited By

Barreto FBatista Ddos Santos JMuchaluat-Saade Dde Jesus Lima Gomes Fde Andrade Lira Rabelo Rde Salles Soares Neto CWillrich RCamillo Teixeira Cde Almeida Jde Carvalho W(2016)NCL-TesterProceedings of the 22nd Brazilian Symposium on Multimedia and the Web10.1145/2976796.2988167(91-94)Online publication date: 8-Nov-2016
https://dl.acm.org/doi/10.1145/2976796.2988167
Santos RLima GSant'Anna FRodriguez Nde Jesus Lima Gomes Fde Andrade Lira Rabelo Rde Salles Soares Neto CWillrich RCamillo Teixeira Cde Almeida Jde Carvalho W(2016)CÉU-MEDIAProceedings of the 22nd Brazilian Symposium on Multimedia and the Web10.1145/2976796.2976856(143-150)Online publication date: 8-Nov-2016
https://dl.acm.org/doi/10.1145/2976796.2976856
Laiola Guimarães RBulterman DCesar PJansen JKulesza RTavares T(2014)Synchronizing Web Documents with StyleProceedings of the 20th Brazilian Symposium on Multimedia and the Web10.1145/2664551.2664555(151-158)Online publication date: 18-Nov-2014
https://dl.acm.org/doi/10.1145/2664551.2664555

Index Terms

Automating the analysis of NCL documents with a model-driven approach
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Empirical software validation
      2. Process validation

Recommendations

An approach to verify live NCL applications
WebMedia '12: Proceedings of the 18th Brazilian symposium on Multimedia and the web

This paper describes a NCL 3.0 hypermedia application development toolchain which supports the verification of temporal and spatial consistency of NCL applications. In this toolchain, the application is translated into a TSS code and temporal logic ...
Adaptive layouts for authoring NCL programs
WebMedia '13: Proceedings of the 19th Brazilian symposium on Multimedia and the web

This paper presents a layout module that incorporates the facility of specifying adaptive spatial layouts, providing automatic creation of regions and descriptors for NCL documents. Two types of adaptive spatial layouts are provided: flowLayout and ...
A rewriting logic semantics for NCL

The Nested Context Language (NCL) is a multimedia authoring language that is part of the standard for digital television in Brazil and in Latin America and the ITU standard for IPTV services. To properly support authors in the development of NCL ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

WebMedia '13: Proceedings of the 19th Brazilian symposium on Multimedia and the web

November 2013

360 pages

ISBN:9781450325592

DOI:10.1145/2526188

General Chairs:
Cássio V.S. Prazeres
Federal University of Bahia
,
Paulo N.M. Sampaio
Salvador University
,
Program Chairs:
André Santanchè
University of Campinas
,
Celso A.S. Santos
Federal University of Espírito Santo
,
Rudinei Goularte
University of São Paulo

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SBC: Brazilian Computer Society

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

WebMedia '13

Sponsor:

SBC

WebMedia '13: 19th Brazilian Symposium on Multimedia and the Web

November 5 - 8, 2013

Salvador, Brazil

Acceptance Rates

WebMedia '13 Paper Acceptance Rate 29 of 87 submissions, 33%;

Overall Acceptance Rate 270 of 873 submissions, 31%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
68
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Barreto FBatista Ddos Santos JMuchaluat-Saade Dde Jesus Lima Gomes Fde Andrade Lira Rabelo Rde Salles Soares Neto CWillrich RCamillo Teixeira Cde Almeida Jde Carvalho W(2016)NCL-TesterProceedings of the 22nd Brazilian Symposium on Multimedia and the Web10.1145/2976796.2988167(91-94)Online publication date: 8-Nov-2016
https://dl.acm.org/doi/10.1145/2976796.2988167
Santos RLima GSant'Anna FRodriguez Nde Jesus Lima Gomes Fde Andrade Lira Rabelo Rde Salles Soares Neto CWillrich RCamillo Teixeira Cde Almeida Jde Carvalho W(2016)CÉU-MEDIAProceedings of the 22nd Brazilian Symposium on Multimedia and the Web10.1145/2976796.2976856(143-150)Online publication date: 8-Nov-2016
https://dl.acm.org/doi/10.1145/2976796.2976856
Laiola Guimarães RBulterman DCesar PJansen JKulesza RTavares T(2014)Synchronizing Web Documents with StyleProceedings of the 20th Brazilian Symposium on Multimedia and the Web10.1145/2664551.2664555(151-158)Online publication date: 18-Nov-2014
https://dl.acm.org/doi/10.1145/2664551.2664555

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents