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

Bottom-up rewriting

Other systems based on rewriting

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

Other

The following systems have not been classified, yet.

Revision: r1.5 - 05 Jun 2002 - 16:03 - MerijnDeJonge
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