DynAlloy: upgrading alloy with actions