A bigraphical model for specifying cloud-based elastic systems and their behaviour

References

• A. Ali-Eldin, J. Tordsson, and E. Elmroth, An adaptive hybrid elasticity controller for cloud infrastructures, 2012 IEEE Network Operations and Management Symposium, Maui, HI, 2012, pp. 204–212.
   Google Scholar
• A. Al-Shishtawy and V. Vlassov, ElastMan, Proceedings of the 2013 ACM Cloud and Autonomic Computing Conference on – CAC ’13, New York, NY, 2013, pp. 1–7.10.1145/2494621
   Google Scholar
• M. Amziani, T. Melliti, and S. Tata, Formal modeling and evaluation of service-based business process elasticity in the cloud, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, 2013, pp. 284–291.
   Google Scholar
• M. Amziani, T. Melliti, and S. Tata, Formal modeling and evaluation of stateful service-based business process elasticity in the cloud. On the Move to Meaningful Internet Systems: OTM 2013 Conferences, Graz, 2013, pp. 21–38.
   Google Scholar
• M. Amziani, K. Klai, T. Melliti, and S. Tata, Time-based evaluation of service-based business process elasticity in the cloud, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, Bristol, 2013, pp. 573–580.10.1109/CloudCom.2013.82
   Google Scholar
• Z. Benzadri, C. Bouanaka, and F. Belala, A formal framework for cloud systems, Delivery and Adoption of Cloud Computing Services in Contemporary Organizations, Hershey, PA, 2015, pp. 245–268.
   Google Scholar
• M. Bersani, D. Bianculli, S. Dustdar, A. Gambi, C. Ghezzi, and S. Krstić, Towards the formalization of properties of cloud-based elastic systems, Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented and Cloud Systems – PESOS 2014, Hyderabad, 2014, pp. 38–47.10.1145/2593793
   Google Scholar
• G. Conforti, D. Macedonio, and V. Sassone, Spatial logics for bigraphs, Automata, Languages and Programming, Lisbon, 2005, pp. 766–778.10.1007/11523468
   Google Scholar
• G. Copil, D. Moldovan, H. Truong, and S. Dustdar, Multi-level elasticity control of cloud services, Service-oriented Computing, 2013, pp. 429–436.
   Google Scholar
• S. Dupont, J. Lejeune, F. Alvares, and T. Ledoux, Experimental analysis on autonomic strategies for cloud elasticity, 2015 International Conference on Cloud and Autonomic Computing, Cambridge, MA, 2015, pp. 81–92.
   Google Scholar
• S. Dustdar, A. Gambi, W. Krenn, and D. Nickovic, A pattern-based formalization of cloud-based elastic systems, 2015 IEEE/ACM 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, Florence, 2015, pp. 66–71.
   Google Scholar
• S. Dustdar, Y. Guo, B. Satzger, and H. Truong, Principles of elastic processes, IEEE Internet Comput. 15 (2011), pp. 66–71.10.1109/MIC.2011.121
   Web of Science ®Google Scholar
• L. Freitas and P. Watson, Formalising workflows partitioning over federated clouds: Multi-level security and costs, 2012 IEEE Eighth World Congress on Services, Honolulu, HI, 2012, pp. 219–226.
   Google Scholar
• G. Galante and L. Bona, A survey on cloud computing elasticity, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, Chicago, IL, 2012, pp. 263–270.10.1109/UCC.2012.30
   Google Scholar
• A. Gambi, A. Filieri, and S. Dustdar, Iterative test suites refinement for elastic computing systems, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering – ESEC/FSE 2013, New York, NY, 2013, pp. 635–638.10.1145/2491411
   Google Scholar
• A. Gambi, W. Hummer, and S. Dustdar, Testing elastic systems with surrogate models, 2013 1st International Workshop on Combining Modelling and Search-based Software Engineering (CMSBSE), San Francisco, CA, 2013, pp. 8–11.10.1109/CMSBSE.2013.6604429
   Google Scholar
• N. Herbst, S. Kounev, and R. Reussner, Elasticity in cloud computing: What it is, and what it is not, In Proceedings of the 10th International Conference on Autonomic Computing, San Jose, CA: USENIX, 2013, pp. 23–27.
   Google Scholar
