| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.04 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
O desenvolvimento de um compilador para a linguagem TSC (Timed StateCharts)- linguagem textual que descreve máquinas de estados temporizadas com transições condicionais - constitui o objectivo inicial deste estudo.
Em primeiro lugar, foram revistos alguns conceitos básicos relacionados com compiladores, gramáticas de atributos e geração de compiladores. Foi necessário compreender a utilização das máquinas de
estados na descrição do comportamento de sistemas reactivos, os diagramas
TSC e a sua representação na linguagem TSC.
No seguimento do estudo foram definidos os requisitos do compilador já referido, o qual tem como tarefa implementar um conjunto de regras de tradução de diagramas TSC em axiomas lógicos RTL - (Real Time Logic).
No desenvolvimento desse compilador foi utilizado o sistema ELI.
No entanto o objectivo principal deste estudo consiste em criar meios para que seja possível a tradução directa dos diagramas TSC nos axiomas RTL. Para tal, foi criada uma linguagem visual para a escrita de TSC's. Posteriormente esta nova linguagem foi especificada usando o formalismo MASOVILA.
Descrição
Palavras-chave
Linguagens visuais Compiladores
Contexto Educativo
Citação
Pereira, Maria João (1996). Concepção e especificação de uma linguagem visual. Minho: Universidade de Aveiro. Dissertação de Mestrado em Informática.