Azzi，Guilherme Grochau;安德烈亚·科拉迪尼;莱拉·里贝罗 关于\（\mathcal｛M｝\）-粘合变换系统中冲突的本质和初始化。 （英语） Zbl 1435.68131号 J.日志。阿尔盖布。方法计划。 109，文章ID 100482，32 p.（2019）. 摘要：理解转换步骤和规则之间的冲突是代数图转换中的一个重要主题。当两个转换步骤不是并行独立的，即应用其中一个步骤后，另一个步骤不再发生时，就会发生冲突。一种称为关键对分析的静态分析技术允许通过枚举关键对来检测规则对之间的所有潜在冲突。由于即使是简单的规则，这些规则也往往太多，因此寻找合适的关键对子集是当前研究的主题。我们提出了一种新的冲突根源特征描述，称为“冲突本质”，利用了最近提出的平行独立特征描述，为这一主题做出了贡献。此外，我们还表明，冲突本质至少与之前提出的“冲突原因”一样精确，并且在对基本类别相对温和的假设下，唯一地确定了所谓的“初始冲突”，即关键对的适当子集。最后，我们证明了几个感兴趣的（mathcal{M}）粘合范畴具有我们的结果所需的属性，包括类型图、属性图和符号图。虽然我们的结果是针对冲突制定的，但它们直接适用于（mathcal{M}）-粘着变换系统中的依赖性。 引用于10文件 理学硕士： 2012年第68季度 语法和重写系统 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：图形变换;双推出;平行独立性;临界对;初始冲突 软件：AGG公司;同意;Verigraph公司 PDF格式BibTeX公司 XML格式引用 \textit{G.G.Azzi}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100482，32页（2019；兹bl 1435.68131） 全文： 内政部 参考文献： [1] 阿达梅克，J。；Herrlich，H。；Strecker，G.，抽象和具体类别（2004），Wiley Interscience，网址： [2] Anjorin，A。；Leblebici，E。；Schürr，A.，《三重图文法20年：未来研究路线图》，Electron。Commun公司。EASST，73（2015） [3] Azzi，G.G.，《改进双推图形转换中的冲突检测》（2018），南里奥格兰德联邦大学：南巴西里奥格兰德联邦大学，硕士论文 [4] Azzi，G.G。；Bezerra，J.S。；里贝罗，L。；科斯塔，A。；罗德里格斯，L.M。；Machado，R.，图形转换的verigraph系统，（图形转换、规范和网络。图形转换、规范和网络，LNCS，第10800卷（2018），施普林格），160-178·Zbl 1383.68041号 [5] Azzi，G.G。；科拉迪尼，A。；Ribeiro，L.，《关于冲突的本质和初始性》，（Lambers，L.；Weber，J.H.，《图形转换国际会议》，2018年国际图形转换大会。图形变换国际会议。国际图形转换会议，ICGT 2018，LNCS，第10887卷（2018），Springer），99-117·Zbl 1394.68195号 [6] 巴尔丹，P。；Bonchi，F。；Corradini，A。；海因德尔，T。；König，B.，粘着类别的格理论观点，J.Symb。计算。，46, 3, 222-245 (2011) ·Zbl 1217.18004号 [7] 出生，K。；Lambers，L.公司。；斯特吕贝尔，D。；Taentzer，G.，《图变换系统中冲突和依赖的粒度》，（图变换国际会议，图变换国际大会，2017年）。图形变换国际会议。国际图形转换会议，ICGT 2017，LNCS，第10373卷（2017），Springer），125-141·Zbl 1425.68155号 [8] 布奇亚龙。；Pelliccione，P。；Vattani，C。；Runge，O.，使用AGG的自修复系统建模和验证，（IEEE/IFIP软件体系结构联合工作会议和欧洲软件体系结构会议。IEEE/IFIP软件体系结构联合工作会议和欧洲软件体系结构会议，WICSA/ECSA 2009。IEEE/IFIP软件架构联合工作会议和欧洲软件架构会议。IEEE/IFIP软件架构联合工作会议和欧洲软件架构会议，WICSA/ECSA 2009，IEEE（2009），181-190 [9] Cockett，J.R.B。；Lack，S.，限制范畴I：部分映射的范畴，Theor。计算。科学。，270, 1-2, 223-259 (2002) ·Zbl 0988.18003号 [10] Cockett，J.R.B。；Lack，S.，限制类别II：部分地图分类，Theor。计算。科学。，294, 1/2, 61-102 (2003) ·Zbl 1023.18005号 [11] Corradini，A。；杜瓦尔，D。；Echahed，R。；普罗斯特，F。；Ribeiro，L.，AGREE代数图重写与控制嵌入，（国际图变换会议，国际图变换会议，ICGT 2015。图形变换国际会议。国际图形转换会议，ICGT 2015，LNCS，第9151卷（2015），Springer），35-51·兹比尔1321.68327 [12] Corradini，A。；杜瓦尔，D。；Echahed，R。；普罗斯特，F。；Ribeiro，L.，《代数图变换的拉回推出法》，（图变换国际会议，图变换国际大会，2017年）。图形变换国际会议。国际图形转换会议，2017年国际图形学大会，LNCS，第10373卷（2017年），Springer），3-19·Zbl 1425.68156号 [13] Corradini，A。；杜瓦尔，D。；Löwe，M。；里贝罗，L。；马查多·R。；科斯塔，A。；Azzi，G.G。；Bezerra，J.S。；Rodrigues，L.M.，《关于双推出和半推出方法的并行独立性的本质》，（图变换，规范和网络，图变换，规格和网络，LNCS，第10800卷（2018），Springer），1-18·Zbl 1383.68042号 [14] Corradini，A。；杜瓦尔，D。；普罗斯特，F。；Ribeiro，L.，AGREE转换中的并行性，（图转换国际会议，图转换国际大会，2016年）。图形变换国际会议。国际图形转换会议，2016年国际图形学大会，LNCS，第9761卷（2016年），斯普林格出版社，37-53·兹比尔1344.68106 [15] Corradini，A。；海因德尔，T。；赫尔曼，F。；König，B.，Sesqui-pushout重写，（图变换国际会议，图变换国际大会，ICGT（2006））。（图变换国际会议，图变换国际大会，ICGT（2006）），LNCS，第4178卷，30-45（2006），Springer·Zbl 1156.68423号 [16] Corradini，A。；蒙塔纳里，美国。；罗西，F。；Ehrig，H。；赫克尔，R。；Löwe，M.，《图形变换的代数方法——第一部分：基本概念和双重推出方法》（《图形语法和图形变换计算手册》，第1卷：基础（1997），《世界科学》），163-246·Zbl 0908.68095号 [17] 哥伦比亚。F、。；里贝罗。；Bezerra，J.S。；科斯塔，A。；达席尔瓦，R.E。；Cota，G.，《使用正式方法对医疗程序文件进行内容验证》。一、 医学通报杂志。，104, 10-25 (2017) [18] Deckwerth，F.，属性图变换的静态验证技术（2017），达姆施塔特理工大学：德国达姆施塔理工大学，博士论文 [19] 甲板，F。；Varró，G.，《从图形约束生成前提条件的属性处理》，（图变换国际会议，图变换国际大会，ICGT 2014。图形变换国际会议。国际图形转换会议，ICGT 2014，LNCS，第8571卷（2014），Springer），81-96·Zbl 1423.68095号 [20] Ehrig，H。；Ehrig，K。；哈贝尔，A。；Pennemann，K.，《约束和应用条件理论：从图到高层结构》，Fundam。通知。，74, 1, 135-166 (2006) ·Zbl 1106.68054号 [21] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，代数图变换基础，理论计算机科学专著：EATCS系列（2006），Springer·Zbl 1095.68047号 [22] Ehrig，H。；美国戈拉斯。；哈贝尔，A。；Lambers，L.公司。；Orejas，F.，\（M\）-具有嵌套应用条件的粘合剂转化系统。第二部分：嵌入、关键对和局部汇合，Fundam。通知。，118, 1-2, 35-63 (2012) ·Zbl 1242.68128号 [23] 埃里格，H。；美国戈拉斯。；哈贝尔，A。；Lambers，L.公司。；Orejas，F.，\（M\）-具有嵌套应用条件的粘合剂转化系统。第1部分：并行、并发和合并，数学。结构。计算。科学。，24, 4 (2014) ·Zbl 1342.68176号 [24] Ehrig，H。；美国戈拉斯。；Hermann，F.，基于DPO方法的图变换和HLR系统的分类框架，Bull。欧洲协会。计算。科学。，102, 111-121 (2010) ·Zbl 1257.68092号 [25] Ehrig，H。；哈贝尔，A。；Padberg，J。；Prange，U.，《粘合剂高级替换类别和系统》（图形转换国际会议，图形转换国际大会，ICGT（2004））。（国际图形转换会议，国际图形转换会议，ICGT（2004）），LNCS，第3256卷，144-160（2004），施普林格·Zbl 1116.68480号 [26] Ehrig，H。；赫克尔，R。；科尔夫，M。；Löwe，M。；里贝罗，L。；瓦格纳。；Corradini，A.，《图形变换的代数方法——第二部分：单推出方法和与双推出方法的比较》（《图形语法手册》（1997），世界科学出版社），247-312 [27] Ehrig，H。；Kreowski，H.，多维信息结构中操作的并行性，（计算机科学的数学基础，第五届研讨会。计算机科学的数字基础，第5届研讨会，MFCS（1976））。（计算机科学的数学基础，第五届研讨会。计算机科学的数字基础，第5届研讨会，MFCS（1976）），LNCS，第45卷，284-293（1976），Springer·Zbl 0352.68096号 [28] Ehrig，H。；P挡泥板，M。；Schneider，H.J.，图文法：代数方法，（第十四届交换与自动机理论年会，第十四届开关与自动机原理年会，SWAT（FOCS）（1973），IEEE计算机学会），167-180 [29] Gabriel，K。；Braatz，B。；Ehrig，H。；Golas，U.，Finitary\（M\）-粘合剂类别，数学。结构。计算。科学。，24, 4 (2014) ·Zbl 1342.68177号 [30] 哈贝尔，A。；赫克尔，R。；Taentzer，G.，《负应用条件下的图形文法》，Fundam。通知。，26, 3/4, 287-313 (1996) ·Zbl 0854.68055号 [31] 哈贝尔，A。；穆勒，J。；Plump，D.，具有内射匹配的双推出方法，（图变换的理论和应用，第六届国际研讨会。图变换的理论和应用，第六届国际研讨会，TAGT’98。图变换的理论与应用，第六届国际研讨会。图变换的理论与应用，第六届国际研讨会，TAGT’98，LNCS，第1764卷（1998），Springer），103-116·Zbl 0958.68080号 [32] 哈贝尔，A。；穆勒，J。；Plump，D.，《重温双推图形变换》，《数学》。结构。计算。科学。，11, 5, 637-688 (2001) ·Zbl 0987.18005号 [33] 哈贝尔，A。；Pennemann，K.，《高层结构的嵌套约束和应用条件》，（软件和系统建模中的形式方法。软件和系统模型中的形式化方法，LNCS，第3393卷（2005），Springer），293-308·Zbl 1075.68623号 [34] 哈贝尔，A。；Plump，D.，\（M，N \）-粘合剂转换系统，（图形转换国际会议。图形转换国际大会，2012年ICGT。图形变换国际会议。国际图形转换会议，2012年国际图形学大会，LNCS，第7562卷（2012），施普林格），218-233·Zbl 1367.68135号 [35] 豪斯曼，J.H。；赫克尔，R。；Taentzer，G.，《用例驱动方法中冲突功能需求的检测：基于图变换的静态分析技术》，（第24届国际软件工程会议，第24届软件工程国际会议，ICSE 2002。第24届国际软件工程会议。第24届软件工程国际会议，ICSE 2002，ACM（2002）），105-115 [36] Jayaraman，P.K。；惠特尔，J。；Elkhodary，A.M。；Gomaa，H.，《产品线中的模型构成和使用关键对分析的特征交互检测》，（《模型驱动工程语言和系统》，第十届国际会议，《模型驱动的工程语言与系统》，2007年第十届国际会议，MoDELS。模型驱动工程语言和系统，第十届国际会议。模型驱动工程语言和系统，第十届国际会议，MoDELS 2007，LNCS，第4735卷（2007），Springer），151-165 [37] Johnstone，P.T.，《大象素描：拓朴理论简编》，第2卷（2002年），牛津大学出版社·Zbl 1071.18002号 [38] Knuth，D.E。；Bendix，P.B.，泛代数中的简单单词问题，（抽象代数中的计算问题（1970），佩加蒙），263-297·Zbl 0188.04902号 [39] Kulcsár，G。；甲板，F。；Lochau，M。；瓦罗，G。；Schürr，A.，《改进的带属性图变换冲突检测》，（Rensink，A.；Zambon，E.，《继续：图作为模型》，差距@ETAPS2015年4月11日至12日，英国伦敦。继续：图形作为模型。继续：图形作为模型，差距@ETAPS2015年，英国伦敦，2015年4月11-12日，EPTCS，第181卷（2015）），97-112 [40] 缺乏，S。；Sobocinski，P.，粘合剂和准粘合剂类别，Inform。理论。申请。，39, 3, 511-545 (2005) ·Zbl 1078.18010号 [41] Lambers，L.，《使用图形转换证明基于规则的模型》（2009年），柏林理工学院博士论文 [42] Lambers，L.公司。；出生，K。；科索尔，J。；斯特吕贝尔，D。；图变换系统中冲突和依赖的粒度：二维方法，J.Log。代数方法程序。，103, 105-129 (2019) ·Zbl 1417.68078号 [43] Lambers，L.公司。；出生，K。；Orejas，F。；斯特吕贝尔，D。；Taentzer，G.，《初始冲突和依赖：重访关键对》，（图变换、规范和网络，图变换、规格和网络，LNCS，第10800卷（2018），Springer），105-123·兹比尔1383.68045 [44] Lambers，L.公司。；Ehrig，H。；Orejas，F.，《基于关键关键对的图形转换系统中的有效冲突检测》（2006），柏林理工大学，技术代表。 [45] Lambers，L.公司。；埃里格，H。；Orejas，F.，《通过基本关键对在图转换系统中进行有效冲突检测》，电子。注释Theor。计算。科学。，211, 17-26 (2008) ·Zbl 1283.68185号 [46] Lambers，L.公司。；Orejas，F.，基于Tableau的图形属性推理，（Giese，H.；König，B.，国际图形转换会议，国际图形变换会议，ICGT 2014。图形变换国际会议。国际图形转换会议，ICGT 2014，LNCS，第8571卷（2014），Springer），17-32·Zbl 1425.68316号 [47] Lambers，L.公司。；斯特吕贝尔，D。；Taentzer，G。；出生，K。；Huebert，J.，基于图变换的软件工程中的多粒度冲突和依赖分析，（第40届国际软件工程会议，第40届软件工程国际会议，ICSE 2018。第40届国际软件工程会议。第40届软件工程国际会议，ICSE 2018，ACM（2018），716-727 [48] Löwe，M.，单推出图变换的代数方法，Theor。计算。科学。，109, 1&2, 181-224 (1993) ·Zbl 0787.18001号 [49] Löwe，M.，《span-categories中的图重写》，（图转换国际会议，图转换国际大会，2010年）。图形变换国际会议。国际图形转换会议，ICGT 2010，LNCS，第6372卷（2010），Springer），218-233·Zbl 1306.68081号 [50] Löwe，M.，《协议重新编写中平行独立性的特征》，（ICGT.ICGT，LNCS，第10887卷（2018年），施普林格出版社），118-133·Zbl 1394.68202号 [51] 南卡罗来纳州麦克莱恩。；Moerdijk，I.，《几何与逻辑中的Sheaves：拓扑理论导论》（2012），施普林格 [52] Mehner，K。；蒙加，M。；Taentzer，G.，面向方面的模型编织分析，（Trans.aspect-oriented Software Development，vol.5（2009）），235-263 [53] Mens，T。；Straeten，R.V.D.，模型不一致性的增量解决，（代数开发技术的最新趋势，第18届国际研讨会。代数发展技术的最新趋势，第18届国际研讨会。代数发展技术的最新趋势，第18届国际研讨会，WADT 2006，LNCS，第4409卷（2006），Springer），111-126·Zbl 1116.68005号 [54] Mens，T。；Taentzer，G。；Runge，O.，《使用图形转换分析重构依赖项》，Softw。系统。型号。，6, 3, 269-285 (2007) [55] 奥利维拉，M。；里贝罗，L。；科塔，É。F、。；杜阿尔特，L.M。；努斯，I。；Reis，F.，基于形式方法的用例分析：一项实证研究，（代数开发技术的最新趋势，第22届国际研讨会。代数开发技术的最新趋势，第22届国际研讨会，WADT 2014。代数发展技术的最新趋势，第22届国际研讨会。代数发展技术的最新趋势，第22届国际研讨会，WADT 2014，LNCS，第9463卷（2014），Springer），110-130·Zbl 1472.68196号 [56] Orejas，F.，属性图约束的符号图，J.Symbol。计算。，46, 3, 294-315 (2011) ·Zbl 1298.68121号 [57] Orejas，F。；Lambers，L.，属性图变换的符号属性图，电子。Commun公司。EASST，30（2010） [58] Plump，D.，术语图改写，201-213（1993），John Wiley and Sons Ltd.：英国奇切斯特John Willey and Sons有限公司 [59] Plump，D.，术语图重写中的关键对，（计算机科学的数学基础，第19届国际研讨会。计算机科学的数字基础，第十九届国际研讨会，MFCS’94。计算机科学数学基础，第19届国际研讨会。计算机科学数学基础，第19届国际研讨会，MFCS’94，LNCS，第841卷（1994），Springer），556-566·Zbl 1493.68177号 [60] Plump，D.，重温图变换的汇流，（过程、术语和周期.过程、术语与周期，LNCS，第3838卷（2005），Springer），280-308·Zbl 1171.68517号 [61] Plump，D.，《图形变换的模块化终止》（graph transformation，Specifications，and Nets.graph Transition，Specification，and Nets，LNCS，vol.10800（2018），Springer），231-244·Zbl 1383.68048号 [62] Raoult，J.，《关于图重写》，Theor。计算。科学。，32, 1-24 (1984) ·Zbl 0551.68065号 [63] （Rozenberg，G.，《图形语法和图形变换计算手册》，第1卷：基础（1997），《世界科学》）·Zbl 0908.68095号 [64] Schürr，A.，《具有三重图形文法的图形翻译器规范》，（计算机科学中的图形理论概念，第20届国际研讨会。计算机科学中的图论概念，第20届国际研讨会。计算机科学中的图论概念，第20届国际研讨会，WG’94，LNCS，第903卷（1994），Springer），151-163 [65] Taentzer，G.，AGG：软件建模和验证的图形转换环境，（《图形转换与产业关联的应用》，第二届国际研讨会。《图形转换的应用与产业关联》，第三届国际研讨会，AGTIVE 2003。图变换与产业关联的应用，第二届国际研讨会。图变换在工业关联中的应用，第二届国际研讨会，AGTIVE 2003，LNCS，第3062卷（2003），Springer），446-453 [66] Taentzer，G。；埃梅尔，C。；兰格，P。；Wimmer，M.，基于图修改的模型版本冲突检测，（图转换国际会议，图转换国际大会，ICGT 2010。图形变换国际会议。国际图形转换会议，ICGT 2010，LNCS，第6372卷（2010），Springer），171-186·Zbl 1306.68091号 [67] 惠特尔，J。；Jayaraman，P.K。；麋鹿，A.M。；Moreira，A。；Araüjo，J.，MATA：基于图转换的UML方面模型的统一组合方法，（Trans.aspect-Oriented Software Development，vol.6（2009）），191-237 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。