Model Mapping, Translation and Update Synchronization Supported by National Science Foundation Grant (IIS-9796264).