法兰克·德雷维斯;伯特霍尔德·霍夫曼;丰满，细节 层次图转换。 （英语） Zbl 0999.68096号 J.计算。系统。科学。 64，第2期，249-283（2002）. 摘要：当图形转换用于编程目的时，为了便于理解，应该构造大型图形。本文提出了一种基于规则的层次结构超图转换方法。在这些图中，可分辨超边包含可以再次分层的图。我们的框架将著名的双推出方法从平面图扩展到层次图。特别地，我们展示了如何递归地构造层次图和图形态的pushout和pushout-补码。此外，我们通过引入变量使规则更具表现力，这些变量允许我们在单个规则应用程序中复制和删除分层子图。 引用于8文件 MSC公司： 2012年第68季度 语法和重写系统 05C85号 图形算法（图形理论方面） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：图形变换 软件：迭戈;进展;DiaGen公司;DACTL公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人，《计算杂志》。系统。科学。64，第2249-283号（2002年；兹bl 0999.68096） 全文： 内政部 链接 参考文献： [1] Adámek，J。；Herrlich，H。；Strecker，G.，抽象与具体类别（1990），威利：威利纽约·兹比尔0695.18001 [2] 安德烈，M。；恩格斯，G。；哈贝尔，A。；霍夫曼，B。；Kreowski，H.-J。；库斯克，S。；普拉普，D。；Schürr，A。；Taentzer，G.，《规范和编程的图形转换》，科学。计算机程序。，34，1-54（1999年）·Zbl 0933.68022号 [3] Banátre，J.-P。；LeMétayer，D.，Gamma和化学反应模型：十年之后，《协调编程：机制、模型和语义》（1996），《世界科学：世界科学新加坡》，第3-41页 [4] R.Bardohl、M.Minas、A.Schürr和G.Taentzer，图形变换在视觉语言中的应用，在里面等。; R.Bardohl、M.Minas、A.Schürr和G.Taentzer，图形变换在视觉语言中的应用，在里面等。 [5] E.Barendsen和S.Smetsers，函数编程的图形重写方面，在里面等。; E.Barendsen和S.Smetsers，函数编程的图形重写方面，在里面等。·Zbl 0863.68081号 [6] Busatto，G。；恩格斯，G。；梅赫纳，K。；Wagner，A.，《向图变换方法添加包的框架》，图变换的理论与应用（TAGT'98），论文选。图变换理论与应用（TAGT'98），论文选集，计算机科学讲义，1764（2000），Springer-Verlag:Springer-Verlag纽约/柏林，第352-367页·Zbl 0971.68578号 [7] Busatto，G。；Hoffmann，B.，《比较层次图变换的概念》，Proc。图形转换和可视化建模技术。程序。图形转换和可视化建模技术，理论计算机科学电子笔记，50（2001），Elsevier:Elsevier阿姆斯特丹/纽约·Zbl 1262.68076号 [8] Busatto，G。；Kreowski，H.-J。；Kuske，S.，抽象层次图变换。抽象层次图变换，Informatik-Bericht 1/01（2001），不来梅大学Fachbereich Mathematik-Informatik·Zbl 1102.68039号 [9] Cardelli，L。；Gordon，A.D.，《移动环境》，Theoret。计算。科学。，240, 177-213 (2000) ·Zbl 0954.68108号 [10] 克劳斯，V。；Ehrig，H。；Rozenberg，G.，《图形语法及其在计算机科学和生物学中的应用》，论文集。图语法及其在计算机科学和生物学中的应用，论文选，计算机科学讲义，73（1979），Springer-Verlag:Springer-Verlag纽约/柏林 [11] A.Corradini、U.Montanari、F.Rossi、H.Ehrig、R.Heckel和M.Löwe，图变换的代数方法——第一部分：基本概念和双推出方法，在里面; A.Corradini、U.Montanari、F.Rossi、H.Ehrig、R.Heckel和M.Löwe，图变换的代数方法——第一部分：基本概念和双推出方法，在里面 [12] 库尼，J.E。；Ehrig，H。；恩格斯，G。；Rozenberg，G.，《图形语法及其在计算机科学中的应用》，论文集。图语法及其在计算机科学中的应用，论文选，计算机科学讲义，1073（1996），Springer-Verlag:Springer-Verlag纽约/柏林·Zbl 0847.00026号 [13] F.Drewes、A.Habel和H.-J.Kreowski，超边缘替换图文法，在里面; F.Drewes、A.Habel和H.-J.Kreowski，超边缘替换图语法，在里面 [14] Drewes，F。；霍夫曼，B。；Plump，D.，层次图转换，Proc。软件科学和计算结构基础（FOSSACS 2000）。程序。软件科学和计算结构基础（FOSSACS 2000），计算机科学讲义，1784（2000），Springer-Verlag:Springer-Verlag纽约/柏林，第98-113页·Zbl 0961.68106号 [15] H.Ehrig，图文法代数理论导论，在里面等。; H.Ehrig，图文法代数理论导论，在里面等。 [16] Ehrig，H。；恩格斯，G。；赫克尔，R。；Taentzer，G.，使用图转换进行系统建模的面向视图方法，Proc。97年ESEC/FSE。程序。ESEC/FSE’97，计算机科学讲义，1301（1997），Springer-Verlag:Springer-Verlag纽约/柏林，第327-343页 [17] Ehrig，H。；恩格斯，G。；Kreowski，H.-J。；Rozenberg，G.，《图形语法和图形变换计算手册》。第二卷。《应用、语言和工具》（1999年），《世界科学：新加坡世界科学》·Zbl 0998.68001号 [18] Ehrig，H。；Kreowski，H.-J。；蒙塔纳里，美国。；Rozenberg，G.，《图形语法和图形变换计算手册》。第三卷并发、并行和分发（1999），《世界科学：世界科学新加坡》·Zbl 0951.68049号 [19] G.Engels、H.Ehrig、R.Heckel和G.Taentzer，基于开放图转换系统的基于视图的系统建模方法，在里面等。; G.Engels、H.Ehrig、R.Heckel和G.Taentzer，基于开放图转换系统的基于视图的系统建模方法，在里面等。 [20] 恩格斯，G。；Heckel，R.，《图形转换作为系统建模和演化的概念和形式框架》，Proc。自动化、语言和编程（ICALP 2000）。程序。自动化、语言和编程（ICALP 2000），计算机科学讲义，1853（2000），Springer-Verlag:Springer-Verlag纽约，第127-150页·兹伯利0973.68626 [21] 恩格斯，G。；Schürr，A.，封装层次图、图类型和元类型，Proc。接头C复音器/S公司电子邮件记录器图形改写与计算研讨会。程序。接头C复音器/S公司电子邮件记录器图形改写与计算研讨会，理论计算机科学电子笔记，2（1995）·兹比尔0910.68110 [22] C.Ermel、M.Rudolf和G.Taentzer，The Agg（希腊）在里面等。; C.Ermel、M.Rudolf和G.Taentzer，The Agg（希腊）在里面等。 [23] 弗雷德，P。；Le Métayer，D.，结构化伽马，科学。计算。程序。，31, 263-289 (1998) ·Zbl 0941.68014号 [24] Glauert，R.W。；肯尼韦，J。；Ronan Sleep，医学博士实际：实验图形重写语言，图形语法及其在计算机科学中的应用，论文选。图语法及其在计算机科学中的应用，论文选集，计算机科学讲义，532（1991），Springer-Verlag:Springer-Verlag纽约/柏林，第378-395页 [25] Habel，A.，《超边缘替换：语法和语言》。超边缘替换：语法和语言，计算机科学讲义，643（1992），Springer-Verlag:Springer-Verlag纽约/柏林·Zbl 0787.68066号 [26] 哈贝尔，A。；穆勒，J。；Plump，D.，《重温双推图形变换》，《数学》。结构计算。科学。，11, 637-688 (2001) ·Zbl 0987.18005号 [27] R.Heckel、H.Ehrig、G.Engels和G.Taentzer，图变换系统模块概念的分类和比较，在里面等。; R.Heckel、H.Ehrig、G.Engels和G.Taentzer，图变换系统模块概念的分类和比较，在里面等。 [28] Hoffmann，B.，从图转换到基于规则的图表编程，《具有工业相关性的图转换的应用》（AGTIVE'99），论文集。具有工业相关性的图形变换的过程应用（AGTIVE’99），论文选集，计算机科学讲稿，1779（2000），Springer-Verlag:Springer-Verlag New York，p.165-180 [29] 霍夫曼，B.，Shapely hierarchical graph transformation，Proc。视觉语言和形式方法国际研讨会（VLFM’01）（2001），IEEE计算机出版社，第30-37页 [30] Löwe，M。；Beyer，M.，AGG-代数图重写的实现，Proc。重写技巧与应用。程序。重写技术与应用，计算机科学课堂讲稿，690（1993），Springer-Verlag:Springer-Verlag纽约/柏林，第451-456页 [31] 米纳斯，基于超图变换的图编辑器生成器的概念和实现，科学。计算。程序，显示。；米纳斯，基于超图变换的图编辑器生成器的概念和实现，科学。计算。编程，将出现·Zbl 1002.68735号 [32] Newbery Paulisch，F.，《可扩展图形编辑器的设计》。可扩展图形编辑器的设计，计算机科学讲稿，704（1992），Springer-Verlag:Springer-Verlag纽约/柏林·Zbl 0785.68090号 [33] 平价，F。；Piersanti，G.，多层图文法，计算机科学中的图理论概念（WG'94）。计算机科学中的图形理论概念（WG’94），计算机科学讲义，903（1995），Springer-Verlag:Springer-Verlag纽约/柏林，第51-64页 [34] Plump，D.，术语图重写，《图形语法和图形转换计算手册》（1999），《世界科学：世界科学新加坡》，第3-61页·Zbl 0951.68049号 [35] D.Plump和A.Habel，图形统一和匹配，在里面等。; D.Plump和A.Habel，图的统一与匹配，在里面等。·Zbl 0910.68158号 [36] Poulovassilis，A。；Hild，S.G.，Hyperlog:基于图形的数据库浏览、查询和更新系统，IEEE知识数据工程，13，216-333（2001） [37] Pratt，T.W.，《配对语法、图形语言和字符串到图形的翻译》，J.Compute。系统科学。，5, 560-595 (1971) ·Zbl 0229.68029号 [38] T.W.Pratt，使用层次图语法定义编程语言语义，在里面等。; T.W.Pratt，使用层次图语法定义编程语言语义，在里面等。·Zbl 0495.68076号 [39] Rodgers，P.J.，《用于图形绘制的图形重写编程语言》，Proc。第14届IEEE视觉语言研讨会（1998年），IEEE计算机学会出版社 [40] Rozenberg，G.，《图形语法和图形变换计算手册》。第一卷基金会（1997），《世界科学：世界科学新加坡》·Zbl 0908.68095号 [41] 伦博，J。；雅各布森，I。；Booch，G.，《统一建模语言参考手册》。统一建模语言参考手册，对象技术系列（1999），Addison-Wesley：Addison-Whesley阅读 [42] Schneider，H.-J.，《关于整合结构转换和标签操作的范畴图文法》，Theoret。计算。科学。，109, 257-274 (1993) ·Zbl 0784.68052号 [43] Schürr，A。；Winter，A。；Zündorf，A.，《进步方法：语言与环境》，《图形语法与图形转换计算手册》（1999），《世界科学：世界科学新加坡》，第487-550页 [44] G.Taentzer，层次分布图变换，在里面等。; G.Taentzer，层次分布图变换，在里面等。·兹比尔1263.68095 [45] Taentzer，G。；Schürr，A.，DIEGO，图转换系统模块概念的另一个步骤，Proc。接头C复音器/S公司电子邮件记录器图形改写与计算研讨会。程序。接头C复音器/S公司电子邮件记录器图形改写与计算研讨会，理论计算机科学电子笔记，2（1995）·兹比尔0910.68121 [46] Tapken，J.，《实现层次图结构》，Proc。软件工程的形式方面（FASE’99）。程序。软件工程的形式方面（FASE’99），计算机科学讲稿，1577（1999），Springer-Verlag:Springer-Verlag纽约/柏林 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。