Skip to main content
SpringerLink
Log in

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms

  • Conference paper
  • First Online:
Evaluation of Novel Approaches to Software Engineering (ENASE 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 703))

Abstract

Usability and readability features are crucial on all phases of software development process as well as while applying the developed software. A hard-to-read and hard-to-understand model of a complicated system might provide more confusion that clarification and development support. A hard-to-use technology or system might lead to its misuse or even to hazardous accidents. In this chapter, we present an approach on modelling and implementation of research-oriented cloud computing platforms, focusing on the reliability and usability features. The proposed formal framework provides an easy-to-read templates for modelling of core platform components. The proposed cloud computing platform allows researchers to conduct experiments requiring complex computations over big data. The core feature of the platform is that the users do not require to a deep technical understanding of cloud computing, HPC, fault tolerance, or data management in order to leverage all the benefits of cloud computing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Afgan, E., Baker, D., Coraor, N., et al.: Harnessing cloud computing with Galaxy Cloud. Nat. Biotechnol. 29(11), 972–974 (2011)

    Article  Google Scholar 

  2. Altair, P.W.: http://www.pbsworks.com/

  3. Androulakis, S., Schmidberger, J., Bate, M.A., et al.: Federated repositories of X-ray diffraction images. Acta Crystallogr. Sect. D 64(7), 810–814 (2008)

    Article  Google Scholar 

  4. Armbrust, M., Fox, A., Griffith, R., et al.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010)

    Article  Google Scholar 

  5. Aversa, R., Di Martino, B., Rak, M., Venticinque, S., Villano, U.: Performance Prediction for HPC on Clouds, pp. 437–456. John Wiley & Sons, Inc. (2011)

    Google Scholar 

  6. Blanchette, J.C., Popescu, A., Wand, D., Weidenbach, C.: More SPASS with isabelle – Superposition with hard sorts and configurable simplification. In: Beringer, L., Felty, A. (eds.) ITP 2012. LNCS, vol. 7406, pp. 345–360. Springer, Heidelberg (2012). doi:10.1007/978-3-642-32347-8_24

    Chapter  Google Scholar 

  7. Broy, M.: Time, abstraction, causality and modularity in interactive systems: extended abstract. Electr. Notes Theor. Comput. Sci. 108, 3–9 (2004)

    Article  Google Scholar 

  8. Buyya, R., Sulistio, A.: Service and utility oriented distributed computing systems: challenges and opportunities for modeling and simulation communities. In: Proceedings of the 41st Annual Simulation Symposium, ANSS-41 2008, pp. 68–81. IEEE (2008)

    Google Scholar 

  9. Buyya, R., Abramson, D., Giddy, J.: Nimrod/G: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid (2000)

    Google Scholar 

  10. Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud computing and emerging IT platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener. Comput. Syst. 25(6), 599–616 (2009)

    Article  Google Scholar 

  11. Cafaro, M., Aloisio, G.: Grids, clouds, and virtualization. In: Cafaro, M., Aloisio, G. (eds.) Grids, Clouds and Virtualization. Computer Communications and Networks, pp. 1–21. Springer, London (2011)

    Chapter  Google Scholar 

  12. Carlson, J.L.: Redis in Action. Manning Publications Co., Greenwich (2013)

    Google Scholar 

  13. Celery Project: The Celery Distributed Task Queue. http://www.celeryproject.org/

  14. Chorus. https://chorusproject.org/pages/index.html

  15. Krafft, D., Cappadona, N., Caruso, B., Corson-Rikert, J., Devare, M., Lowe, B.: VIVO: enabling national networking of scientists. In: WebSci10: Extending the Frontiers of Society On-Line (2010)

    Google Scholar 

  16. Kresse, G., Furthmüller, J.: Efficient iterative schemes for ab initio total-energy calculations using a plane-wave basis set. Phys. Rev. B 54(16), 11169–11186 (1996)

    Article  Google Scholar 

  17. Kuntschke, R., Kemper, A.: 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., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 769–788. Springer, Heidelberg (2006). doi:10.1007/11896548_58

    Chapter  Google Scholar 

  18. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22110-1_47

    Chapter  Google Scholar 

  19. Leavitt, N.: Is cloud computing really ready for prime time? Computer 42(1), 15–20 (2009)

    Article  Google Scholar 

  20. Ludscher, B., Altintas, I., Berkley, C., et al.: Scientific workflow management and the Kepler system. Concurrency Comput. Pract. Experience 18(10), 1039–1065 (2006)

    Article  Google Scholar 

  21. Martinaitis, P.N., Patten, C.J., Wendelborn, A.L.: Component-based stream processing in the cloud. In: Proceedings of the 2009 Workshop on Component-Based High Performance Computing, CBHPC 2009, pp. 16:1–16:12. ACM (2009)

    Google Scholar 

  22. Mendling, J., Reijers, H.A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 48–63. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75183-0_4

    Chapter  Google Scholar 

  23. Merkel, D.: Docker: lightweight linux containers for consistent development and deployment. Linux J. 2014(239), Article No. 2, March 2014. Belltown Media, Houston. http://dl.acm.org/citation.cfm?id=2600241

  24. National Computational Infrastructure. http://nci.org.au/

  25. NeCTAR: the National eResearch Collaboration Tools and Resources (2015). http://www.nectar.org.au/

  26. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)

    Google Scholar 

  27. Oinn, T., Greenwood, M., Addis, M., et al.: Taverna: lessons in creating a workflow environment for the life sciences. Concurr. Comput. Pract. Exper. 18, 1067–1100 (2006)

    Article  Google Scholar 

  28. Opletal, G., et al.: Hrmc: Hybrid reverse monte carlo method with silicon and carbon potentials. Comput. Phys. Commun. 178, 777–787 (2008)

    Article  MATH  Google Scholar 

  29. Ostermann, S., Iosup, A., Yigitbasi, N., Prodan, R., Fahringer, T., Epema, D.: A performance analysis of EC2 cloud computing services for scientific computing. In: Avresky, D.R., Diaz, M., Bode, A., Ciciani, B., Dekel, E. (eds.) CloudComp 2009. LNICST, vol. 34, pp. 115–131. Springer, Heidelberg (2010). doi:10.1007/978-3-642-12636-9_9

    Chapter  Google Scholar 

  30. ReDBox-Mint. http://www.redboxresearchdata.com.au/

  31. Spichkova, M.: Focus on processes. Technical report TUM-I1115, TU München (2011)

    Google Scholar 

  32. Spichkova, M.: Design of formal languages and interfaces: “formal” does not mean “unreadable”. In: Blashki, K., Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2013)

    Google Scholar 

  33. Spichkova, M.: Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. Archive of Formal Proofs (2013)

    Google Scholar 

  34. Spichkova, M.: Compositional properties of crypto-based components. Archive of Formal Proofs (2014)

    Google Scholar 

  35. Spichkova, M., Thomas, I., Schmidt, H., Yusuf, I., Drumm, D., Androulakis, S., Opletal, G., Russo, S.: Scalable and fault-tolerant cloud computations: modelling and implementation. In: Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems (2015)

    Google Scholar 

  36. Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: International Conference on Model-Driven Engineering and Software Development (2013)

    Google Scholar 

  37. Spichkova, M.: Formalisation and analysis of component dependencies. Archive of Formal Proofs (2014)

    Google Scholar 

  38. Spichkova, M., Schmidt, H.: Reconciling a component and process view. In: 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 2015 (2015)

    Google Scholar 

  39. Spichkova, M., Schmidt, H.W., Thomas, I.E., Yusuf, I.I., Androulakis, S., Meyer, G.R.: Managing usability and reliability aspects in cloud computing. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp. 288–295 (2016)

    Google Scholar 

  40. Spichkova, M., Zamansky, A., Farchi, E.: Towards a human-centred approach in modelling and testing of cyber-physical systems. In: 21st International Conference on Parallel and Distributed Systems. IEEE (2015)

    Google Scholar 

  41. Vaquero, L.M., Rodero-Merino, L., Caceres, J., Lindner, M.: A break in the clouds: towards a cloud definition. SIGCOMM Comput. Commun. Rev. 39(1), 50–55 (2008)

    Article  Google Scholar 

  42. Yusuf, I., Schmidt, H.: Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, pp. 121–130 (2013)

    Google Scholar 

  43. Yusuf, I., Thomas, I., Spichkova, M., Androulakis, S., Meyer, G., Drumm, D., Opletal, G., Russo, S., Buckle, A., Schmidt, H.: Chiminey: reliable computing and data management platform in the cloud. In: Proceedings of the International Conference on Software Engineering (ICSE 2015), pp. 677–680 (2015)

    Google Scholar 

  44. Zamansky, A., Rodriguez-Navas, G., Adams, M., Spichkova, M.: Formal methods in collaborative projects. In: 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). IEEE (2016)

    Google Scholar 

  45. Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. J. Internet Serv. Appl. 1(1), 7–18 (2010)

    Article  Google Scholar 

  46. Zugal, S., Pinggera, J., Weber, B., Mendling, J., Reijers, H.A.: Assessing the impact of hierarchy on model understandability – a cognitive perspective. In: Kienzle, J. (ed.) MODELS 2011. LNCS, vol. 7167, pp. 123–133. Springer, Heidelberg (2012). doi:10.1007/978-3-642-29645-1_14

    Chapter  Google Scholar 

