图形转换基准

当必须在多个备选方案之间做出选择时,图转换基准测试在决策过程中起着关键作用。为了填补这一角色,系统设计者应该对系统有一个正确的看法,这意味着必须在不同的情况下测量系统的特性(即使用几个参数组合进行测量)。图转换提供了一种基于模式和规则的图形模型操作。由于有许多领域可以使用基于图的模型,因此图变换可以被认为是一种广泛适用的方法。然而,尽管图形转换工具(AGG、Fujaba、GReAT、Groove、PROGRES、Viatra)种类繁多,但到目前为止,还没有任何用于比较这些工具的基准集。本网页的目的是弥合这一差距,并提供一套基本的基准示例的描述,以及可以使用基准的场景。此外,我们的计划还包括对图形转换工具的性能进行定量比较,为工具提供商要求实现的不同测试用例定义特定的参数设置和优化可能性。在图转换基准测试的情况下,唯一可测量的特征,依次构成比较的基础,是模式匹配和更新阶段的执行时间。(请注意,生成初始模型所需的时间不参与测量,因此,此处不讨论此主题。)对多个工具和不同测试集的执行时间进行了测量,而对于所有基准测试,底层硬件保持不变。


zbMATH中的参考文献(引用于,1标准件)

显示结果1到11,共11个。
按年份排序(引用)

  1. Bergmann,Gábor;Ráth,István;Szabó,Tamás;Torrini,Paolo;VarróDániel:传递闭包有效计算的增量模式匹配(2012)ioport公司
  2. Biermann,Enrico;Ermel,Claudia;Lambers,Leen;Prange,Ulrike;Runge,Olga;Taentzer,Gabriele:AGG和EMF Tiger建模会议调度系统简介(2010)ioport公司
  3. Horváth,Ákos;Bergmann,Gábor;Ráth,István;VarróDániel:将模式匹配策略与VIATRA2相结合的实验评估(2010)ioport公司
  4. Minas,Mark;Schneider,Hans Jürgen:计算范畴理论的图变换(2010)
  5. 伦辛克,阿伦德:图转换的边缘——行为规范图(2010)
  6. Jackson,Ethan;Sztipanovits,Janos:领域特定建模语言的结构语义的形式化(2009)ioport公司
  7. Bergmann,Gábor;Horváth,Ákos;Ráth,István;VarróDániel:图转换中增量模式匹配的基准评估(2008)
  8. Varró,Gergely:使用独立于数据库的查询实现EJB3特定的图形转换插件(2008)ioport公司
  9. Becker,Simon M.;Herold,Sebastian;Lohmann,Sebastian;Westfechtel,Bernhard:增量和交互式集成工具中一致性维护的基于图的算法(2007)ioport公司
  10. 阿格拉瓦尔,阿迪提亚;卡尔赛,加博;尼玛,桑迪普;施,冯;维尚约,阿提拉:模型转换语言的设计(2006)ioport公司
  11. Geiß,Rubino;Batz,Gernot Veit;Grund,Daniel;Hack,Sebastian;Szalkowski,Adam:GrGen:一种基于SPO的快速图形重写工具(2006)