A Graph Rewriting Programming Language for Graph Drawing
نویسنده
چکیده
This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process. The languages which gave a diagrammatic view of graphs were not computa-tionally complete and so could not be used to implement complex graph drawing algorithms. Hence current graph drawing tools are all text based. Recent developments in graph rewriting systems have produced computationally complete languages which give a visual view of graphs both whilst programming and during execution. Grrr, based on the Spider system, is a general purpose graph rewriting programming language which has now been extended in order to demonstrate the feasibility of visual graph drawing.
منابع مشابه
Using Graph Grammer to Implement Global Layout for a Visual Programming Language Generation System
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It can express a wide range of diagrammatic visual programming languages (VPLs). This paper presents a global layout approach used in the VisPro system. Our approach is grammar-based graph drawing, in which layout rules are embedded in the productions of RGG. Thus, the RGG formalism serves both ...
متن کاملGraph Algorithm Animation with Grrr
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming language. The main purpose of animation was initially for the debugging and profiling of Grrr code, but recently it has been extended for the purpose of teaching algorithms to undergraduate students. The animation is r...
متن کاملUsing RuleBuilder to graphically define and visualize BioNetGen-language patterns and reaction rules
RuleBuilder is a tool for drawing graphs that can be represented by the BioNetGen language (BNGL), which is used to formulate mathematical, rule-based models of biochemical systems. BNGL provides an intuitive plain-text, or string, representation of such systems, which is based on a graphical formalism. Reactions are defined in terms of graph-rewriting rules that specify the necessary intrinsic...
متن کاملTowards an Intermediate Language based on Graph Rewriting
Lean is an experimental language for specifying computations in terms of graph rewriting. It is based on an alternative to Term Rewriting Systems (TRS) in which the terms are replaced by graphs. Such a Graph Rewriting System (GRS) consists of a set of graph rewrite rules which specify how a graph may be rewritten. Besides supporting functional programming, Lean also describes imperative constru...
متن کاملA Demonstration of the Grrr Graph Rewriting Programming Language
This paper overviews the graph rewriting programming language, Grrr. The serial graph rewriting strategy is detailed, and key elements of the user interface are described. The system is illustrated by a simple example.
متن کامل