A Model-Driven Software Reuse Approach (in portuguese)

de AST ou Abstract Syntax Tree), que armazena as palavras do vocabulário da linguagem e
seu agrupamento válido em forma de sentenças. Em linguagens de modelagem, corresponde
ao metamodelo que define a estrutura dos modelos que podem ser criados (GUIZZARDI; PIRES;
SINDEREN, 2002). Uma vez que este metamodelo é uma especificação de uma conceitualização
do domínio, pode ser considerado uma ontologia (KURTEV et al., 2006).
A sintaxe concreta provê um sistema para representar os conceitos do domínio de forma
concreta. Consiste de símbolos, que podem ser caracteres organizados em palavras segundo
uma gramática bem definida (linguagem textual), ou ícones gráficos com características visuais
que representam diferentes atributos, como cor, posição, tamanho e forma (linguagem visual)
(GUIZZARDI; PIRES; SINDEREN, 2002). Trata-se de uma representação superficial, que pode ser
diferente da representação interna que é obtida com a sintaxe abstrata. De fato, uma DSL pode
possuir múltiplas sintaxes concretas (KLEPPE, 2007).
A semântica define o significado dos elementos da sintaxe abstrata, e pode variar de acordo
com o objetivo desejado. Por exemplo, se o objetivo da linguagem é facilitar a comunicação
interpessoal, a semântica define o que cada frase ou modelo significa para um leitor humano.
Neste sentido, pode-se considerar a semântica como sendo um elemento passível de diversas
interpretações, uma vez que qualquer pessoa pode atribuir um significado a determinada palavra
ou ícone. No entanto, no contexto do MDD, a semântica é definida em forma de ações a serem
executadas por um interpretador automático. As abordagens para o tratamento da semântica no
MDD podem se enquadrar em ao menos quatro categorias (KLEPPE, 2007):
1. Denotativa: descrições matemáticas que representam o significado do programa ou
modelo;
2. Operacional: também conhecida como execução canônica (CLEENEWERCK; KURTEV,
2007), consiste na interpretação do programa ou modelo como uma sequência de passos
a serem executados. Normalmente resulta em uma máquina de estados;
3. Tradutiva: consiste na tradução do programa ou modelo em outra linguagem conhecida;
e
4. Pragmática: uma ferramenta, normalmente conhecida como implementação de
referência, executa o programa ou modelo.
A abordagem tradutiva é uma das mais indicadas (KLEPPE, 2007), e também uma das mais
empregadas. Por exemplo, em um gerenciador de interfaces visuais, como aqueles presentes em
IDEs como NetBeans ou Visual Studio, as interfaces são especificadas de forma visual, em uma
61