The Community for Technology Leaders
2018 IEEE 34th International Conference on Data Engineering (ICDE) (2018)
Paris, France
Apr 16, 2018 to Apr 19, 2018
ISSN: 2375-026X
ISBN: 978-1-5386-5520-7
pp: 1641-1644
We present the Elton tool, a publicly available cloud resource elasticity management system tailored to NoSQL databases. Elton is integrated in the Ganetimgr web platform, and offers an easy to use web interface, through which monitoring and horizontal scaling of NoSQL databases can be performed and what-if analysis queries are enabled. Elton uses Markov Decision Processes (MDPs) as the underlying modeling framework, and encapsulates state-of-the-art horizontal scaling policies that offer different trade-offs between performance and monetary deployment cost. Its main novelty is that it employs probabilistic model checking to allow for both efficient elasticity decisions and analysis of scaling actions and serves as a case study about the benefits of model checking in online decision making and analysis.
cloud computing, decision making, formal verification, Markov processes, NoSQL databases, probability

A. Naskos, A. Gounaris and I. Konstantinou, "Elton: A Cloud Resource Scaling-Out Manager for NoSQL Databases," 2018 IEEE 34th International Conference on Data Engineering (ICDE), Paris, France, 2018, pp. 1641-1644.
102 ms
(Ver 3.3 (11022016))