Supports for transparent object-migration in PDES systems