
AGG
 Referenced in 50 articles
[sw04449]
 general development environment for algebraic graph transformation systems which follows the interpretative approach. Its special ... kind of Java objects. Graph transformations can be equipped with arbitrary computations on these Java ... tools. The interpreter allows the stepwise transformation of graphs as well as rule applications ... system properties by assigning a graph transformation based semantics to some system model, graph transformation...

GROOVE
 Referenced in 51 articles
[sw09480]
 structure of objectoriented systems, and graph transformations as a basis for model transformation ... automatic) analysis of the resulting graph transformation systems, for instance using model checking...

VIATRA2
 Referenced in 33 articles
[sw03511]
 manipulating graph models by combining graph transformation and abstract state machines into a single specification ... querying (e.g. recursive graph patterns) and manipulating models (e.g. generic transformation and metatransformation rules...

AToM3
 Referenced in 32 articles
[sw10092]
 information found in a Formalism Transformation Graph (FTG), proposed by the authors ... generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding ... graph rewriting techniques and graph grammars to perform the transformations between formalisms as well...

GrGen
 Referenced in 21 articles
[sw00387]
 GrGen.NET is a programming tool for graph transformation, which eases the transformation of complex graph ... structured data as e.g. required in model transformation, computer linguistics, or modern compiler construction, comparable ... task of persistent data storage and querying. Graph rewriting is the highlevel...

Graph transformation benchmarks
 Referenced in 11 articles
[sw04099]
 Graph transformation benchmarks Benchmarking has a key role in decision making processes when a choice ... using several parameter combinations for measurements). Graph transformation provides a pattern and rule based manipulation ... graph based models can be used, graph transformation can be considered as a widely applicable ... However, despite the large variety of graph transformation tools (AGG, Fujaba, GReAT, Groove, PROGRES, Viatra...

DIEGO
 Referenced in 13 articles
[sw02178]
 step towards a module concept for graph transformation systems. DIEGO graph transformation systems offer means ... definition follows the lines of distributed graph transformation, thereby permitting the specification of distributed systems ... objects. Adapting previously made proposals for a graph grammar module concept and for graph models...

Augur 2
 Referenced in 13 articles
[sw08403]
 tool for the analysis of graph transformation systems. We describe the design and the present ... tool which can analyze graph transformation systems by approximating them by Petri nets. The main...

GXL
 Referenced in 18 articles
[sw16479]
 been ratified by reengineering and graph transformation research communities and is being considered for adoption...

DACTL
 Referenced in 28 articles
[sw02871]
 languages can be described as graph rewriting transformations using Dactl notation. This is followed...

AGREE
 Referenced in 12 articles
[sw23738]
 embedding. The several algebraic approaches to graph transformation proposed in the literature all ensure that ... connections with the context graph where it is embedded. But there are applications in which ... extension of classical algebraic approaches to graph transformation, for the case of monic matches, where...

Henshin
 Referenced in 14 articles
[sw10085]
 language has its roots in attributed graph transformations, which offer a formal foundation for validation...

MOFLON
 Referenced in 9 articles
[sw06922]
 standardcompliant metamodeling framework with graph transformations. The crucial point in Model Driven Architecture ... offering uniform support for metamodel definition, analysis, transformation, and integration. In this paper we present ... together the latest OMG standards with graph transformations and their formal semantics. MOFLON provides...

CheckVML
 Referenced in 12 articles
[sw09472]
 language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high...

VPM
 Referenced in 11 articles
[sw07364]
 Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep ... based on a refinement calculus and graph transformation) where the structure and operational semantics...

LPG
 Referenced in 12 articles
[sw20690]
 plans. The search steps are certain graph modifications transforming an action graph into another...

MOMENT2
 Referenced in 10 articles
[sw10025]
 rewrite formal semantics to realtime model transformations, and show how the models ... within the Eclipse Modeling Framework using graph transformation and rewriting logic techniques. We illustrate...

ABC
 Referenced in 39 articles
[sw12910]
 combines scalable logic transformations based on AndInverter Graphs (AIGs), with a variety of innovative...

Verigraph
 Referenced in 4 articles
[sw23736]
 Verigraph system for graph transformation. Graph transformation (GT) is a rulebased framework, suitable ... instantiation of theoretical results to multiple graphlike ... structures (e.g. labelled or attributed graphs, Petri nets, even transformation rules themselves). There exists ... within the system, using secondorder graph transformation as an example. Finally, we compare...

GRAGRA
 Referenced in 3 articles
[sw16822]
 Graph transformation systems for modeling three dimensional finite element method. I. In this paper ... present several graph transformation systems modeling three dimensional hadaptive finite element method ... mesh operations are expressed by the graph transformation rules. Each graph transformation system is responsible ... operations. In particular, there is a graph transformation system expressing generation of an initial mesh...