Paper Info
Title
Towards a Formal Model for Cloud 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.
Year
DOI
Venue
2013
10.1007/978-3-319-06859-6_34
Lecture Notes in Computer Science
Keywords
Field
DocType
Cloud Computing,Bigraphical Reactive Systems,Formal Methods,Cloud Model,Cloud General Bigraph,Cloud Customers Bigraph,Cloud Services Bigraph
Complex system,Data mining,Bigraph,Cloud systems,Computer science,Cloud deployment,Formal methods,Reactive system,Cloud computing,Distributed computing
Conference
Volume
ISSN
Citations 
8377
0302-9743
8
PageRank 
References 
Authors
0.59
12
3
Name
Order
Citations
PageRank
Zakaria Benzadri1123.07
Faiza Belala24620.89
Chafia Bouanaka3299.30