The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Formal Framework for Cloud Systems
Abstract
Cloud Computing is an emerging topic with high potentials in the IT industry. Its offered services need to be adapted to deal with variations caused by hostile environment, such as the Internet. Hence, a challenging issue in Cloud systems architecture is to model and analyze cloud-based services. However, few work has been dedicated to guarantee safe and secure adaptable services. The main objective of this chapter is to propose a formal framework for specifying cloud systems and offering analysis support to model-check their inherent properties. Based on Bigraphical Reactive Systems, the formalization process is achieved via the definition of the BiCloud-Arch model. Then, cloud architecture dynamics is formalized by a set of generic reaction rules to be applied on the obtained bigraphical model. This chapter also addresses a mapping from the proposed model (BiCloud-Arch) to a Maude-based formal executable specification (BiCloud-2M). On this basis, the proposed BiCloud Maude-based Model Checker (BMMC) is used to formally verify some Cloud system properties.
Related Content
|
Dina Darwish.
© 2024.
28 pages.
|
|
Dina Darwish.
© 2024.
28 pages.
|
|
Muhammad Ahmed, Adnan Ahmad, Furkh Zeshan, Hamid Turab.
© 2024.
33 pages.
|
|
Pankaj Bhambri.
© 2024.
17 pages.
|
|
Kaushikkumar Patel.
© 2024.
20 pages.
|
|
Vijaya Kittu Manda, Arnold Mashud Abukari, Vivek Gupta, Madavarapu Jhansi Bharathi.
© 2024.
24 pages.
|
|
Pankaj Bhambri.
© 2024.
17 pages.
|
|
|