Migrating workflows and their transactional properties