An approach to verify live NCL applications

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


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.
Como Citar

Selecione um Formato
PICININ JÚNIOR, Delcino; FARINES, Jean-Marie; KOLIVER, Cristian. An approach to verify live NCL applications. In: SIMPÓSIO BRASILEIRO DE SISTEMAS MULTIMÍDIA E WEB (WEBMEDIA), 18. , 2012, São Paulo. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2012 . p. 223-232.