A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Linguagem de Transformação para a linguagem OO1 Adeline Sousa Gustavo Santos.

Apresentações semelhantes


Apresentação em tema: "Linguagem de Transformação para a linguagem OO1 Adeline Sousa Gustavo Santos."— Transcrição da apresentação:

1 Linguagem de Transformação para a linguagem OO1 Adeline Sousa Gustavo Santos

2 Motivação  A técnica de Transformação de Programas dá suporte a: Refactoring Desenvolvimento formal de software Geração de código  Limitação dos sistemas existentes Genéricos X Específicos

3 Motivação (2)  Instanciação do “modelo JaTS”  Dará suporte ao desenvolvimento de um modelo de sistema de transformação independente de linguagem

4 O sistema OOTS  Constituído de duas linguagens Linguagem para construção de templates OOTS-TL Linguagem para especificação de transformações OOTS-ES  OOTS se apresenta como um ambiente de meta-programação para OO1

5 A Linguagem OOTS-TL  Linguagem para especificar templates para transformações em programas OO1  Um super-conjunto de OO1  Possibilita especificação de templates de casamento (lado esquerdo) e geração (lado direito)

6 Variáveis OOTS-TL  São usadas como placeholders nas transformações  Consistem de identificadores OO1 precedidos pelo caractere ‘#’  Podem ser declaradas como sendo de um tipo específico

7 Transformações em OOTS  São compostas por: Pré-condição Lado esquerdo Lado direito

8 Transformações em OOTS  Aplicadas nas seguintes etapas: Parsing Transformação Casamento Substituição Processamento Pretty-Printing (unparsing)

9 Declarações Executáveis  Permitem operações sobre a árvore do programa  Aparecem apenas nos templates do lado direito

10 Declarações Iterativas  Permitem gerar coleções de declarações com o mesmo padrão  Exemplo...

11 A Linguagem OOTS-SL  Linguagem para especificação de transformações  Exemplo...

12 OOTS – Fase 1  Alteração de todos os nós para suportar as transformações Utilização do JaTS  Extensão do parser Variáveis OOTS Expressões executáveis Expressões iterativas

13 OOTS – Fase 2  Linguagem pra especificar uma transformação Novo parser Novas produções Construção do ambiente de execução OOTS


Carregar ppt "Linguagem de Transformação para a linguagem OO1 Adeline Sousa Gustavo Santos."

Apresentações semelhantes


Anúncios Google