×
法兰克·德雷维斯;伯特霍尔德·霍夫曼

上下文超边缘替换。 （英语） Zbl 1329.68153号

学报信息。 52，第6期，497-524（2015）.
摘要：上下文超边缘替换文法（简称上下文文法）是超边缘替换语法的扩展。它们最近被提出作为一种语法方法来捕获面向对象程序的结构，因此可以替代使用元模型，如uml（统一建模语言）模型驱动软件设计中的类图。本文研究上下文文法的性质。尽管这些语法不是无上下文的，但可以证明它们继承了超边缘替换语法的一些优良特性。特别是，它们具有有用的范式，其隶属度问题是NP问题。

引用于6文件

MSC公司：

2012年第68季度 语法和重写系统

关键词：

图形语法;超边缘替换;上下文;上下文语法

软件：

GrGen公司;DiaGen公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}和\textit{B.Hoffmann}，《学报》第52期，第6期，第497--524页（2015年；Zbl 1329.68153）
全文： 内政部

参考文献：

[1] Abadi，M.，Cardelli，L.：物体理论。计算机科学专著。施普林格，纽约（1996）·兹比尔0876.68014
[2] 贝克韦尔，A。；普拉普，D。；Runciman，C。；Nagl，M.（编辑）；Pfaltz，J.（编辑）；Böhlen，B.（编辑），《通过图形简化指定指针结构》，30-44（2004），柏林
[3] Blomer，J.，Geiß，R.：GrGen.net：一个用于图形再书写的生成系统，用户手册。www.grgen.net（2006-2011）
[4] Courcelle，B.，Engelfriet，J.：《图形结构和一元二阶逻辑——语言理论方法》，《数学及其应用百科全书》，第138卷。剑桥大学出版社，剑桥（2012）·Zbl 1257.68006号 ·doi:10.1017/CBO9780511977619
[5] Drewes，F。；哈贝尔，A。；Kreowski，HJ；Rozenberg，G.（编辑），超边缘替换图文法，95-162（1997），新加坡·doi:10.1142/9789812384720_0002
[6] Drewes，F.、Hoffmann，B.、Janssens，D.、Minas，M.：自适应星语法及其语言。西奥。计算。科学。4113090-3109（2010年）·Zbl 0731.68002号 ·doi:10.1016/j.tcs.2010.04.038
[7] Drewes，F。；霍夫曼，B。；Janssens，D。；米纳斯，M。；埃特维尔德，N。；Corradini，A.（编辑）；Ehrig，H.（编辑）；Montanari，U.（编辑）；Ribeiro，L.（编辑）；Rozenberg，G.（编辑），自适应星语法，77-91（2006），柏林·兹比尔1156.68425
[8] Drewes，F。；霍夫曼，B。；Janssens，D。；米纳斯，M。；埃特维尔德，N。；Schürr，A.（编辑）；Nagl，M.（编辑）；Zündorf，A.（编辑），形状泛型图变换，201-216（2008），柏林
[9] Drewes，F.、Hoffmann，B.、Minas，M.：图表转换的上下文展开形状。机器。图表。视觉。12（1），117-132（2003）
[10] Drewes，F。；霍夫曼，B。；米纳斯，M。；Ehrig，H.（编辑）；Heckel，R.（编辑）；Rozenberg，G.（编辑）；Taentzer，G.（编辑），图模型的自适应星语法，201-216（2008），柏林
[11] Drewes，F。；霍夫曼，B。；米纳斯，M。；Schürr，A.（编辑）；瓦罗，D.（编辑）；Varró，G.（编辑），上下文超边缘替换，182-197（2012），柏林
[12] Ehrig，H.、Ehrig、K.、Prange，U.、Taentzer，G.：代数图形变换基础。斯普林格，EATCS理论计算机科学专著（2006）·Zbl 1095.68047号
[13] Engelfriet，J。；Rozenberg，G.（编辑）；Salomaa，A.（编辑），无上下文图文法，125-213（1999），柏林
[14] Habel，A.：超边缘替换：语法和语言。《计算机科学讲义》第643期。柏林施普林格出版社（1992年）·Zbl 0787.68066号
[15] Habel，A.，Radke，H.：带变量的图形条件的表达。In:EASST 30的电子通信（2010）。图形和模型转换国际学术讨论会（GraMoT’10）
[16] Harary，F.：图论。马萨诸塞州雷丁市Addison-Wesley（1969年）·Zbl 0182.57702号
[17] Hoffmann，B.：形状层次图变换。摘自：IEEE人类中心计算语言和环境研讨会论文集，第30-37页。IEEE计算机出版社，马里兰州银泉出版社（2001）
[18] 霍夫曼：条件自适应星文法。EASST 26的电子通信（2010）
[19] Hoffmann，B.：更多关于使用上下文优化进行图形重写的内容。In：A.Habel，M.Mosbah，R.Echahed（编辑）第五届图形计算模型国际研讨会（GCM 2014）（2014）。可在下载http://gcm2014.imag.fr/proceedingsGCM2014.pdf
[20] Hoffmann，B.，Minas，M.：定义模型——元模型与图文法。选举。EASST 29的Comm.（2010）。图变换和视觉建模技术（GT-VMT'10）第六次研讨会论文集，塞浦路斯帕福斯
[21] Lange，K.J.，Welzl，E.：断开连接的字符串语法或图形语法解析困难的基本根源。离散应用程序。数学。16, 17-30 (1987) ·Zbl 0619.68064号 ·doi:10.1016/0166-218X（87）90051-5
[22] Minas，M.：基于超图变换的图表编辑器生成器的概念和实现。科学。计算。程序。44(2), 157-180 (2002) ·Zbl 1002.68735号 ·doi:10.1016/S0167-6423（02）00037-0
[23] R.J.帕里克：关于无语境语言。《美国医学会期刊》13，570-581（1966）·Zbl 0154.25801号 ·数字对象标识代码：10.1145/321356.321364
[24] Rumbaugh，J.，Jacobson，I.，Booch，G.：统一建模语言参考手册。对象技术系列，第2版。Addison Wesley，马萨诸塞州雷丁市（2004年）
[25] Sagiv，M.，Reps，T.，Wilhelm，R.：用破坏性更新解决语言中的形状分析问题。ACM事务处理。程序。语言系统。20(1), 1-50 (1998) ·数字对象标识代码：10.1145/271510.271517
[26] Van Eetvelde，N.：重构的图形转换方法。安特卫普大学博士论文（2007）·Zbl 1002.68735号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。