@inproceedings{b1fad6a024204695b3d89e9fb0baa755,
title = "Towards the formalization of properties of cloud-based elastic systems",
abstract = "Cloud-based elastic systems run on a cloud infrastructure and have the capability of dynamically adjusting the allocation of their resources in response to changes in the work-load, in a way that balances the trade-off between the desired quality-of-service and the operational costs. The actual elastic behavior of these systems is determined by a combination of factors, including the input workload, the logic of the elastic controller determining the type of resource adjustment, and the underlying technological platform implementing the cloud infrastructure. All these factors have to be taken into account to express the desired elastic behavior of a system, as well as to verify whether the system manifests or not such a behavior. In this paper, we take a first step into these directions, by proposing a formalization, based on the CLTLt(D) temporal logic, of several concepts and properties related to the behavior of cloud-based elastic systems. We also report on our preliminary evaluation of the feasibility to check the (formalized) properties on execution traces using an automated verification tool.",
keywords = "Cloud computing, Elastic systems, Temporal logic",
author = "Bersani, {Marcello M.} and Domenico Bianculli and Schahram Dustdar and Alessio Gambi and Carlo Ghezzi and Srdan Krstic",
note = "Publisher Copyright: Copyright 2014 ACM.",
year = "2014",
month = may,
day = "31",
doi = "10.1145/2593793.2593798",
language = "English",
series = "6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2014 - Proceedings",
publisher = "ACM",
pages = "38--47",
editor = "Babar, {Muhammad Ali} and Hye-Young Paik and Malolan Chetlur and Michael Bauer",
booktitle = "6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2014 - Proceedings",
}