[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Bersani, D. Bianculli, S. Dustdar, A. Gambi, C. Ghezzi, S. Krstic:
"Towards the Formalization of Properties of Cloud-Based Elastic Systems";
Talk: 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2014) in conjunction with ICSE 2014, Hyderabad, India; 2014-05-31 - 2014-06-07; in: "Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2014)", M. Ali Babar, H. Paik, M. Chetlur, M. Bauer (ed.); ACM, (2014), ISBN: 978-1-4503-2841-8; 38 - 47.



English abstract:
Cloud-based elastic systems run on a cloud infrastructure
and have the capability of dynamically adjusting the alloca-
tion of their resources in response to changes in the work-
load, in a way that balances the trade-o between the desired
quality-of-service and the operational costs. The actual elas-
tic behavior of these systems is determined by a combination
of factors, including the input workload, the logic of the elas-
tic 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 rst step into these directions, by
proposing a formalization, based on the CLTLt(D) temporal
logic, of several concepts and properties related to the be-
havior of cloud-based elastic systems. We also report on our
preliminary evaluation of the feasibility to check the (for-
malized) properties on execution traces using an automated
verification tool.

Keywords:
Cloud computing, elastic systems, temporal logic


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2593793.2593798



Related Projects:
Project Head Schahram Dustdar:
Erweiterte Diagnose und Testen für SOAs - Audit 4 SOAs


Created from the Publication Database of the Vienna University of Technology.