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

Please give feedback about this item
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
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia