Biblioteca Digital do Instituto Politécnico de Bragança   Instituto Politécnico de Bragança

Biblioteca Digital do IPB >
Escola Superior de Tecnologia e Gestão >
Informática e Comunicações >
IC - Dissertações de Mestrado >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10198/573

Título: Concepção e especificação de uma linguagem visual
Autor: Pereira, Maria João
Palavras-chave: Linguagens visuais
Compiladores
Issue Date: 1996
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.
Resumo: 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.
URI: http://hdl.handle.net/10198/573
Appears in Collections:IC - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
TeseMestrado.pdf1,06 MBAdobe PDFView/Open

Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 


  © Instituto Politécnico de Bragança - Biblioteca Digital - Feedback - Statistics
  Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE