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 37 articles )
Showing results 1 to 20 of 37.
Sorted by year (- 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)
- 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)
- 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)
- Biermann, Enrico; Ermel, Claudia; Lambers, Leen; Prange, Ulrike; Runge, Olga; Taentzer, Gabriele: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System (2010) ioport
- Boronat, Artur; Meseguer, José: An algebraic semantics for MOF (2010)
- de Lara, Juan; Vangheluwe, Hans: Automating the transformation-based analysis of visual languages (2010)
- Geiger, Leif; Zündorf, Albert: Fujaba case studies for GraBaTs 2008: lessons learned (2010) ioport
- Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010) ioport
- Minas, Mark; Schneider, Hans Jürgen: Graph transformation by computational category theory (2010)
- Muliawan, Olaf; Janssens, Dirk: Model refactoring using MoTMoT (2010) ioport
- Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike: Reasoning with graph constraints (2010)
- Clerici, Silvia; Zoltan, Cristina; Prestigiacomo, Guillermo: NiMoToons: a totally graphic workbench for program tuning and experimentation (2009) ioport
- Cuadrado, Jesús Sánchez; Molina, Jesús García: Modularization of model transformations through a phasing mechanism (2009) ioport