Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/11
Title: Towards a Formal Model for Cloud Computing
Authors: Benzadri, Zakaria 
Belala, Faiza 
Bouanaka, Chafia 
Affiliations: Faculty of Information and Communication Technology (ICT) 
Faculty of Information and Communication Technology (ICT) 
Faculty of Information and Communication Technology (ICT) 
Keywords: Cloud Computing;Bigraphical Reactive Systems;Formal Methods;Cloud Model;Cloud General Bigraph;Cloud Services Bigraph;Cloud Customers Bigraph
Issue Date: 2-Dec-2013
Publisher: Springer, Cham
Related Publication(s): Lecture Notes in Computer Science
Volume: 8377
Start page: 381
End page: 393
Conference: International Conference on Service-Oriented Computing 
Abstract: 
The use of formal methods is an effective means to improve complex systems reliability and quality. In this context, we adopt one of these methods to formalize cloud computing concepts. We focus on modeling interactions between cloud services and customers. Based on Bigraphical Reactive Systems, the formalization process is realized via the definition of a Cloud General Bigraph (CGB) obtained by associating; primarily, a CCB (Cloud Customers Bigraph) to cloud customers. Then, a Cloud Services Bigraph (CSB) is proposed to formally specify cloud services structure. Finally, juxtaposing these two bigraphs (CSB and CCB) gives rise to the suited CGB. In addition, a natural specification of cloud deployment models is specified. This paper also addresses cloud service dynamics by defining a set of reaction rules on bigraphs in a way that is amenable to reconfigure the designed cloud system.
URI: http://dspace.univ-constantine2.dz/handle/123456789/11
ISBN: 978-3-319-06858-9
978-3-319-06859-6
DOI: https://doi.org/10.1007/978-3-319-06859-6_34
Appears in Collections:Conference Paper

Files in This Item:
File Description SizeFormat
Benzadri2014_Chapter_TowardsAFormalModelForCloudCom (1).pdf350.69 kBAdobe PDFView/Open
Show full item record

Page view(s)

36
Last Week
6
Last month
checked on Nov 24, 2020

Download(s)

7
checked on Nov 24, 2020

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.