AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations

Authors:
Olga Runge;Claudia Ermel;Gabriele Taentzer
Affiliations:
Technische Universität Berlin, Germany;Technische Universität Berlin, Germany;Philipps-Universität Marburg, Germany
Venue:
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Year:
2011

Citing 8
Cited 3

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Object Flow Definition for Refined Activity Diagrams

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Correctness of high-level transformation systems relative to nested conditions†

Mathematical Structures in Computer Science
Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars

Proceedings of the First International Workshop on Model-Driven Interoperability
Henshin: advanced concepts and tools for in-place EMF model transformations

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Conflict detection for model versioning based on graph modifications

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Formal analysis and verification of self-healing systems

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering

Testing against visual contracts: model-based coverage

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Annotation processes for flexible management of contextual information

Journal of Visual Languages and Computing
A transformation-based approach to context-aware modelling

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The integrated development environment AGG supports the specification of algebraic graph transformation systems based on attributed, typed graphs with node type inheritance, graph rules with application conditions, and graph constraints. It offers several analysis techniques for graph transformation systems including graph parsing, consistency checking of graphs as well as conflict and dependency detection in transformations by critical pair analysis of graph rules, an important instrument to support the confluence check of graph transformation systems. AGG 2.0 includes various new features added over the past two years. It supports the specification of complex control structures for rule application comprising the definition of control and object flow for rule sequences and nested application conditions. Furthermore, new possibilities for constructing rules from existing ones (e.g., inverse, minimal, amalgamated, and concurrent rules) and for more flexible usability of critical pair analyses have been realized.