聚合

属性图语法系统:AGG是一个通用的代数图转换系统开发环境,遵循解释性方法。它的特殊力量来自一个非常灵活的归因概念。任何类型的Java对象都可以对AGG图进行属性化。图形转换可以在这些由Java表达式描述的Java对象上进行任意计算。AGG环境由一个图形用户界面组成,包括几个可视化编辑器、一个解释器和一组验证工具。解释器允许图形的逐步转换以及规则应用程序尽可能长。AGG支持多种验证,包括图解析、图的一致性检查和并发转换中的冲突检测,这些验证通过图规则的关键对分析来实现。AGG的应用包括基于图形和基于规则的软件建模、通过将基于图转换的语义分配给某些系统模型来验证系统属性、基于图转换的软件演化以及基于图语法定义可视化语言。


zbMATH参考文献(49篇文章引用)

显示第1到第20个结果,共49个。
按年份排序(引用)
  1. Azzi,Guilherme Grochau;Corradini,Andrea;Ribeiro,Leila:论(\mathcalM)-粘合剂转换系统中冲突的本质和初始性(2019)
  2. Lambers,Leen;Born,Kristopher;Kosiol,Jens;Struber,Daniel;Taentzer,Gabriele:图转换系统中冲突和依赖的粒度:二维方法(2019)
  3. Fernando Macías;Wolter,Uwe;Rutle,Adrian;Durán,Francisco;Rodriguez Echeverria,Roberto:用于精确和可重用的模型行为定义的多级耦合模型转换(2019年)
  4. Azzi,Guilherme Grochau;Bezerra,Jonas Santos;Ribeiro,Leila;Costa,Andrei;Rodrigues,Leonardo Marques;Machado,Rodrigo:图形转换的Verigraph系统(2018)
  5. 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;迈克尔·洛韦;里贝罗,莱拉;马查多、罗德里戈;科斯塔、安德烈;阿兹,吉尔赫梅·格罗乔乌;贝塞拉,乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马奎斯:关于双重推出和塞斯奎推出方法的平行独立性本质(2018年)
  6. Bhattacharyya,Anirban;Mokhov,Andrey;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  7. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  8. Andersen,Jakob L.;Flamm,Christoph;Merkle,Daniel;Stadler,Peter F.:化学启发图形转换的软件包(2016)
  9. Besova,Galina;Steenken,Dominik;Wehrheim,Heike:基于语法的模型转换:定义、执行和质量属性(2015)
  10. Antonio Bucciarone,Antonio;Ehrig,Hartmut;Ermel,Claudia;Pelliccione,Patrizio;Runge,Olga:基于规则的自适应系统建模与静态分析(2015)
  11. 基辛格,亚历克斯;赞季耶夫,弗拉基米尔:量子力学:图解推理的证明助手(2015)
  12. Bensch,Suna;Drewes,Frank;Jürgensen,Helmut;van der Merwe,Brink:增量自然语言分析的图形转换(2014)
  13. 克莱里希,西尔维亚;佐尔坦,克里斯蒂娜;普雷斯蒂亚科莫,吉列尔莫:图形和增量类型推理。图变换方法(2013)
  14. Hannachi,Mohamed Amine;Bouassida Rodriguez,Ismael;Drira,Khalil;Pomares Hernandez,Saul Eduardo:GMTE:图形转换和精确/不精确图形匹配的工具(2013)
  15. da Costa,Simone André;Ribeiro,Leila:使用逻辑方法验证图语法(2012)
  16. 费南德斯,玛丽贝尔;基什纳,赫勒;纳梅特,奥利维尔:图形重写的策略语言(2012)
  17. Golas,Ulrike;Lambers,Leen;Ehrig,Hartmut;Orejas,Fernando:带继承的属性图变换:使用抽象关键对的有效冲突检测和局部汇流分析(2012)
  18. Krause,Christian;Maraikar,Ziyan;Lazovik,Alexander;Arbab,Farhad:使用高级替换系统在Reo中建模动态重构(2011)
  19. Bennett,Jeannette;Cooper,Kendra;Dai,Lirong:面向方面的模型驱动的骨架代码生成:基于图的转换方法(2010)
  20. Biermann,Enrico;Ermel,Claudia;Lambers,Leen;Prange,Ulrike;Runge,Olga;Taentzer,Gabriele:AGG和EMF Tiger建模会议调度系统简介(2010)ioport公司