Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
An application's Quality of Service (QoS) depends on resource availability; e.g., response time is worse on a slow machine. On the cloud, a virtualized application leases resources which are made available on demand. When its work load increases, the application must decide whether to reduce QoS or increase cost. Virtualized applications need to manage their acquisition of resources. In this paper, resource provisioning is integrated in high-level models of virtualized applications. The authors develop a Real-Time ABS model of a cloud provider which leases virtual machines to an application on demand.