A model of business programming based on application virtualization in the cloud