There are many TransformationSystems available. This page contains an ordering of these systems by paradigm.

TermRewriting

Systems based on pure TermRewriting define a set of (conditional) equations over terms in an algebraic signature.

Term rewriting with RewritingStrategies

The transformation tools in XT are largely based on RewritingStrategies.

Rewriting with reflection

  • MaudeLanguage?

Bottom-up rewriting

Other systems based on rewriting

  • TAMPR
  • MAG
  • DMS%20Toolkit (full AC matching)

TreeRewriting

TreeRewriting is term rewriting extended to allow rewriting of arbtrary syntactic forms specified using a context-free grammar.

  • TXL (Tree Transformation Language)

GraphRewriting

FunctionalTransformation

Using a functional language to implement transformations.

ObjectOrientedTransformation

Logic Programming

AttributeGrammar

AspectOrientedProgramming

Procedural Transformation

  • DMS%20Toolkit

Other

The following systems have not been classified, yet.

Revision: r1.4 - 17 Mar 2002 - 04:07 - TWikiGuest
Transform > TransformationSystemTaxonomy
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback