穆罕默德·阿明（Mohamed Amine Hannachi）;伊斯梅尔·博阿西达·罗德里格斯;哈利尔·德里拉;波马莱斯·埃尔南德斯（Pomares Hernandez）、索尔·爱德华多（Saul Eduardo） GMTE：用于图形转换和精确/不精确图形匹配的工具。 （英语） Zbl 1382.68169号 Kropatsch，Walter G.（编辑）等，模式识别中基于图形的表示。2013年5月15日至17日，奥地利维也纳，第九届IAPR-TC-15国际研讨会，GbRPR 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38220-8/pbk）。计算机科学课堂讲稿7877，71-80（2013）。 摘要：多标号图是一种强大而通用的工具，用于建模不同领域中的实际应用程序，例如通信网络、社交网络和自主系统等。由于此类系统的动态性质，实体的结构随着时间不断变化，这是因为，新实体可能加入系统，其中一些实体离开系统，或者仅仅因为实体的关系发生变化。为了用动态和/或演化配置对系统进行建模，图变换在这里发挥了重要作用。图转换包括两个主要任务：图匹配和图重写。目前，很少有图形转换工具支持多标记图。据我们所知，没有任何工具支持不精确的图匹配来进行图转换。此外，这些工具的主要问题在于所用重写规则的表达能力有限，这会消极地减少建模应用场景的范围和/或消极地增加要使用的重写规则的数量。在本文中，我们提出了工具GMTE——图形匹配和转换引擎。GMTE处理有向图和多标签图。此外，对于精确的图形匹配，GMTE处理不精确的图形匹配对。GMTE使用的重写规则方法将单推式重写规则与edNCE语法相结合。这种组合丰富并扩展了图重写规则的表达能力。此外，对于图形匹配，GMTE使用了一个条件规则模式，该模式支持标签上的复杂比较函数。据我们所知，GMTE是第一个提供此类功能的图形转换工具。关于整个系列，请参见[Zbl 1263.68021号]. 引用于1文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 2012年第68季度 语法和重写系统 软件：GMTE公司;AToM3型;AGG公司;图形ML PDF格式BibTeX公司 XML格式引用 \textit{M.A.Hannachi}等人，Lect。注释计算。科学。7877，71-80（2013；Zbl 1382.68169） 全文： 内政部