A Model-driven Approach for the Analysis of Multimedia Document

This paper proposes a model-driven approach for the analysis of multimedia documents. Structural and behavioral properties of a multimedia document are verified thus guaranteeing its well-formedness and conformance before deployment. Multimedia documents are interpreted as object model instances of a multimedia document metamodel. Structural properties are verified using consistency reasoning over an ontology representation of the given object model together with OCL invariant validation (i.e., the application of OCL invariants to the given object model). Behavioral properties are verified through model checking on the transition system associated to the given multimedia document. Both metamodel and user-defined behavioral properties are verified.

[1]  P. ed Hoschka,et al.  synchronized Multimedia Integration Language (SMIL) 1.0 Specification , 1998 .

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

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

[4]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[5]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[6]  Jin-Cheon Na,et al.  Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system , 2001, DocEng '01.

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

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

[9]  Christiano Braga,et al.  On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts , 2011, SBMF.

[10]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[11]  Christiano Braga,et al.  A transformation contract to generate aspects from access control policies , 2011, Software & Systems Modeling.

[12]  Christiano Braga,et al.  Transformation contracts in practice , 2012, IET Softw..

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