×
Overbeek，罗伊;约尔格恩德鲁利斯;阿洛依斯·罗塞特

用PBPO（^+）重写和重新标记图：拟拓扑的统一理论。 （英语） Zbl 1512.68131号

J.日志。阿尔盖布。方法计划。 133，文章ID 100873，25 p.（2023）.
摘要：我们扩展了强大的Pullback-Pushout（PBPO）方法，用于强匹配的图重写。我们的方法称为PBPO（^+），允许对主机图中模式的嵌入进行更多控制，这对于一大类重写系统来说非常重要。通过证明PBPO（^+）可以定义由PBPO、AGREE和DPO定义的重写关系的严格超集，我们认为在一般拟拓扑环境下，PBPO（“^+”）可以被视为一个统一理论。此外，我们通过在标记集上引入格结构并要求图的形态是保序的，证明了PBPO（^+）非常适合重写标记图和某些类别的属性图。

引用于2文件

MSC公司：

2012年第68季度 语法和重写系统
18对25 托波伊

软件：

同意
PDF格式BibTeX公司 XML格式引用
\textit{R.Overbeek}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100873，25 p.（2023；Zbl 1512.68131）
全文： 内政部 arXiv公司

参考文献：

[1] Overbeek，R。；Endrullis，J.，《补丁图重写》（Proc.Conf.on graph Transformation，ICGT）。程序。图变换会议（ICGT），LNCS，第12150卷（2020年），施普林格出版社，128-145·Zbl 1502.68157号
[2] Corradini，A。；杜瓦尔，D。；Echahed，R。；普罗斯特，F。；Ribeiro，L.，PBPO图形转换方法，J.Log。代数方法程序。，103, 213-231 (2019) ·Zbl 1417.68075号
[3] Wyler，O.，《关于Topoi和Quasitopoi的演讲笔记》（1991年），世界科学出版公司·Zbl 0727.18001号
[4] Lack，S。；Sobociñski，P.，粘着类别，（软件科学和计算结构基础（FOSSACS）汇编）。程序。软件科学和计算结构基础会议（FOSSACS），LNCS，第2987卷（2004），Springer），273-288·Zbl 1126.68447号
[5] Corradini，A。；杜瓦尔博士。；Echahed，R。；普罗斯特，F。；Ribeiro，L.，AGREE-带受控嵌入的代数图重写，（图变换（ICGT）汇编）。程序。图变换会议（ICGT），LNCS，第9151卷（2015），Springer），35-51·Zbl 1321.68327号
[6] Johnstone，P.T。；Lack，S。；Sobocinski，P.，《拟拓扑、拟粘着类别和Artin胶合》（计算机科学中的代数和余代数）。计算机科学中的代数和余代数（CALCO），LNCS，第4624卷（2007），Springer），312-326·Zbl 1214.18003号
[7] Corradini，A。；杜瓦尔，D。；Echahed，R。；普罗斯特，F。；Ribeiro，L.，控制嵌入的代数图重写，Theor。计算。科学。，802, 19-37 (2020) ·兹比尔1436.68155
[8] Ehrig，H。；P挡泥板，M。；Schneider，H.J.，《图文法：代数方法》（Graph-grammars:an algebratic approach），《交换与自动机理论交响乐汇编》（1973），IEEE计算机学会），167-180
[9] Overbeek，R。；Endrullis，J。；Rosset，A.，用PBPO^+进行图形重写和重新标记，（关于图形变换（ICGT）的会议过程）。程序。图变换会议（ICGT），LNCS，第12741卷（2021），Springer），60-80·Zbl 1492.68072号
[10] Overbeek，R。；Endrullis，J.，PBPO^+图形重写教程，（术语和图形计算研讨会（TERMGRAPH））。程序。术语和图形计算研讨会（TERMGRAPH），EPTCS，第377卷（2023年），开放出版协会，45-63
[11] Mac Lane，S.，《工作数学家分类》，第5卷（1971年），斯普林格科学与商业媒体·Zbl 0232.18001号
[12] Awodey，S.，《范畴理论》（2006），牛津大学出版社·Zbl 1100.18001号
[13] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），施普林格出版社·Zbl 1095.68047号
[14] Löwe，M.，单推出图变换的代数方法，Theor。计算。科学。，109, 1&2, 181-224 (1993) ·Zbl 0787.18001号
[15] Corradini，A。；海因德尔，T。；赫尔曼，F。；König，B.，Sesqui-pushout重写，（关于图形变换（ICGT）的Proc.Conf.）。程序。图变换会议（ICGT），LNCS，第4178卷（2006），Springer），30-45·Zbl 1156.68423号
[16] 贝尔，N。；哈默，R。；Krivine，J.，《非线性重写理论的并发定理》，（图变换（ICGT）汇编）。程序。图变换会议（ICGT），LNCS，第12741卷（2021），Springer），3-21·Zbl 1489.68115号
[17] Bauderon，M.，《图形重写的统一方法：拉回方法》，（计算机科学概念中的图论程序。计算机科学概念的图论过程，LNCS，第1017卷（1995），Springer），101-115
[18] Bauderon，M。；Jacquet，H.，Pullback作为一种通用的图形重写机制，应用。类别。结构。，9, 1, 65-82 (2001) ·Zbl 0970.68080号
[19] 科克特，J.R.B。；Lack，Stephen，限制范畴I：部分映射的范畴，Theor。计算。科学。，270, 1-2, 223-259 (2002) ·Zbl 0988.18003号
[20] Cockett，J.R.B。；Lack，S.，限制类别II：局部地图分类，Theor。计算。科学。，294, 1/2, 61-102 (2003) ·Zbl 1023.18005号
[21] Ehrig，H。；美国戈拉斯。；Hermann，F.，基于DPO方法的图变换和HLR系统的分类框架，Bull。欧洲协会。计算。科学。，102, 111-121 (2010) ·Zbl 1257.68092号
[22] Adámek，J。；Herrlich，H。；Strecker，G.E.，《抽象和具体类别——猫的快乐》（2009），多佛出版社·Zbl 0695.18001号
[23] Johnstone，P.T.，《大象素描：拓朴理论简编》，第1卷（2002年），牛津大学出版社·Zbl 1071.18001号
[24] Heindel，T.，《重新考虑遗传推出》，（图形转换（ICGT）会议纪要）。程序。图变换会议（ICGT），LNCS，第6372卷（2010），Springer），250-265·Zbl 1306.68073号
[25] R.加纳。；Lack，S.，关于粘合剂和准粘合剂范畴的公理，理论应用。类别。，2012年3月27日至46日·Zbl 1248.18001号
[26] Goguen，J.A.，L-fuzzy集，J.数学。分析。申请。，18, 1, 145-174 (1967) ·Zbl 0145.24404号
[27] Stout，L.N.，《两个封闭结构范畴中不平衡子对象的逻辑》，73-105（1992），施普林格荷兰：施普林格荷属多德雷赫特·Zbl 0760.03021号
[28] Rosset，A。；Overbeek，R。；Endrullis，J.，模糊预升为准拓扑（2023），CoRR
[29] Goldblatt，R.，《托波伊：逻辑的范畴分析》（1979），荷兰北部·Zbl 0434.03050号
[30] Corradini，A。；海因德尔，T。；König，B。；Nolte博士。；Rensink，A.，《重写抽象结构：明确解释的物化》（Proc.Conf.on Foundations of Software Science and Computation structures，FOSSACS）。程序。软件科学和计算结构基础会议（FOSSACS），LNCS，第11425卷（2019），Springer），169-188·Zbl 1524.68163号
[31] Corradini，A。；海因德尔，T。；König，B。；诺尔特，D。；Rensink，A.，《重写抽象结构：明确解释的物化》（2019年），CoRR·Zbl 1524.68163号
[32] 莫里，M。；Kawahara，Y.，模糊图重写，RIMS Kokyuroku，918，65-71（1995）·Zbl 0939.68676号
[33] Parasyuk，I.N。；Yershov，S.V.，构建模糊图文法的分类方法，Cybern。系统。分析。，42, 570-581 (2006) ·Zbl 1117.68041号
[34] Parasyuk，I.N。；Ershov，S.V.，FD-grammars指定的模糊图的变换，Cybern。系统。分析。，43, 266-280 (2007) ·Zbl 1125.68065号
[35] Parasyuk，I.N。；Ershov，S.V.，基于模糊图模型的软件架构开发的转换方法，Cybern。系统。分析。，44749-759（2008年）·Zbl 1162.68403号
[36] Overbeek，R。；Endrullis，J.，《从线性项重写到保留终止的图形重写》（graph Computational Models（GCM）研讨会论文集）。程序。图形计算模型（GCM）研讨会，EPTCS，第350卷（2021年），19-34
[37] Kahl，W.，collagories中的合并推出和回拉图形变换（Proc.Conf.on graph transformation，ICGT）。程序。图变换会议（ICGT），LNCS，第6372卷（2010），Springer），362-378·Zbl 1306.68077号
[38] Mantz，F.，应用于模型迁移的图结构耦合变换（2014），马尔堡大学，博士论文
[39] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，Drags:用于图形重写的合成代数框架，Theor。计算。科学。，777, 204-231 (2019) ·Zbl 1423.68229号
[40] Kahl，W.，Collagories:粘合结构的关系代数推理，J.Log。代数方法程序。，80, 6, 297-338 (2011) ·Zbl 1216.68137号
[41] Parisi Presicce，F。；Ehrig，H。；Montanari，U.，《统一与合成的图形重写》（Graph rewriting with uniformation and composition，Proc.Workshop on Graph-Grammars and Their Application to Computer Science），《图形语法及其在计算机科学中的应用》，LNCS，第291卷（1986），斯普林格出版社，496-514·Zbl 0643.68103号
[42] 哈贝尔，A。；Plump，D.，《图变换中的重标号》，（图变换（ICGT）汇编）。程序。关于图变换的会议（ICGT），LNCS，第2505卷（2002年），施普林格），135-147·Zbl 1028.68071号
[43] Schneider，H.J.，《在双重推出方法中改变标签可以被一目了然地对待》，（软件和系统建模中的形式方法。软件和系统模型中的形式化方法，LNCS，第3393卷（2005），Springer），134-149·Zbl 1075.68043号
[44] Hoffmann，B.，带变量的图形转换，（软件和系统建模中的形式方法。软件和系统模型中的形式化方法，LNCS，第3393卷（2005），Springer），101-115·Zbl 1075.68039号
[45] 哈贝尔，A。；Plump，D.，\（mathcal{M}，mathcal}N}）-粘着变换系统，（图形变换（ICGT）汇编）。程序。图变换会议（ICGT），LNCS，第7562卷（2012年），Springer，218-233·Zbl 1367.68135号
[46] Kahl，W.，《通过一元余代数同态实现符号属性的图形变换》（Electron.Commun.Eur.Assoc.Softw.Sci.Technol.，vol.71（2014））
[47] Shulman，M.，《子对象和因式分解保存类型》（版本：2021-01-22）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。