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).