Big-CAF: a bigraphical-generic cloud architecture framework. (2017)
- Record Type:
- Journal Article
- Title:
- Big-CAF: a bigraphical-generic cloud architecture framework. (2017)
- Main Title:
- Big-CAF: a bigraphical-generic cloud architecture framework
- Authors:
- Benzadri, Zakaria
Bouanaka, Chafia
Belala, Faiza - Abstract:
- Cloud computing is an emerging paradigm that enhances grid computing but in the sense of the utility computing principle. Hence, it attracts more attention in both industry and academia. However, there are still many obstacles that are slowing down its adoption and growth. An important and challenging issue in this area is how to associate a clear semantic to cloud architecture concepts. Based on BRS (Bigraphical Reactive Systems) theory, the paper presents a formal framework that provides mathematical definitions of main elements involved in a cloud architecture, specifying its static structure and dynamic evolution. As a consequence of this formalisation, a practical implementation based on Maude and its model checker is proposed to ensure the correctness of cloud systems.
- Is Part Of:
- International journal of grid and utility computing. Volume 8:Number 3(2017)
- Journal:
- International journal of grid and utility computing
- Issue:
- Volume 8:Number 3(2017)
- Issue Display:
- Volume 8, Issue 3 (2017)
- Year:
- 2017
- Volume:
- 8
- Issue:
- 3
- Issue Sort Value:
- 2017-0008-0003-0000
- Page Start:
- 222
- Page End:
- 240
- Publication Date:
- 2017
- Subjects:
- cloud computing -- cloud layered architecture -- virtualisation -- formal methods -- bigraphical reactive systems -- model checking
Electronic data processing -- Distributed processing -- Periodicals
Electronic commerce -- Management -- Computer programs -- Periodicals
004.605 - Journal URLs:
- http://www.inderscience.com/ ↗
http://www.inderscience.com/jhome.php?jcode=ijguc ↗ - Languages:
- English
- ISSNs:
- 1741-847X
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 9035.xml