TY - GEN
T1 - Formalizing self-adaptive clouds with knowlang
AU - Vassev, Emil
AU - Hinchey, Mike
AU - Mayer, Philip
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2014.
PY - 2014
Y1 - 2014
N2 - 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 nondeterministic 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.
AB - 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 nondeterministic 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.
UR - http://www.scopus.com/inward/record.url?scp=84910650538&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-45234-9_9
DO - 10.1007/978-3-662-45234-9_9
M3 - Conference contribution
AN - SCOPUS:84910650538
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 117
EP - 130
BT - Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
A2 - Margaria, Tiziana
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Verlag
T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Y2 - 8 October 2014 through 11 October 2014
ER -