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

Abstract


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.
Keywords: Model Driven Engineering, Model Checking, NCL
Published
2011-10-03
How to Cite

Select a Format
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: BRAZILIAN SYMPOSIUM ON MULTIMEDIA AND THE WEB (WEBMEDIA), 17. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 89-96.