On Leveraging UML/OCL for Model Synchronization