Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-18T14:30:20Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-19T14:42:33Z (GMT) No. of bitstreams: 2 Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-04-19T14:42:41Z (GMT). No. of bitstreams: 2 Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Com o passar dos dias os sistemas de software e hardware evoluem e ficam cada vez mais complexos e sofisticados. Como consequência especificar esses sistemas se torna uma tarefa difícil e trabalhosa. No sentido de assegurar certas propriedades de um sistema, este deve ser especificado por intermédio de uma linguagem que ofereça métodos de análise. Para realizar essas especificações temos diversas técnicas e metodologias, onde algumas técnicas que são disponíveis no mercado podem gerar resultados diferentes do que o especificado e esperado. Para realizar a correção deste problema, tem-se a necessidade de se utilizar métodos formais para gerar a especificação e verificação de sistemas. Sistemas que utilizam métodos formais são especificados formalmente através de um modelo matemático. Gramática de Grafos é uma linguagem formal bastante propícia para especificar sistemas complexos, é interessante o uso delas, pelo fato de possuírem inúmeras técnicas para a verificação e especificação de sistemas que são representadas nesta linguagem, além do que, elas possuem um layout gráfico, que as torna bastante intuitivas, por isso elas são uma linguagem de fácil entendimento. Gramática de Grafos Fuzzy são obtidas através da generalização das gramáticas de grafos, elas são constituídas por vértices e arestas com valores de pertinência associados, dentro do intervalo 0 e 1. Devido a inexistência de técnicas e ferramentas de análise para gramática de grafos fuzzy, o seu uso ainda é bastante restrito. Uma maneira de permitir a análise de sistemas especificados em gramática de grafos fuzzy é através da extensão das abordagens existentes para gramática de grafos, adicionando os conceitos de pertinência aos componentes dos grafos e para isso foi necessário definir gramáticas de grafos fuzzy tipados. Já existe uma abordagem relacional para gramática de grafos que permite o uso dos provadores de teoremas da ferramenta Rodin, utilizando a linguagem Event-B. Desta forma, a proposta deste trabalho é estender essa abordagem de gramática de grafos adicionando os conceitos fuzzy para permitir utilizar a mesma abordagem para analisar gramática de grafos fuzzy, surgindo assim um método de análise para esse tipo de gramática. / With the passing of days software and hardware systems evolve and become increasingly sophisticated and complex. As a consequence, specifying these systems becomes a difficult and laborious task. In order to ensure certain properties of a system, it must be specified through a language that offers methods of analysis. To realize these specifications we have several techniques and methodologies, where some techniques that are available in the market can generate different results than the specified and expected. To perform the correction of this problem, there is the need of using formal methods for generate the specification and verification systems. Systems that use formal methods are formally specified through a mathematical model. Grammar Graphs is a very suitable to specify complex systems formal language, is interesting to use them because they have innumerable techniques for the verification and specification of systems that are represented in this language, besides that, they have a graphical layout, which makes them very intuitive, so they are an easy-to-understand language. Fuzzy graph grammars are obtained through the generalization of graph grammars, they are constituted by vertices and edges with associated membership values within the interval 0 and 1. Due to the inexistence of techniques and analysis tools for fuzzy graph grammars, its use is still quite restricted. One way to allow the analysis of systems specified in fuzzy graphs grammars is the extension of existing approaches for graphs grammars, adding the concepts of pertinence to the components of graphs and for this it was necessary to define fuzzy graph grammars typed. There is already a relational approach to graph grammar that allows the use of the theorems of the Rodin tool using the language Event-B. In this way, the purpose of this work is to extend this approach of grammars of graphs by adding the fuzzy concepts to allow to use the same approach to analyze fuzzy graphs grammars, thus appearing a method of analysis for this type of grammar.