• B. Jacob, A Practical Guide to the IBM Autonomic Computing Toolkit, IBM, International Technical Support Organization, Raleigh, NC, 2004.
   Google Scholar
• S. Kikuchi and K. Hiraishi, Improving reliability in management of cloud computing infrastructure by formal methods, 2014 IEEE Network Operations and Management Symposium (NOMS), Krakow, 2014, pp. 1–7.10.1109/NOMS.2014.6838285
   Google Scholar
• T. Knauth and C. Fetzer, Scaling non-elastic applications using virtual machines, 2011 IEEE 4th International Conference on Cloud Computing, Washington, DC, 2011, pp. 468–475.
   Google Scholar
• A. Mansutti, M. Miculan, and M. Peressotti, Multi-agent systems design and prototyping with bigraphical reactive systems, Distrib. Appl. Interoperable Syst. 8460 (2014), pp. 201–208.10.1007/978-3-662-43352-2
   Google Scholar
• P. Mell and T. Grance, The NIST Definition of Cloud Computing, National Institute of Standards & Technology, Special Publication, 2011, pp. 800–145. Available at http://csrc.nist.gov/publications/nistpubs/800-145/SP800-145.pdf
   Google Scholar
• R. Milner, Bigraphs and their algebra, Electron. Notes Theor. Comput. Sci. 209 (2008), pp. 5–19.10.1016/j.entcs.2008.04.002
   Google Scholar
• R. Milner, The Space and Motion of Communicating Agents, Cambridge University Press, Cambridge, 2009.10.1017/CBO9780511626661
   Google Scholar
• M. Mohamed, M. Amziani, D. Belaïd, S. Tata, and T. Melliti, An autonomic approach to manage elasticity of business processes in the cloud, Future Gener. Comput. Syst. 50 (2015), pp. 49–61.
   Web of Science ®Google Scholar
• A. Naskos, E. Stachtiari, A. Gounaris, P. Katsaros, D. Tsoumakos, I. Konstantinou, and S. Sioutas, Cloud elasticity using probabilistic model checking, Computing Research Repository (CoRR), abs/1405.4699 (2014). Available at http://arxiv.org/abs/1405.4699
   Google Scholar
• Overview of Amazon Web Services. Amazon, 2014.
   Google Scholar
• M. Rady, Formal definition of service availability in cloud computing using OWL, Computer Aided Systems Theory – EUROCAST 2013, Las Palmas, 2013, pp. 189–194.
   Google Scholar
• M. Rong, Modeling and analysis BPEL-based web services composition using XYZ, 2014 9th International Conference on Computer Science & Education, Vancouver, BC, 2014, pp. 1083–1088.
   Google Scholar
• M. Sevegnani, BigraphER. Available at http://www.dcs.gla.ac.uk/~michele/bigrapher.html.
   Google Scholar
• M. Sevegnani and E. Pereira, Towards a bigraphical encoding of actors, In 1st International Workshop on Meta Models for Process Languages (MeMo 2014), Berlin, 2014.
   Google Scholar
• D. Trihinas, C. Sofokleous, N. Loulloudes, A. Foudoulis, G. Pallis, and M. Dikaiakos, Managing and monitoring elastic cloud applications, Lecture Notes in Computer Science, Toulouse, 2014, pp. 523–527.
   Google Scholar
• J. Wang, D. Xu, and Z. Lei, Formalizing the structure and behaviour of context-aware systems in bigraphs, 2011 First ACIS International Symposium on Software and Network Engineering, Seoul, 2011.
   Google Scholar
• L. Yu, W. Tsai, X. Wei, J. Gao, T. Hildebrandt, and X. Guo, Modeling and analysis of mobile cloud computing based on bigraph theory, 2014 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Oxford, 2014, pp. 67–76.10.1109/MobileCloud.2014.11
   Google Scholar
• H. Sahli, F. Belala, and C. Bouanaka, A BRS-based approach to model and verify cloud systems elasticity, Procedia Computer Science. 68 (2015), pp. 29–41.
   Google Scholar