• VIATRA2

  • Referenced in 33 articles [sw03511]
  • provides a rule- and pattern-based transformation language for manipulating graph models by combining graph ... patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional model transformations...
  • AGG

  • Referenced in 50 articles [sw04449]
  • rule-based modeling of software, validation of system properties by assigning a graph transformation based...
  • RuleMerger

  • Referenced in 3 articles [sw22849]
  • RuleMerger: automatic construction of variability-based model transformation rules. Unifying similar model transformation rules into ... model transformation system. Yet, manual identification and unification of such similar rules is a tedious...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL transforms...
  • EMorF

  • Referenced in 3 articles [sw23739]
  • development and execution of model transformation rules...
  • Henshin

  • Referenced in 14 articles [sw10085]
  • transformations of EMF models. The Henshin transformation language uses pattern-based rules on the lowest ... amalgamation units are a special type of transformation units that provide a forall-operator ... tools. The Henshin transformation language has its roots in attributed graph transformations, which offer ... formal foundation for validation of EMF model transformations. The transformation concepts are demonstrated using...
  • Graph transformation benchmarks

  • Referenced in 11 articles [sw04099]
  • measurements). Graph transformation provides a pattern and rule based manipulation of graph models. Since there ... fields where graph based models can be used, graph transformation can be considered...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • paper presents TRIPLE, a layered and modular rule language for the Semantic Web. TRIPLE ... especially designed for querying and transforming RDF models. TRIPLE can be viewed as a successor ... different object-oriented and other data models like UML, Topic Maps, or RDF Schema. Description ... classifier, e.g. FaCT, resulting in a hybrid rule language. This paper sketches syntax and semantics...
  • Verigraph

  • Referenced in 4 articles [sw23736]
  • transformation. Graph transformation (GT) is a rule-based framework, suitable for modelling both static ... attributed graphs, Petri nets, even transformation rules themselves). There exists a rich theory of algebraic ... graph model within the system, using second-order graph transformation as an example. Finally...
  • GRAGRA

  • Referenced in 3 articles [sw16822]
  • paper we present several graph transformation systems modeling three dimensional h-adaptive finite element method ... operations are expressed by the graph transformation rules. Each graph transformation system is responsible...
  • GMTE

  • Referenced in 2 articles [sw07046]
  • order to model systems with dynamic and/or evolutive configurations. Graph transformation consists of two main ... graph rewriting. At present, few graph transformation tools support multi-labelled graphs. To our knowledge ... graph matching for the purpose of graph transformation. Also, the main problem of these tools ... scenarios to be modelling and/or negatively increase the number of rewriting rules to be used...
  • GREAT

  • Referenced in 1 article [sw00383]
  • presents GREAT, a rule-based transformation framework which facilitates transformations among models on the same...
  • Jerboa

  • Referenced in 1 article [sw10051]
  • their geometric shape. Unlike other modelers, modeling operations are not implemented in a low-level ... graph transformation rules so they can be graphically edited as simple and concise rules. Moreover ... Jerboa’s modeler editor is equipped with many static verification mechanisms that ensure that...
  • TabbyXL

  • Referenced in 1 article [sw29425]
  • such data. It provides rule-based spreadsheet data extraction and transformation to a structured form ... flexible table object model and a domain-specific rule language for table analysis. They serve ... well as their interpretation depending on transformation goals. This enables processing arbitrary tables originating from...
  • VeTIS

  • Referenced in 0 articles [sw18335]
  • editing and transforming SBVR business vocabularies and business rules into UML & OCL models ... Vocabularies and Business Rules and transforming them into UML class models supplemented with OCL constraints...
  • Dyna

  • Referenced in 12 articles [sw23357]
  • small set of equations, resembling Prolog inference rules, that specify the abstract structure ... compiler already knows several implementation tricks, algorithmic transforms, and numerical optimization techniques. It will acquire ... morphological analysis, grammar induction, and finite-state modeling...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • modeling combinatorial optimization problems with logical rules and elementary data structures, and by allowing ... libraries for specific problems. The Packing Knowledge Modeling Language PKML is such a library developed ... specific industrial requirements. The Rules2CP compiler transforms Rules2CP statements into constraint programs in different target...
  • HaExcel

  • Referenced in 2 articles [sw29433]
  • transform it into a relational model and vice versa. Such functions implement the refinement rules ... here) that allows the users to read, transform, refactor and query spreadsheets...
  • RuleTaker

  • Referenced in 2 articles [sw42708]
  • Language. Can transformers be trained to reason (or emulate reasoning) over rules expressed in language ... provide evidence that they can. Our models, that we call RuleTakers, are trained on datasets...
  • ImpUNITY

  • Referenced in 4 articles [sw01574]
  • logic, formal refinement notions, and program transformation rules. In this paper we extend this framework ... tuple space between communicating ImpUNITY programs is modeled and used during formal program specification...