• AGG

  • Referenced in 50 articles [sw04449]
  • general development environment for algebraic graph transformation systems which follows the interpretative approach. Its special ... graphs are allowed to be attributed by any kind of Java objects. Graph transformations ... concurrent transformations by critical pair analysis of graph rules. Applications of AGG include graph ... transformation based semantics to some system model, graph transformation based evolution of software...
  • GROOVE

  • Referenced in 51 articles [sw09480]
  • time 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...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • step towards a module concept for graph transformation systems. DIEGO graph transformation systems offer means ... lines of distributed graph transformation, thereby permitting the specification of distributed systems with concurrently interacting ... 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...
  • 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 ... graph transformation rules. Each graph transformation system is responsible for different kind of operations ... particular, there is a graph transformation system expressing generation of an initial mesh, generating element...
  • MedOlDatschgerl

  • Referenced in 6 articles [sw16744]
  • based cheminformatics. It includes a general graph transformation system for automatically generating reaction networks from...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • model different parts of a system using different formalisms. Models can be automatically converted between ... information found in a Formalism Transformation Graph (FTG), proposed by the authors ... dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate ... corresponding formalism. AToM 3 relies on graph rewriting techniques and graph grammars to perform...
  • Verigraph

  • Referenced in 4 articles [sw23736]
  • Verigraph system for graph transformation. Graph transformation (GT) is a rule-based framework, suitable ... both static and dynamic aspects of complex systems in an intuitive yet formal manner ... multiple graph-like structures (e.g. labelled or attributed graphs, Petri nets, even transformation rules themselves ... graph model within the system, using second-order graph transformation as an example. Finally...
  • ABC

  • Referenced in 40 articles [sw12910]
  • Verification Tool. ABC is a public-domain system for logic synthesis and formal verification ... combines scalable logic transformations based on And-Inverter Graphs (AIGs), with a variety of innovative...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • rewrite formal semantics to real-time model transformations, and show how the models ... time and embedded systems within the Eclipse Modeling Framework using graph transformation and rewriting logic...
  • Model Transformation Tools

  • Referenced in 6 articles [sw05607]
  • modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations...
  • Graph transformation benchmarks

  • Referenced in 11 articles [sw04099]
  • Graph transformation benchmarks Benchmarking has a key role in decision making processes when a choice ... this role, system designers should get a proper view on the system, which means that ... characteristics of the system have to be measured under different circumstances ... using several parameter combinations for measurements). Graph transformation provides a pattern and rule based manipulation...
  • GMTE

  • Referenced in 2 articles [sw07046]
  • tool for graph transformation and exact/Inexact graph matching Multi-labelled graphs are a powerful ... communication networks, social networks, and autonomic systems, among others. Due to dynamic nature of such ... entities’ relations change. Here is where graph transformation takes an important role ... order to model systems with dynamic and/or evolutive configurations. Graph transformation consists of two main...
  • CheckVML

  • Referenced in 12 articles [sw09472]
  • language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high ... tool independent abstract representation of transition systems defined by a corresponding metamodel. From this intermediate...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • standard-compliant metamodeling framework with graph transformations. The crucial point in Model Driven Architecture ... that software and system development are based on abstract models that are successively transformed into ... like structure, behavior, consistency constraints of the system. This results in a variety of related ... offering uniform support for metamodel definition, analysis, transformation, and integration. In this paper we present...
  • MTT

  • Referenced in 11 articles [sw32058]
  • Model Transformation Tools based on bond graphs. MTT implements the theory to be found ... book ”Metamodelling: Bond Graphs and Dynamic Systems” by Peter Gawthrop and Lorcan Smith published...
  • Petrify

  • Referenced in 27 articles [sw09784]
  • initial Petri net and produces a transition system (TS). In the initial TS, all transitions ... event. The TS is then transformed and transitions relabeled to fulfill the conditions required ... also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify...
  • Apache NiFi

  • Referenced in 2 articles [sw39457]
  • powerful and scalable directed graphs of data routing, transformation, and system mediation logic...
  • GGL

  • Referenced in 4 articles [sw22850]
  • appropriate and simple system is available at the moment [8]. The Graph Grammar Library ... transformation. The GGL implements a simple generic Double Push Out approach for general graph rewrite ... systems [7] on labeled undirected graphs. The object oriented C++ framework focuses on a high...
  • LPG

  • Referenced in 12 articles [sw20690]
  • domains involving numerical quantities and durations. The system can solve both plan generation and plan ... consists of ”action graphs”, particular subgraphs of the planning graph representing partial ... plans. The search steps are certain graph modifications transforming an action graph into another ... mutex relations of the planning graph. The system can produce good quality plans in terms...