Tempura Reengineering


Autoria(s): Valkanov, Vladimir; Mitev, Damyan
Data(s)

09/03/2011

09/03/2011

22/11/2010

Resumo

Interval Temporal Logic provides time-dependant formal description of hardware and software. Such formalism is needed for description of behaviors of the middleware of AOmLE project, depending on different scenarios of operation. In order to use ITL, we need an interpreter. Tempura provides executable ITL framework, written in C language. We cannot use Tempura as is, because AOmLE is developed entirely in Java. For this reason we need Java version of Tempura. This paper describes our plan for reengineering of CTempura and creating Java version if the ITL interpreter.

Identificador

9789544236489

http://hdl.handle.net/10525/1429

Idioma(s)

en_US

Publicador

University Press "Paisii Hilendarski", Plovdiv

Palavras-Chave #Framework #Reengineering
Tipo

Article