Abstract
Cloud computing emerged as a paradigm offering new benefits to both social networking and IT business. However, to keep up with the increasing workload demand and to ensure that their services will be provided in a fail-safe manner and under consideration of their service-level agreement, contemporary cloud platforms need to be autonomous and self-adaptive. The development of self-adaptive clouds is a very challenging task, which is mainly due to their non-deterministic behavior, driven by service-level objectives that must be achieved despite the dynamic changes in the cloud environment. This paper presents a formal approach to modeling self-adaptive behavior for clouds. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of Science Clouds, a special class of self-adaptive clouds providing a cloud-scientific platform.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ASCENS: ASCENS - Autonomic Service-Component Ensembles. ascens-ist.eu (2014), http://www.ascens-ist.eu/
Ewens, W., Grant, G.: Stochastic processes (i): Poison processes and Markov chains. In: Statistical Methods in Bioinformatics, 2nd edn. Springer, New York (2005)
Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bures, T.: The autonomic cloud: A vision of voluntary, peer-2-peer cloud computing. In: Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems, Philadelphia, USA, pp. 1–6 (2013)
Vassev, E., Hinchey, M.: Autonomy requirements engineering. In: Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013), pp. 175–184. IEEE Computer Society (2013)
Vassev, E., Hinchey, M.: Autonomy requirements engineering: A case study on the BepiColombo mission. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013), pp. 31–41. ACM (2013)
Vassev, E., Hinchey, M.: On the autonomy requirements for space missions. In: Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-time Distributed Computing Workshops (ISCORCW 2013). IEEE Computer Society (2013)
Vassev, E., Hinchey, M.: Autonomy requirements engineering for self-adaptive science clouds. In: Proceedings of the 28th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2014). IEEE Computer Society (2014)
Vassev, E., Hinchey, M., Gaudin, B.: Knowledge representation for self-adaptive behavior. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2012), pp. 113–117. ACM (2012)
Vassev, E., Hinchey, M., Montanari, U., Bicocchi, N., Zambonelli, F., Wirsing, M.: D3.2: Second Report on WP3: The KnowLang Framework for Knowledge Modeling for SCE Systems (2012). ASCENS Deliverable
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vassev, E., Hinchey, M., Mayer, P. (2014). Formalizing Self-adaptive Clouds with KnowLang. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2014. Lecture Notes in Computer Science, vol 8802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45234-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-45234-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45233-2
Online ISBN: 978-3-662-45234-9
eBook Packages: Computer ScienceComputer Science (R0)