Uma abordagem MDE para Modelagem e Verificação de Documentos Multimídia Interativos

  • Delcino Picinin Júnior UFSC
  • Jean-Marie Farines UFSC
  • Celso A. S. Santos UFBA

Resumo


This paper proposes an Model-Driven Engineering approach for modeling and verificating of interactive multimedia applications. The approach introduces a toolchain based on FIACRE language, that is used both as the target language of model transformation engines from NCL multimedia model, and as the source language of compilers into the targeted verification toolbox Tina. The paper illustrates the proposed approach with a case study of a NCL-based interactive TV application.
Publicado
03/10/2011
Como Citar

Selecione um Formato
PICININ JÚNIOR, Delcino; FARINES, Jean-Marie; SANTOS, Celso A. S.. Uma abordagem MDE para Modelagem e Verificação de Documentos Multimídia Interativos. In: SIMPÓSIO BRASILEIRO DE SISTEMAS MULTIMÍDIA E WEB (WEBMEDIA), 17. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 89-96.