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) 按年份列出的引文