资 源 简 介
Relations between different implementations of an abstraction are defined in terms of mappers declared by attributes.
The mapping proves the soundness of the concrete representation of the abstraction, respect of any other existing representation.