Towards a Formal Model for Cloud Computing

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.

[1]  Feng-Mei Liu,et al.  A hierarchy attribute-based access control model for cloud storage , 2011, 2011 International Conference on Machine Learning and Cybernetics.

[2]  Robin Milner,et al.  The Space and Motion of Communicating Agents , 2009 .

[3]  Haiping Xu,et al.  A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage , 2012, SEKE.

[4]  Vladimir Hahanov,et al.  A security model of individual cyberspace , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).

[5]  Eric A. Marks,et al.  Executive's Guide to Cloud Computing , 2010 .

[6]  Kwang Mong Sim,et al.  Agent-Based Cloud Computing , 2012, IEEE Transactions on Services Computing.

[7]  Bing Zhang,et al.  Formal Discussion on Relationship between Virtualization and Cloud Computing , 2010, 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies.

[8]  Xianwen Fang,et al.  A Method for Security Evaluation in Cloud Computing Based on Petri Behavioral Profiles , 2013, BIC-TA.

[9]  Frank Leymann,et al.  Formalizing the Cloud through Enterprise Topology Graphs , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[10]  Søren Debois,et al.  A model checker for Bigraphs , 2012, SAC '12.

[11]  E. Michael Maximilien,et al.  Towards a Formal Definition of a Computing Cloud , 2010, 2010 6th World Congress on Services.

[12]  Kai Zhao,et al.  Towards an Approach of Semantic Access Control for Cloud Computing , 2009, CloudCom.

[13]  Kai Hu,et al.  A Novel Approach to Evaluate Trustworthiness and Uncertainty of Trust Relationships in Peer-to-Peer Computing , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).

[14]  Brian Hayes,et al.  What Is Cloud Computing? , 2019, Cloud Technologies.

[15]  Paul Watson,et al.  Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs , 2012, 2012 IEEE Eighth World Congress on Services.

[16]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[17]  Roberto Di Cosmo,et al.  Towards a Formal Component Model for the Cloud , 2012, SEFM.

[18]  Randy H. Katz,et al.  Above the Clouds: A Berkeley View of Cloud Computing , 2009 .