Verigraph公司 swMATH ID: 23736 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 描述： 用于图形转换的Verigraph系统。图形转换（GT）是一种基于规则的框架，适用于以直观而正式的方式对复杂系统的静态和动态方面进行建模。GT的代数方法基于范畴理论，允许将理论结果实例化为多个图形结构（例如标记或属性图、Petri网，甚至转换规则本身）。存在丰富的代数GT理论，它是静态分析等验证技术的基础。当前基于GT的工具是以非常具体的方式实现的，与理论不同，这使得它们很难用新的理论结果进行扩展。因此，创建了一个名为Verigraph的新软件系统，其目标是尽可能紧密地实现该理论，同时保持合理的执行时间。在本文中，我们介绍了Verigraph的体系结构，它几乎可以直接实现该理论。我们还以二阶图形变换为例，提供了在系统中实现新图形模型的分步指南。最后，我们比较了Verigraph和AGG的性能。 主页： https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks网站 源代码： https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks网站 相关软件： AGG公司;同意;变身;凹槽;CatLib（目录库）;鸡蛋;eMoflon公司;电动势;赫茨;哈斯克尔;GrGen公司;规则合并器;APIDiff公司;迁移 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用于图形转换的Verigraph系统。 兹比尔1383.68041吉尔赫梅·格罗肖·阿兹（Guilherme Grochau Azzi）;贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗;安德烈·科斯塔;罗德里格斯，莱昂纳多·马尔克斯;罗德里戈·马查多 2018 全部的 前5名被21位作者引用 4 吉尔赫梅·格罗肖·阿兹（Guilherme Grochau Azzi） 4 莱拉·里贝罗 三 乔纳斯·桑托斯，贝泽拉 三 安德烈·科斯塔 三 罗德里戈·马查多 三 罗德里格斯，莱昂纳多·马尔克斯 2 克里斯托弗出生 2 克里斯托弗·布朗 2 安德烈亚·科拉迪尼 2 詹姆斯·P·费尔班克斯。 2 汉克斯，泰勒 2 莱恩·兰伯斯 2 埃文·帕特森 2 丹尼尔·斯特吕贝尔 2 加布里埃尔·坦泽尔 1 蒂亚戈·拉斐尔·贝克尔 1 迪奥戈·拉斐尔·克拉沃 1 多米尼克·杜瓦尔 1 里卡多·加布里埃尔·赫特 1 迈克尔·J·S·洛。 1 费尔南多·奥雷贾斯 连载1篇 2 程序设计中的逻辑和代数方法杂志 在2个字段中引用 9 计算机科学（68至XX） 三 范畴理论；同调代数（18-XX） 按年份列出的引文