The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Formal Framework for Cloud Systems
|
|
Author(s): Zakaria Benzadri (University of Constantine 2, Algeria), Chafia Bouanaka (University of Constantine 2, Algeria)and Faïza Belala (University of Constantine 2, Algeria)
Copyright: 2015
Pages: 24
Source title:
Delivery and Adoption of Cloud Computing Services in Contemporary Organizations
Source Author(s)/Editor(s): Victor Chang (Computing, Creative Technologies and Engineering, Leeds Beckett University, UK), Robert John Walters (Electronics and Computer Science, University of Southampton, UK)and Gary Wills (Electronics and Computer Science, University of Southampton, UK)
DOI: 10.4018/978-1-4666-8210-8.ch010
Purchase
|
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.
43 pages.
|
|
Kassim Kalinaki, Musau Abdullatif, Sempala Abdul-Karim Nasser, Ronald Nsubuga, Julius Kugonza.
© 2024.
23 pages.
|
|
Yogita Yashveer Raghav, Ramesh Kait.
© 2024.
17 pages.
|
|
Renuka Devi Saravanan, Shyamala Loganathan, Saraswathi Shunmuganathan.
© 2024.
21 pages.
|
|
Veera Talukdar, Ardhariksa Zukhruf Kurniullah, Palak Keshwani, Huma Khan, Sabyasachi Pramanik, Ankur Gupta, Digvijay Pandey.
© 2024.
30 pages.
|
|
Dharmesh Dhabliya, Sukhvinder Singh Dari, Nitin N. Sakhare, Anish Kumar Dhablia, Digvijay Pandey, Balakumar Muniandi, A. Shaji George, A. Shahul Hameed, Pankaj Dadheech.
© 2024.
9 pages.
|
|
Avtar Singh, Shobhana Kashyap.
© 2024.
11 pages.
|
|
|