Defesa de Dissertação – Alex Bertei

por ·

Título: Uma abordagem relacional para Gramática de Grafos Fuzzy

Autor: ALEX BERTEI

Orientação:

  • Luciana Foss, Orientadora (PPGC-UFPel)

Banca Examinadora:

  • André Du Bois (PPGC-UFPel)
  • Renata Hax Sander Reiser (PPGC-UFPel)
  • Rodrigo Geraldo Ribeiro (Universidade Federal de Ouro Preto)

Data: 13 de Março de 2017

Hora: 08:00

Local: Laboratório 4

Resumo:
Gramática de Grafos Fuzzy (GGF) é uma linguagem formal de especificação que generaliza a noção de Gramática de Grafos (GG). Com o uso de GGFs é possível considerar informações imprecisas e vagas na especificação de sistemas de forma análoga ao raciocínio humano. Com isso, temos uma modelagem mais flexível para os sistemas que são especificados via GGFs, permitindo valores intermediários dentro do intervalo 0 e 1 associados aos vértices e arestas dos grafos que modelam sistemas computacionais. Devido a inexistência de técnicas e ferramentas de análise para GGFs, o seu uso torna-se um pouco restrito. Por outro lado, existem diversas abordagens que definem técnicas para a análise de GGs. Uma destas abordagens é a relacional, a qual permite o uso de provadores de teoremas da ferramenta Rodin para a análise de propriedades de sistemas com espaço de estados infinito. Desta forma, este trabalho propõe a extensão desta abordagem para GGFs, incluindo a noção de pertinência para os elementos dos grafos. Essa extensão é dada pela tradução de GGFs para a linguagem Event-B, que é a linguagem de especificação da ferramenta Rodin.