AGG
The Attributed Graph Grammar System: AGG is a general development environment for algebraic graph transformation systems which follows the interpretative approach. Its special power comes from a very ﬂexible attribution concept. AGG graphs are allowed to be attributed by any kind of Java objects. Graph transformations can be equipped with arbitrary computations on these Java objects described by a Java expression. The AGG environment consists of a graphical user interface comprising several visual editors, an interpreter, and a set of validation tools. The interpreter allows the stepwise transformation of graphs as well as rule applications as long as possible. AGG supports several kinds of validations which comprise graph parsing, consistency checking of graphs and conﬂict detection in concurrent transformations by critical pair analysis of graph rules. Applications of AGG include graph and rule-based modeling of software, validation of system properties by assigning a graph transformation based semantics to some system model, graph transformation based evolution of software, and the deﬁnition of visual languages based on graph grammars.
Keywords for this software
References in zbMATH (referenced in 50 articles )
Showing results 1 to 20 of 50.
Sorted by year (- Archibald, Blair; Kulcsár, Géza; Sevegnani, Michele: A tale of two graph models: a case study in wireless sensor networks (2021)
- Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila: On the essence and initiality of conflicts in (\mathcalM)-adhesive transformation systems (2019)
- Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele: Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (2019)
- Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto: Multilevel coupled model transformations for precise and reusable definition of model behaviour (2019)
- Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
- Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (2018)
- Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
- Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel: PTL: a model transformation language based on logic programming (2016)
- Andersen, Jakob L.; Flamm, Christoph; Merkle, Daniel; Stadler, Peter F.: A software package for chemically inspired graph transformation (2016)
- Besova, Galina; Steenken, Dominik; Wehrheim, Heike: Grammar-based model transformations: definition, execution, and quality properties (2015)
- Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga: Rule-based modeling and static analysis of self-adaptive systems by graph transformation (2015)
- Kissinger, Aleks; Zamdzhiev, Vladimir: Quantomatic: a proof assistant for diagrammatic reasoning (2015)
- Bensch, Suna; Drewes, Frank; Jürgensen, Helmut; van der Merwe, Brink: Graph transformation for incremental natural language analysis (2014)
- Clerici, Silvia; Zoltan, Cristina; Prestigiacomo, Guillermo: Graphical and incremental type inference. A graph transformation approach (2013)
- Hannachi, Mohamed Amine; Bouassida Rodriguez, Ismael; Drira, Khalil; Pomares Hernandez, Saul Eduardo: GMTE: a tool for graph transformation and exact/inexact graph matching (2013)
- da Costa, Simone André; Ribeiro, Leila: Verification of graph grammars using a logical approach (2012)
- Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
- Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando: Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (2012)
- Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad: Modeling dynamic reconfigurations in Reo using high-level replacement systems (2011)
- Bennett, Jeannette; Cooper, Kendra; Dai, Lirong: Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach (2010)