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
2011-10-03
Como Citar
PICININ JÚNIOR, Delcino; FARINES, Jean-Marie; SANTOS, Celso A. S.. Uma abordagem MDE para Modelagem e Verificação de Documentos Multimídia Interativos. Anais do Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia), [S.l.], p. 89-96, out. 2011. Disponível em: <https://sol.sbc.org.br/index.php/webmedia/article/view/5606>. Acesso em: 18 maio 2024.