Tempura Reengineering
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 |
Idioma(s) |
en_US |
Publicador |
University Press "Paisii Hilendarski", Plovdiv |
Palavras-Chave | #Framework #Reengineering |
Tipo |
Article |