×

AGG

swMATH ID: 4449
Software Authors: Gabriele Taentzer
Description: 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 flexible 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 conflict 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 definition of visual languages based on graph grammars.
Homepage: http://www.user.tu-berlin.de/lieske/tfs/publikationen/Papers04/Tae04.pdf
Keywords: graph transformation; graph rewriting
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; Graph transformation benchmarks; Verigraph; Maude; AspectJ; GXL; PRISM; AGREE; ATL; EMorF; Haskell; Miranda; PORGY; MOMENT2; Fujaba
Referenced in: 40 Publications
all top 5

Referenced by 99 Authors

7 Ehrig, Hartmut
5 Lambers, Leen
4 Orejas, Fernando
4 Ribeiro, Leila
3 Azzi, Guilherme Grochau
3 Corradini, Andrea
3 Prange, Ulrike
3 Taentzer, Gabriele
2 Bardohl, Roswitha
2 Bezerra, Jonas Santos
2 Costa, Andrei
2 de Lara, Juan
2 Ehrig, Karsten
2 Ermel, Claudia
2 Lajios, Georgios
2 Machado, Rodrigo
2 Rodrigues, Leonardo Marques
1 Almendros-Jiménez, Jesús Manuel
1 Andersen, Jakob Lykke
1 Arbab, Farhad
1 Archibald, Blair
1 Baldan, Paolo
1 Baresi, Luciano
1 Batz, Gernot Veit
1 Bennett, Jeannette
1 Bensch, Suna
1 Besova, Galina
1 Bhattacharyya, Anirban
1 Born, Kristopher
1 Boronat, Artur
1 Bouassida Rodriguez, Ismael
1 Bucchiarone, Antonio
1 Clerici, Silvia
1 Cooper, Kendra
1 Da Costa, Simone André
1 Dai, Lirong
1 Drewes, Frank
1 Drira, Khalil
1 Durán, Francisco
1 Duval, Dominique
1 Féraud, Louis
1 Fernández, Maribel
1 Flamm, Christoph
1 Geiß, Rubino
1 Golas, Ulrike
1 Große-Rhode, Martin
1 Grund, Daniel
1 Hack, Sebastian
1 Hannachi, Mohamed Amine
1 Heckel, Reiko
1 Iribarne, Luis
1 Jouault, Frédéric
1 Jürgensen, Helmut
1 Karsai, Gabor
1 Kirchner, Hélène
1 Kissinger, Aleks
1 Kniesel, Günter
1 König, Barbara
1 Kosiol, Jens
1 Kosiuczenko, Piotr
1 Krause, Christian
1 Kulcsár, Géza
1 Kurtev, Ivan
1 Lazovik, Alexander
1 López-Fernández, Jesús
1 Lowe, Michael J. S.
1 Macías, Fernando
1 Maraikar, Ziyan
1 Merkle, Daniel
1 Meseguer Guaita, José
1 Minas, Mark
1 Mokhov, Andrey
1 Mora-Segura, Ángel
1 Namet, Olivier
1 Orejas Fernando
1 Pelliccione, Patrizio
1 Pierce, Ken G.
1 Pomares Hernandez, Saul Eduardo
1 Prestigiacomo, Guillermo
1 Rafe, Vahid
1 Rahmani, Adel T.
1 Rebout, Maxime
1 Rodriguez-Echeverria, Roberto
1 Runge, Olga
1 Rutle, Adrian
1 Schneider, Hans Jürgen
1 Sevegnani, Michele
1 Solov’ëv, Sergeĭ Vladimirovich
1 Spoletini, Paola
1 Stadler, Peter F.
1 Steenken, Dominik
1 Strüber, Daniel
1 Szalkowski, Adam
1 van der Merwe, Brink
1 Vangheluwe, Hans
1 Wehrheim, Heike
1 Wolter, Uwe E.
1 Zamdzhiev, Vladimir
1 Zoltan, Cristina

Referencing Publications by Year