Edge-based graph grammar: theory and support system

As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language with a proof of its decidability. Then, a new parsing algorithm with an analyses of its computational complexity is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule

[1]  Hartmut Ehrig,et al.  Triple Graph Grammars in the Large for Translating Satellite Procedures , 2014, ICMT.

[2]  Song Huang,et al.  Transformation between BPMN and BPEL based on graph grammar , 2014, Fifth International Conference on Computing, Communications and Networking Technologies (ICCCNT).

[3]  Kang Zhang,et al.  Visual XML schemas based on reserved graph grammars , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

[4]  Grzegorz Rozenberg,et al.  Boundary NLC Graph Grammars-Basic Definitions, Normal Forms, and Complexity , 1986, Inf. Control..

[5]  Kent Wittenburg.  Earley-style parsing for relational grammars , 1992, Proceedings IEEE Workshop on Visual Languages.

[6]  Eric J. Golin.  A method for the specification and parsing of visual languages , 1991 .

[7]  Joost-Pieter Katoen,et al.  Verifying pointer programs using graph grammars , 2015, Sci. Comput. Program..

[8]  Keshav Pingali,et al.  Graph Grammar based Multi-thread Multi-frontal Direct Solver with Galois Scheduler , 2014, ICCS.

[9]  Marjan Mernik,et al.  Converting metamodels to graph grammars: doing without advanced graph grammar features , 2013, Software & Systems Modeling.

[10]  Kim Marriott.  Constraint multiset grammars , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[11]  Changwook Kim,et al.  Node replacement graph grammars with dynamic node relabeling , 2015, Theor. Comput. Sci..

[12]  Andy Schürr,et al.  Defining and Parsing Visual Languages with Layered Graph Grammars , 1997, J. Vis. Lang. Comput..

[13]  Shi-Kuo Chang.  Extending Visual Languages for Multimedia , 1996, IEEE Multim..

[14]  Jiannong Cao,et al.  Design, Construction, and Application of a Generic Visual Language Generation Environment , 2001, IEEE Trans. Software Eng..

[15]  Mehmet A. Orgun,et al.  A Prediction-Based Visual Approach for Cluster Exploration and Cluster Validation by HOV3 , 2007, PKDD.

[16]  Jiannong Cao,et al.  A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages , 2001, Comput. J..

[17]  Annegret Habel,et al.  Hyperedge Replacement, Graph Grammars , 1997, Handbook of Graph Grammars.

[18]  Michael Henke,et al.  PART OF A SPECIAL ISSUE ON FUNCTIONAL -STRUCTURAL PLANT MODELLING An approach to multiscale modelling with graph grammars , 2014 .

[19]  Jun Kong,et al.  RGG+: an enhancement to the reserved graph grammar formalism , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[20]  Dorothea Blostein,et al.  A survey of graph grammars: theory and applications , 1992, Proceedings., 11th IAPR International Conference on Pattern Recognition. Vol.II. Conference B: Pattern Recognition Methodology and Systems.

[21]  Yi Deng,et al.  A visual approach to XML document design and transformation , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[22]  Jun Kong,et al.  Multimedia layout adaptation through grammatical specifications , 2005, Multimedia Systems.

[23]  Jun Kong,et al.  Exploring semantic roles of Web interface components , 2010, 2010 International Conference on Machine and Web Intelligence.

[24]  Jun Kong,et al.  Program Behavior Discovery and Verification: A Graph Grammar Approach , 2010, IEEE Transactions on Software Engineering.

[25]  Jun Kong,et al.  Parsing Spatial Graph Grammars , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[26]  Jun Kong,et al.  Design Pattern Evolution and Verification Using Graph Transformation , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[27]  Jun Kong,et al.  Spatial graph grammars for graphical user interfaces , 2006, TCHI.

[28]  Gabriele Taentzer,et al.  The AGG approach: language and environment , 1999 .

[29]  Jun Kong,et al.  Adaptive Mobile Interfaces through Grammar Induction , 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

[30]  Piero Mussio,et al.  Modeling visual interactive systems through dynamic visual languages , 2002, IEEE Trans. Syst. Man Cybern. Part A.

[31]  Jim Euchner.  Design , 2014, Catalysis from A to Z.

[32]  Louis Weitzman,et al.  Relational Grammars: Theory and Practice in a Visual Language Interface for Process Modeling , 1996 .

[33]  Jun Kong,et al.  Pattern-based design evolution using graph transformation , 2007, J. Vis. Lang. Comput..

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

[35]  Shi-Kuo Chang.  A Visual Language Compiler for Information Retrieval by Visual Reasoning , 1990, IEEE Trans. Software Eng..

[36]  Piero Mussio,et al.  On the specification of dynamic visual languages , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).