GMTE公司

GMTE:一个用于图形转换和精确/不精确图形匹配的多标记图的工具,是一个强大而通用的工具,可用于模拟不同领域的实际应用,如通信网络、社交网络和自主系统等。由于这类系统的动态性,实体的结构随着时间的推移而不断变化,这是因为,有可能有新的实体加入系统,其中一些实体离开系统,或者仅仅是因为实体之间的关系发生了变化。在这里,图变换扮演了一个重要的角色,以便对具有动态和/或演化配置的系统进行建模。图转换包括两个主要任务:图匹配和图重写。目前,支持多标记图的图形转换工具很少。据我们所知,目前还没有支持不精确图匹配的工具来实现图的转换。此外,这些工具的主要问题在于所使用的重写规则的表达能力有限,这会负面地减少要建模的应用程序场景的范围和/或消极地增加要使用的重写规则的数量。本文介绍了GMTE工具——图匹配与转换引擎。GMTE处理有向图和多标记图。此外,对于精确的图匹配,GMTE处理不精确的图匹配。GMTE所使用的重写规则的方法是将单个pushout重写规则与edNCE语法相结合。这种组合丰富并扩展了图形重写规则的表达能力。此外,对于图匹配,GMTE使用了一个条件规则模式,它支持复杂的比较函数而不是标签。据我们所知,GMTE是第一个提供这种功能的图形转换工具。