Using the transformational approach to build a safe and generic data synchronizer