Managing Usability and Reliability Aspects in Cloud Computing

Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve Androulakis, Grischa R. Meyer


Cloud computing provides a great opportunity for scientists, as it enables large-scale experiments that cannot are too long to run on local desktop machines. Cloud-based computations can be highly parallel, long running and data-intensive, which is desirable for many kinds of scientific experiments. However, to unlock this power, we need a user-friendly interface and an easy-to-use methodology for conducting these experiments. For this reason, we introduce here a formal model of a cloud-based platform and the corresponding opensource implementation. The proposed solution allows to conduct experiments without having a deep technical understanding of cloud-computing, HPC, fault tolerance, or data management in order to leverage the benefits of cloud computing. In the current version, we have focused on biophysics and structural chemistry experiments, based on the analysis of big data from synchrotrons and atomic force microscopy. The domain experts noted the time savings for computing and data management, as well as user-friendly interface.


  1. Afgan, E., Baker, D., Coraor, N., et al. (2011). Harnessing cloud computing with Galaxy Cloud. Nature Biotechnology, 29(11):972-974.
  2. Androulakis, S., Schmidberger, J., Bate, M. A., et al. (2008). Federated repositories of X-ray diffraction images. Acta Crystallographica, Section D, 64(7):810- 814.
  3. Armbrust, M., Fox, A., Griffith, R., et al. (2010). A view of cloud computing. Commun. ACM, 53(4):50-58.
  4. Aversa, R., Di Martino, B., Rak, M., Venticinque, S., and Villano, U. (2011). Performance Prediction for HPC on Clouds, pages 437-456. John Wiley & Sons, Inc.
  5. Blanchette, J., Popescu, A., Wand, D., and Weidenbach, C. (2012). More SPASS with Isabelle - Superposition with hard sorts and configurable simplification. In Beringer, L. and Felty, A., editors, Interactive Theorem Proving, volume 7406 of LNCS, pages 345-360. Springer Berlin Heidelberg.
  6. Buyya, R., Abramson, D., and Giddy, J. (2000). Nimrod/G: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid.
  7. Buyya, R. and Sulistio, A. (2008). Service and utility oriented distributed computing systems: Challenges and opportunities for modeling and simulation communities. In Proc. of the 41st Annual Simulation Symposium, ANSS-41 7808, pages 68-81. IEEE Comp. Society.
  8. Buyya, R., Yeo, C. S., Venugopal, S., Broberg, J., and Brandic, I. (2009). Cloud computing and emerging it platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems, 25(6):599 - 616.
  9. Cafaro, M. and Aloisio, G. (2011). Grids, clouds, and virtualization. In Cafaro, M. and Aloisio, G., editors, Grids, Clouds and Virtualization, Computer Communications and Networks, pages 1-21. Springer London.
  10. Kuntschke, R. and Kemper, A. (2006). Data stream sharing. In Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.- U., Spiliopoulou, M., and Wijsen, J., editors, Current Trends in Database Technology - EDBT 2006 , volume 4254 of LNCS, pages 769-788. Springer.
  11. Leavitt, N. (2009). Is cloud computing really ready for prime time? Computer, 42(1):15-20.
  12. Ludscher, B., Altintas, I., Berkley, C., et al. (2006). Scientific workflow management and the Kepler system. Concurrency and Computation: Practice and Experience, 18(10):1039-1065.
  13. Martinaitis, P. N., Patten, C. J., and Wendelborn, A. L. (2009). Component-based stream processing ”in the cloud”. In Proceedings of the 2009 Workshop on Component-Based High Performance Computing, CBHPC 7809, pages 16:1-16:12. ACM.
  14. Mendling, J., Reijers, H., and Cardoso, J. (2007). What makes process models understandable? In Alonso, G., Dadam, P., and Rosemann, M., editors, Business Process Management, volume 4714 of LNCS, pages 48-63. Springer.
  15. NeCTAR (2015). The National eResearch Collaboration Tools and Resources.
  16. Nipkow, T., Paulson, L. C., and Wenzel, M. (2002). Isabelle/HOL - A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer.
  17. Oinn, T., Greenwood, M., Addis, M., et al. (2006). Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurr. Comput. : Pract. Exper., 18:1067-1100.
  18. Opletal, G. et al. (2008). HRMC: Hybrid Reverse Monte Carlo method with silicon and carbon potentials. Computer Physics Communications, (178):777-787.
  19. Ostermann, S., Iosup, A., Yigitbasi, N., Prodan, R., Fahringer, T., and Epema, D. (2010). A Performance Analysis of EC2 Cloud Computing Services for Scientific Computing. In Avresky, D., Diaz, M., Bode, A., Ciciani, B., and Dekel, E., editors, Cloud Computing, volume 34 of Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, pages 115-131. Springer Berlin Heidelberg.
  20. Spichkova, M. (2011). Focus on processes. Tech. Report TUM-I1115, TU München.
  21. Spichkova, M. (2013a). Design of formal languages and interfaces: “formal” does not mean “unreadable”. In Blashki, K. and Isaias, P., editors, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global.
  22. Spichkova, M. (2013b). Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. Archive of Formal Proofs.
  23. Spichkova, M. (2014a). Compositional properties of crypto-based components. Archive of Formal Proofs.
  24. Spichkova, M. (2014b). Formalisation and analysis of component dependencies. Archive of Formal Proofs.
  25. Spichkova, M. and Schmidt, H. (2015). Reconciling a component and process view. 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 2015.
  26. Spichkova, M., Thomas, I., Schmidt, H., Yusuf, I., Drumm, D., Androulakis, S., Opletal, G., and Russo, S. (2015a). Scalable and fault-tolerant cloud computations: Modelling and implementation. In Proc. of the 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015).
  27. Spichkova, M., Zamansky, A., and Farchi, E. (2015b). Towards a human-centred approach in modelling and testing of cyber-physical systems. In Proc. of the International Workshop on Automated Testing for Cyber-Physical Systems in the Cloud.
  28. Spichkova, M., Zhu, X., and Mou, D. (2013). Do we really need to write documentation for a system? In International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13).
  29. Vaquero, L. M., Rodero-Merino, L., Caceres, J., and Lindner, M. (2008). A break in the clouds: towards a cloud definition. SIGCOMM Comput. Commun. Rev., 39(1):50-55.
  30. Wimmer, M. and Kramler, G. (2006). Bridging grammarware and modelware. In Bruel, J.-M., editor, Satellite Events at the MoDELS 2005 Conference, volume 3844 of LNCS, pages 159-168. Springer.
  31. Yusuf, I. and Schmidt, H. (2013). Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. In Proc. of the 16th Int. ACM Sigsoft symp. on Component-based software engineering, pages 121-130.
  32. Yusuf, I., Thomas, I., Spichkova, M., Androulakis, S., Meyer, G., Drumm, D., Opletal, G., Russo, S., Buckle, A., and Schmidt, H. (2015). Chiminey: Reliable computing and data management platform in the cloud. In Proc. of the International Conference on Software Engineering (ICSE'15), pages 677-680.
  33. Zhang, Q., Cheng, L., and Boutaba, R. (2010). Cloud computing: state-of-the-art and research challenges. Journal of Internet Services and Applications, 1(1):7-18.
  34. Zugal, S., Pinggera, J., Weber, B., Mendling, J., and Reijers, H. (2012). Assessing the impact of hierarchy on model understandability - a cognitive perspective. In Kienzle, J., editor, Models in Software Engineering, volume 7167 of Lecture Notes in Computer Science, pages 123-133. Springer.

Paper Citation

in Harvard Style

Spichkova M., Schmidt H., Thomas I., Yusuf I., Androulakis S. and Meyer G. (2016). Managing Usability and Reliability Aspects in Cloud Computing . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 288-295. DOI: 10.5220/0005918302880295

in Bibtex Style

author={Maria Spichkova and Heinz W. Schmidt and Ian E. Thomas and Iman I. Yusuf and Steve Androulakis and Grischa R. Meyer},
title={Managing Usability and Reliability Aspects in Cloud Computing},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},

in EndNote Style

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - Managing Usability and Reliability Aspects in Cloud Computing
SN - 978-989-758-189-2
AU - Spichkova M.
AU - Schmidt H.
AU - Thomas I.
AU - Yusuf I.
AU - Androulakis S.
AU - Meyer G.
PY - 2016
SP - 288
EP - 295
DO - 10.5220/0005918302880295