An approach to verify live NCL applications

  • Delcino Picinin Júnior UFSC
  • Jean-Marie Farines UFSC
  • Cristian Koliver UCS

Resumo


This paper describes a NCL 3.0 hypermedia application development toolchain which supports the verification of temporal and spatial consistency of NCL applications. In this toolchain, the application is translated into a TSS code and temporal logic formulas are used for checking the desired properties. It is proposed an approach for incremental verification of live NCL applications. The paper illustrates the proposed approach with a case study of a NCL-based interactive TV application.
Publicado
15/10/2012
PICININ JÚNIOR, Delcino; FARINES, Jean-Marie; KOLIVER, Cristian. An approach to verify live NCL applications. In: BRAZILIAN SYMPOSIUM ON MULTIMEDIA AND THE WEB (WEBMEDIA), 18. , 2012, São Paulo. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2012 . p. 223-232.