A relational approach of fuzzy graph grammars

Graph Grammars are a visual formal language for which there are several techniques of system specification and verification. This fact makes them an attractive option for describing complex systems. Fuzzy graph grammars generalize the concept of graph grammars, using fuzzy graphs. A fuzzy graph is composed of vertices and edges that have an associated membership value, which varies within a range of 0 to 1. Due to the lack of technique and analysis tools for fuzzy graph grammars, their use is still quite limited. One way to allow the analysis of fuzzy graphs grammars is using the extension of existing graph grammar approaches, including the concept of membership in the graph components. There is a relational approach of graph grammars that allows the use of theorem provers to perform property analysis of systems described in this language. This approach is the basis of a translation of graph grammars into the Event-B language, which enables the use of theorem provers of the Rodin tool. Therefore, the aim of this work is to extend this graph grammar approach, including fuzzy concepts, to allow the use of the theorem proving technique to analyze fuzzy graph grammars. In order to set this extension was first necessary to define the notion of typed fuzzy graph grammars.

[1]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[2]  Humberto Bustince,et al.  Intuitionistic Fuzzy Implication Operators - An Expression And Main Properties , 2004, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[3]  Ronald R. Yager,et al.  Intuitionistic fuzzy graph interpretations of multi-person multi-criteria decision making , 2003, EUSFLAT Conf..

[4]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[5]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[6]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[7]  Benjamín Bedregal,et al.  K-operators: An approach to the generation of interval-valued fuzzy implications from fuzzy implications and vice versa , 2014, Inf. Sci..

[8]  Benjamín R. C. Bedregal,et al.  Aggregating fuzzy implications , 2013, Inf. Sci..

[9]  K. Atanassov,et al.  Interval-Valued Intuitionistic Fuzzy Sets , 2019, Studies in Fuzziness and Soft Computing.

[10]  I. N. Parasyuk,et al.  Transformations of fuzzy graphs specified by FD-grammars , 2007 .

[11]  Simone André da Costa Cavalheiro,et al.  Relational approach of graph grammars , 2010 .

[12]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[13]  Yuncheng Jiang.  Corrigendum to "Interval-valued intuitionistic fuzzy soft sets and their properties" [Comput. Math. Appl. 60 (2010) 906-918] , 2011, Comput. Math. Appl..

[14]  Humberto Bustince,et al.  Contrast of a fuzzy relation , 2010, Inf. Sci..

[15]  Jean-Raymond Abrial,et al.  Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B , 2007, Fundam. Informaticae.

[16]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[17]  I. N. Parasyuk,et al.  Categorical approach to the construction of fuzzy graph grammars , 2006 .

[18]  Leila Ribeiro,et al.  Theorem proving graph grammars with attributes and negative application conditions , 2017, Theor. Comput. Sci..

[19]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.