A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations
[chapter]
2012
Lecture Notes in Computer Science
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
doi:10.1007/978-3-642-34176-2_8
fatcat:5jsbx7mo5rgqdlof2dlsodqnnq