Carregar apresentação
A apresentação está carregando. Por favor, espere
PublicouNicolas Almada Leão Alterado mais de 9 anos atrás
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
Apresentações semelhantes
© 2024 SlidePlayer.com.br Inc.
All rights reserved.