Loading...
3 results
Search Results
Now showing 1 - 3 of 3
- Concepção e especificação de uma linguagem visualPublication . Pereira, Maria JoãoO 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.
- Animação de algoritmos tornada sistemáticaPublication . Pereira, Maria João; Henriques, Pedro RangelNeste artigo vamos propor a arquitectura do sistema Alma, um sistema para animar algoritmos programados em diferentes linguagens, oferecendo uma interface de visualização controlável pelo utilizador. Assim, o que na nossa opinião caracteriza esta proposta é: a independência relativamente à aplicação e à linguagem de programação; a existência de uma linguagem de visualização versátil (permitindo adaptá-lo às necessidades do utilizador). Como aplicações possíveis do Alma, destacamos: a animação de algoritmos, como apoio ao ensino da programação e como instrumento da didáctica da matemática; a análise de resposta, para apoio à correcção de provas de avaliação; a interpretação (visual) de documentos anotados.
- Concepção, especificação e implementação de processadores de linguagens visuaisPublication . Pereira, Maria João; Rocha, Jorge; Henriques, Pedro RangelCom o estudo aqui relatado - realizado no âmbito do projecto SARA - pretendeu-se avaliar a adequabilidade dos métodos e técnicas usadas no desenvolvimento de compiladores tradicionais à construção de processadores para linguagens visuais. Defendemos a ideia pragmática de que o processador final pode ser criado pelo acréscimo de um editor gráfico, especializado para uma linguagem visual, no topo de um compilador textual, desenvolvido com base numa gramática de atributos. Para especificar o processador visual faz, ainda, parte da nossa abordagem recorrer a um formalismo modular - MASOVILA - desenvolvido pelo nosso grupo e que aqui iremos também apresentar. Mostraremos a viabilidade das ideias, aplicando-as a um caso prático - surgido no contexto do projecto LEPAForM - que tem como objectivo a criação e a especificação de uma linguagem visual para descrição de diagramas de estados temporizados, Timed State Charts (TSC), e a construção de um tradutor dessa mesma linguagem para axiomas em Real Time Logic (RTL). Esse ambiente permite concretizar o princípio da aplicação pragmática de métodos formais na descrição do comportamento de sistemas reactivos. Do ponto de vista do utilizador, a linguagem visual TSCvl substitui a linguagem textual TSC, permitindo manipular directamente os diagramas de tansição de estados temporizados. A linguagem visual foi formalmente definida, em termos sintácticos e semânticos, no formalismo MASOViLa; o compilador, baseado no princípio da tradução orientada pela semântica, foi produzido automaticamente pelo gerador Eli.