The transformation from one representation form to another at the same relative abstraction level, while preserving the subject system's external behaviour (functionality and semantics).
Try this search on Wikipedia, OneLook, Google
Nearby terms: Restricted EPL « restriction « Restructured EXtended eXecutor « restructuring » retcon » rete » RETI
