Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados

Abstract

O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar uma solução, são avaliadas alternativas usando métodos de tradução de especificações (compilativo), métodos de execução da especificação (interpretativo) e métodos hibridos que incorporem características compilativas e interpretativas. como contribuição espera-se o desenvolvimento de técnicas de tradução e/ou interpretação de especificações.

The subject being discussed in this thesis proposal is the automatic systems construction, particularly the implementation of non-procedural specifications for transactiondriven database systems. As a means of obtaining a solution, some altematives are evaluated using specification translation methods (compilative), specification execution methods (interoretative) and hybrid methods including both interpretative and compilative characteristics. It is expected that this work will lead to the development of techniques for translation and/or interpretation of specifications.