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.
Chapter PDF
Similar content being viewed by others
Keywords
References
Mell, P., Grance, T.: The nist definition of cloud computing. Technical Report 800-145, National Institute of Standards and Technology (NIST), Gaithersburg, MD (2011)
Marks, E.A., Lozano, B.: Executive’s Guide to Cloud Computing. John Wiley and Sons Inc., Hoboken (2010)
Armbrust, M., Fox, A., Grith, R., Joseph, A.D., Katz, R.H., Konwinski, A., Lee, G., Patterson, D.A., Rabkin, A., Stoica, I., Zaharia, M.: Above the clouds: A berkeley view of cloud computing. Technical Report UCB/EECS-2009-28, EECS Department, University of California, Berkeley (2009)
Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)
Dong, H., Hao, Q., Zhang, T., Zhang, B.: Formal discussion on relationship between virtualization and cloud computing. In: 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 448–453 (2010)
Grandison, T., Maximilien, E., Thorpe, S., Alba, A.: Towards a formal definition of a computing cloud. In: 2010 6th World Congress on Services (SERVICES-1), pp. 191–192 (2010)
Luo, S.X., Liu, F.M., Ren, C.L.: A hierarchy attribute-based access control model for cloud storage. In: 2011 International Conference on Machine Learning and Cybernetics (ICMLC), vol. 3, pp. 1146–1150 (2011)
Adamov, A., Hahanov, V.: A security model of individual cyberspace. In: 2011 9th East-West Design Test Symposium (EWDTS), pp. 169–172 (2011)
Freitas, L., Watson, P.: Formalising workflows partitioning over federated clouds: Multi-level security and costs. In: 2012 IEEE Eighth World Congress on Services (SERVICES), pp. 219–226 (2012)
Binz, T., Fehling, C., Leymann, F., Nowak, A., Schumm, D.: Formalizing the cloud through enterprise topology graphs. In: 2012 IEEE 5th International Conference on Cloud Computing (CLOUD), pp. 742–749 (2012)
He, R., Niu, J., Hu, K.: A novel approach to evaluate trustworthiness and uncertainty of trust relationships in peer-to-peer computing. In: The Fifth International Conference on Computer and Information Technology, CIT 2005, pp. 382–388 (2005)
Fitch, D.F., Xu, H.: A petri net model for secure and fault-tolerant cloud-based information storage. In: SEKE, Knowledge Systems Institute Graduate School, pp. 333–339 (2012)
Fang, X., Wang, M., Wu, S.: A method for security evaluation in cloud computing based on petri behavioral profiles. In: Yin, Z., Pan, L., Fang, X. (eds.) Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). AISC, vol. 212, pp. 587–593. Springer, Heidelberg (2013)
Hu, L., Ying, S., Jia, X., Zhao, K.: Towards an Approach of Semantic Access Control for Cloud Computing. In: Jaatun, M.G., Zhao, G., Rong, C. (eds.) Cloud Computing. LNCS, vol. 5931, pp. 145–156. Springer, Heidelberg (2009)
Howard, F., George, S.: Formal methods in model-driven development for service oriented and cloud computing (2010)
Sim, K.M.: Agent-based cloud computing. IEEE Transactions on Services Computing 5, 564–577 (2012)
Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a Formal Component Model for the Cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156–171. Springer, Heidelberg (2012)
Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1320–1325. ACM (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Benzadri, Z., Belala, F., Bouanaka, C. (2014). Towards a Formal Model for Cloud Computing. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B., Brandić, I. (eds) Service-Oriented Computing – ICSOC 2013 Workshops. ICSOC 2013. Lecture Notes in Computer Science, vol 8377. Springer, Cham. https://doi.org/10.1007/978-3-319-06859-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-06859-6_34
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06858-9
Online ISBN: 978-3-319-06859-6
eBook Packages: Computer ScienceComputer Science (R0)