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