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

• Autor(es): Alves, Tiago Miguel Laureano ; Silva, P. F. ; Visser, J. ; Oliveira, José Nuno Fonseca
• Data: 2005
• Identificador Persistente: http://hdl.handle.net/1822/6435
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Strateguc term rewriting; Programm calculation; VDM; SQL
• Tipo de Documento: Documento de conferência
• Idioma: Inglês

Descrição

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.