Download references

Acknowledgements

The Bioscience Data Platform project acknowledges funding from the NeCTAR project No. 2179 [25]. We also would like to thank our colleagues Dr Daniel W. Drumm (School of Applied Sciences, RMIT University), Prof Salvy P. Russo (School of Science, RMIT University), Dr George Opletal (School of Science, RMIT University), and Prof Ashley M. Buckle (School of Biomedical Sciences, Monash University) for the fruitful collaboration within the Bioscience Data Platform project.

Author information

Authors and Affiliations

  1. School of Science, RMIT University, 414-418 Swanston Street, Melbourne, 3001, Australia

    Maria Spichkova & Heinz W. Schmidt

  2. eResearch, RMIT University, 17-23 Lygon Street, Carlton, 3053, Australia

    Heinz W. Schmidt, Iman I. Yusuf & Ian E. Thomas

  3. eResearch, Monash University, Wellington Road, Clayton, 3800, Australia

    Steve Androulakis & Grischa R. Meyer

Authors
  1. Maria Spichkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heinz W. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Iman I. Yusuf
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ian E. Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Steve Androulakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Grischa R. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Spichkova .

Editor information

Editors and Affiliations

  1. Wrocław University of Economics, Wrocław, Poland

    Leszek A. Maciaszek

  2. INSTICC and Instituto Politécnico de Setúbal, Setúbal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Spichkova, M., Schmidt, H.W., Yusuf, I.I., Thomas, I.E., Androulakis, S., Meyer, G.R. (2016). Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. In: Maciaszek, L., Filipe, J. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2016. Communications in Computer and Information Science, vol 703. Springer, Cham. https://doi.org/10.1007/978-3-319-56390-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-56390-9_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-56389-3

  • Online ISBN: 978-3-319-56390-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation