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

Authors:
Joel A.F. dos Santos;Christiano Braga;Débora C. Muchaluat-Saade
Affiliations:
Universidade Federal Fluminense, Niterói, Brazil;Universidade Federal Fluminense, Niterói, Brazil;Universidade Federal Fluminense, Niterói, Brazil
Venue:
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Year:
2013

Citing 12
Cited 0

Design methodology and formal validation of hypermedia documents

MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Modeling, authoring and formatting hypermedia documents in the HyperProp system

Multimedia Systems
A statechart-based model for hypermedia applications

ACM Transactions on Information Systems (TOIS)
Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system

DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Guest Editors' Introduction: Model-Driven Development

IEEE Software
Dynamic consistency checking for temporal and spatial relations in multimedia presentations

Proceedings of the 2006 ACM symposium on Applied computing
Enriching SMIL with assertions for temporal validation

Proceedings of the 15th international conference on Multimedia
VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions

Multimedia Tools and Applications
NCL-inspector: towards improving NCL code

Proceedings of the 2010 ACM Symposium on Applied Computing
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
An approach to verify live NCL applications

Proceedings of the 18th Brazilian symposium on Multimedia and the web

Quantified Score

Hi-index	0.00

Visualization

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.