• AGG

  • Referenced in 49 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 50 articles [sw09480]
  • structure of object-oriented 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 meta-transformation 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 high-level...
  • 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...
  • 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...
  • Augur 2

  • Referenced in 12 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...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • standard-compliant 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...
  • Henshin

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

  • Referenced in 8 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...
  • 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...
  • CheckVML

  • Referenced in 11 articles [sw09472]
  • language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high...
  • 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 real-time model transformations, and show how the models ... within the Eclipse Modeling Framework using graph transformation and rewriting logic techniques. We illustrate...
  • Verigraph

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

  • Referenced in 30 articles [sw12910]
  • combines scalable logic transformations based on And-Inverter Graphs (AIGs), with a variety of innovative...
  • 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 h-adaptive 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...