Strategic term rewriting and its application to a VDM-SL to SQL conversion

We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementatio...

ver descrição completa

Detalhes bibliográficos
Autor principal: Alves, Tiago Miguel Laureano (author)
Outros Autores: Silva, P. F. (author), Visser, Joost (author), Oliveira, José Nuno Fonseca (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2005
Assuntos:
Strateguc term rewriting
Programm calculation
VDM
SQL
strategic term rewriting
program calculation
Science & Technology
Texto completo:http://hdl.handle.net/1822/6435
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/6435
Descrição
Resumo:We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementation technology is strategic term rewriting in Haskell, as supported by the Strafunski bundle. Due to these choices of theory and technology, the road from theory to practise is straightforward.

Registos relacionados