图形创建、可视化和转换
Graph Creation, Visualisation and Transformation
摘要：
我们描述了一个工具来创建，编辑，可视化和计算的交互网络-一种形式的图形重写系统。这个名为GraphPaper的编辑器允许用户使用直观的用户界面创建和编辑图形及其转换规则。编辑器使用TULIP系统的功能，这使我们能够访问丰富的可视化算法。交互网不仅是一种图的形式化描述，而且是一种基于重写的计算模型。我们讨论了图重写策略和语言来表达它们，以执行战略互动网络重写。
英文摘要：
We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
