×
伯特霍尔德·霍夫曼；马克·米纳斯

形状嵌套图和图表的转换。 （英语） Zbl 1268.68096号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，305-319（2001）。
摘要：本文描述了一种新的基于规则编程的计算模型，该模型具有图形和图表。该模型使用现有的图嵌套概念，定义了一种基于变量匹配的嵌套图转换的直观方法。引入形状规则来指定嵌套图的结构一致性条件。形状规则为形状嵌套图转换的精细模型建立了一个可判定类型规则。由于精化模型与图表编辑器兼容DiaGen公司，它可以通过可定制的图表接口进行扩展，从而指定基于规则的图表转换。
关于整个系列，请参见[兹比尔1266.68020].

MSC公司：

2012年第68季度 语法和重写系统
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

嵌套图；结构图类型；嵌套图；转型；图表语言

软件：

DiaGen公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Hoffmann}和\textit{M.Minas}，电子。注释Theor。计算。科学。59，第4号，305-319（2001；Zbl 1268.68096）
全文： 内政部

参考文献：

[1] R.Bardohl、M.Minas、A.Schürr和G.Taentzer。图形变换在可视化语言中的应用。恩格斯等人[6]，第3章，第105-180页。；R.Bardohl、M.Minas、A.Schürr和G.Taentzer。图形变换在可视化语言中的应用。恩格斯等人[6]，第3章，第105-180页。
[2] G.Busatto和B.Hoffmann。比较层次图变换的概念。理论计算机科学电子笔记; G.Busatto和B.Hoffmann。比较层次图变换的概念。理论计算机科学电子笔记·Zbl 1262.68076号
[3] G.Busatto、H.-J.Kreowski和S.Kuske。抽象层次图数据模型。技术报告，Fachbereich Mathematik-Informatik，不来梅大学，2001年出版。；G.Busatto、H.-J.Kreowski和S.Kuske。抽象层次图数据模型。技术报告，Fachbereich Mathematik-Informatik，不来梅大学，2001年出版·Zbl 1263.68085号
[4] F.Drewes、A.Habel和H.-J.Kreowski。超边缘替换图文法。罗森伯格[21]，第2章，第95-162页。；F.Drewes、A.Habel和H.-J.Kreowski。超边缘替换图文法。罗森伯格[21]，第2章，第95-162页。
[5] F.Drewes、B.Hoffmann和D.Plump。层次图转换。计算机与系统科学杂志; F.Drewes、B.Hoffmann和D.Plump。层次图转换。计算机与系统科学杂志·Zbl 0961.68106号
[6] （Engels，G.；Ehrig，H.；Kreowski，H.-J.；Rozenberg，G.，《图形语法和图形转换计算手册》，第二卷：规范和编程（1999），《世界科学：世界科学新加坡》）·Zbl 0998.68001号
[7] G.Engels和R.Heckel。图形转换是系统建模和演化的概念和形式框架。在U.Montanari、J.Rolim和E.Welz编辑中，自动机、语言和编程（ICALP 2000 Proc.）; G.Engels和R.Heckel。图形转换是系统建模和演化的概念和形式框架。在U.Montanari、J.Rolim和E.Welz编辑中，自动机、语言和编程（ICALP 2000 Proc.）·Zbl 0973.68626号
[8] R.Farrow、K.Kennedy和L.Zucconi。图形语法和全局程序数据流分析。在程序。第17届IEEE计算机科学基础年会; R.Farrow、K.Kennedy和L.Zucconi。图形语法和全局程序数据流分析。在程序。第17届IEEE计算机科学基础年会
[9] 弗雷德，P。；Le Métayer，D.，结构化伽马，计算机编程科学，31，2/3，263-289（1998）·Zbl 0941.68014号
[10] B.霍夫曼。从图形转换到基于规则的图形编程。编辑M.Nagl、A.Schürr和M.Münch，具有工业相关性的图形变换应用国际研讨会格蒂'99），精选论文; B.霍夫曼。从图形转换到基于规则的图形编程。编辑M.Nagl、A.Schürr和M.Münch，具有工业相关性的图形变换应用国际研讨会格蒂'99），精选论文
[11] B.霍夫曼。形状层次图变换。在视觉语言和形式化方法国际研讨会; B.霍夫曼。形状层次图转换。在视觉语言与形式化方法国际研讨会
[12] B.霍夫曼和M.米纳斯。图语法和语义的通用模型。在J.D.P.Polim等人的编辑中，ICALP研讨会2000; B.霍夫曼和M.米纳斯。图语法和语义的通用模型。在J.D.P.Polim等人的编辑中，ICALP研讨会2000
[13] Huet，G.，Confluent reductions:抽象属性及其在术语重写系统中的应用，ACM杂志，27,4797-821（1980）·Zbl 0458.68007号
[14] 肯纳韦，R。；Klop，J.W。；Sleep，R.F.-J.，de Vries。正交项重写系统的超有限约简，信息与计算，119,118-38（1995）·Zbl 0832.68063号
[15] Klop，J.W.，术语重写系统，（Abramsky，S.；Gabbay，D.M.；Maibaum，T.，《计算机科学逻辑手册》，第2卷（1992），牛津大学出版社），1-116·Zbl 0806.68003号
[16] 米纳斯（M.Minas）。基于超图变换的图编辑器生成器的概念和实现。计算机程序设计科学; 米纳斯（M.Minas）。基于超图变换的图编辑器生成器的概念和实现。计算机程序设计科学·Zbl 1002.68735号
[17] Plump，D.，Church-Rosser超图语言。在研讨会上的演讲，“自动化和正规Sprachen”（1999年9月），Schauenburg-Elmshagen:Schauenborg-Elmshagen Germany
[18] D.丰满。术语图重写。恩格斯等人[6]，第1章，第3-102页。；D.丰满。术语图重写。恩格斯等人[6]，第1章，第3-102页·Zbl 0787.68058号
[19] D.Plump和A.Habel。图形统一与匹配。编辑J.E.Cuny、H.Ehrig、G.Engels和G.Rozenberg，程序。图文法及其在计算机科学中的应用; D.Plump和A.Habel。图形统一与匹配。编辑J.E.Cuny、H.Ehrig、G.Engels和G.Rozenberg，程序。图论及其在计算机科学中的应用·兹比尔0864.68073
[20] T·W·普拉特。使用层次图语法定义编程语言语义。编辑V.Claus、H.Ehrig和G.Rozenberg，程序。图文法及其在计算机科学和生物学中的应用; T.W.普拉特。使用层次图语法定义编程语言语义。编辑V.Claus、H.Ehrig和G.Rozenberg，程序。图文法及其在计算机科学和生物学中的应用·Zbl 0495.68076号
[21] （Rozenberg，G.，《图形语法和图形转换计算手册》第一卷：基础（1997），《世界科学：世界科学新加坡》）·兹比尔0908.68095
[22] 伦博，J。；雅各布森，I。；Booch，G.，《统一建模语言参考手册》，对象技术系列（1999），Addison-Wesley
[23] 萨吉夫，M。；代表，T。；Wilhelm，R.，用破坏性更新解决语言中的形状分析问题，ACM编程语言和系统汇刊，20，1，1-50（1998）
[24] A.Schürr、A.Winter和A.Zündorf罗杰斯; A.Schürr、A.Winter和A.Zündorf罗杰斯
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。