Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

Kenneth Johnson, John V. Tucker
2012 2012 IEEE Fifth International Conference on Utility and Cloud Computing  
Cloud computing is a new technology paradigm in which software, development platforms and infrastructure are delivered as a service. The most attractive aspect of cloud technology is its elasticity, enabling scalable infrastructure to suit usage requirements over fine-grained measurements of time. By deploying their service on the cloud, the service provider alleviates the need for large initial investments of physical hardware. Infrastructure is provisioned whenever it is needed. As a result,
more » ... eded. As a result, the operating costs incurred by the service provider can be difficult to quantify. We develop an algebraic specification of computing as a service from the perspective of the service provider. Modelling key aspects of the infrastructure and the way it is provisioned, we quantify monetary costs based on the rental of virtual hardware and the volume of data processed. Fig. 1: Cloud computing interaction chain. 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing 978-0-7695-4862-3/12 $26.00
doi:10.1109/ucc.2012.46 dblp:conf/ucc/JohnsonT12 fatcat:ik5d2meebvfh5hk4w3e3ozemgq