{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T15:27:22Z","timestamp":1766158042398,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319563893"},{"type":"electronic","value":"9783319563909"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-56390-9_8","type":"book-chapter","created":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T01:23:59Z","timestamp":1491441839000},"page":"158-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms"],"prefix":"10.1007","author":[{"given":"Maria","family":"Spichkova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iman I.","family":"Yusuf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian E.","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Androulakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grischa R.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"issue":"11","key":"8_CR1","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1038\/nbt.2028","volume":"29","author":"E Afgan","year":"2011","unstructured":"Afgan, E., Baker, D., Coraor, N., et al.: Harnessing cloud computing with Galaxy Cloud. Nat. Biotechnol. 29(11), 972\u2013974 (2011)","journal-title":"Nat. Biotechnol."},{"key":"8_CR2","unstructured":"Altair, P.W.: \n                  http:\/\/www.pbsworks.com\/"},{"issue":"7","key":"8_CR3","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1107\/S0907444908015540","volume":"64","author":"S Androulakis","year":"2008","unstructured":"Androulakis, S., Schmidberger, J., Bate, M.A., et al.: Federated repositories of X-ray diffraction images. Acta Crystallogr. Sect. D 64(7), 810\u2013814 (2008)","journal-title":"Acta Crystallogr. Sect. D"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., et al.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Aversa, R., Di Martino, B., Rak, M., Venticinque, S., Villano, U.: Performance Prediction for HPC on Clouds, pp. 437\u2013456. John Wiley & Sons, Inc. (2011)","DOI":"10.1002\/9780470940105.ch17"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-32347-8_24","volume-title":"Interactive Theorem Proving","author":"JC Blanchette","year":"2012","unstructured":"Blanchette, J.C., Popescu, A., Wand, D., Weidenbach, C.: More SPASS with isabelle \u2013 Superposition with hard sorts and configurable simplification. In: Beringer, L., Felty, A. (eds.) ITP 2012. LNCS, vol. 7406, pp. 345\u2013360. Springer, Heidelberg (2012). doi:\n                  10.1007\/978-3-642-32347-8_24"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.11.003","volume":"108","author":"M Broy","year":"2004","unstructured":"Broy, M.: Time, abstraction, causality and modularity in interactive systems: extended abstract. Electr. Notes Theor. Comput. Sci. 108, 3\u20139 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"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\u201381. IEEE (2008)","DOI":"10.1109\/ANSS-41.2008.35"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Buyya, R., Abramson, D., Giddy, J.: Nimrod\/G: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid (2000)","DOI":"10.1109\/HPC.2000.846563"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R Buyya","year":"2009","unstructured":"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\u2013616 (2009)","journal-title":"Future Gener. Comput. Syst."},{"key":"8_CR11","series-title":"Computer Communications and Networks","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-0-85729-049-6_1","volume-title":"Grids, Clouds and Virtualization","author":"M Cafaro","year":"2011","unstructured":"Cafaro, M., Aloisio, G.: Grids, clouds, and virtualization. In: Cafaro, M., Aloisio, G. (eds.) Grids, Clouds and Virtualization. Computer Communications and Networks, pp. 1\u201321. Springer, London (2011)"},{"key":"8_CR12","volume-title":"Redis in Action","author":"JL Carlson","year":"2013","unstructured":"Carlson, J.L.: Redis in Action. Manning Publications Co., Greenwich (2013)"},{"key":"8_CR13","unstructured":"Celery Project: The Celery Distributed Task Queue. \n                  http:\/\/www.celeryproject.org\/"},{"key":"8_CR14","unstructured":"Chorus. \n                  https:\/\/chorusproject.org\/pages\/index.html"},{"key":"8_CR15","unstructured":"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)"},{"issue":"16","key":"8_CR16","doi-asserted-by":"publisher","first-page":"11169","DOI":"10.1103\/PhysRevB.54.11169","volume":"54","author":"G Kresse","year":"1996","unstructured":"Kresse, G., Furthm\u00fcller, J.: Efficient iterative schemes for ab initio total-energy calculations using a plane-wave basis set. Phys. Rev. B 54(16), 11169\u201311186 (1996)","journal-title":"Phys. Rev. B"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1007\/11896548_58","volume-title":"Current Trends in Database Technology \u2013 EDBT 2006","author":"R Kuntschke","year":"2006","unstructured":"Kuntschke, R., Kemper, A.: Data stream sharing. In: Grust, T., H\u00f6pfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., M\u00fcller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 769\u2013788. Springer, Heidelberg (2006). doi:\n                  10.1007\/11896548_58"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"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\u2013591. Springer, Heidelberg (2011). doi:\n                  10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MC.2009.20","volume":"42","author":"N Leavitt","year":"2009","unstructured":"Leavitt, N.: Is cloud computing really ready for prime time? Computer 42(1), 15\u201320 (2009)","journal-title":"Computer"},{"issue":"10","key":"8_CR20","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B Ludscher","year":"2006","unstructured":"Ludscher, B., Altintas, I., Berkley, C., et al.: Scientific workflow management and the Kepler system. Concurrency Comput. Pract. Experience 18(10), 1039\u20131065 (2006)","journal-title":"Concurrency Comput. Pract. Experience"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"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\u201316:12. ACM (2009)","DOI":"10.1145\/1687774.1687790"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75183-0_4","volume-title":"Business Process Management","author":"J Mendling","year":"2007","unstructured":"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\u201363. Springer, Heidelberg (2007). doi:\n                  10.1007\/978-3-540-75183-0_4"},{"key":"8_CR23","unstructured":"Merkel, D.: Docker: lightweight linux containers for consistent development and deployment. Linux J. 2014(239), Article No. 2, March 2014. Belltown Media, Houston. \n                  http:\/\/dl.acm.org\/citation.cfm?id=2600241"},{"key":"8_CR24","unstructured":"National Computational Infrastructure. \n                  http:\/\/nci.org.au\/"},{"key":"8_CR25","unstructured":"NeCTAR: the National eResearch Collaboration Tools and Resources (2015). \n                  http:\/\/www.nectar.org.au\/"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/cpe.993","volume":"18","author":"T Oinn","year":"2006","unstructured":"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\u20131100 (2006)","journal-title":"Concurr. Comput. Pract. Exper."},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1016\/j.cpc.2007.12.007","volume":"178","author":"G Opletal","year":"2008","unstructured":"Opletal, G., et al.: Hrmc: Hybrid reverse monte carlo method with silicon and carbon potentials. Comput. Phys. Commun. 178, 777\u2013787 (2008)","journal-title":"Comput. Phys. Commun."},{"key":"8_CR29","series-title":"Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-12636-9_9","volume-title":"Cloud Computing","author":"S Ostermann","year":"2010","unstructured":"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\u2013131. Springer, Heidelberg (2010). doi:\n                  10.1007\/978-3-642-12636-9_9"},{"key":"8_CR30","unstructured":"ReDBox-Mint. \n                  http:\/\/www.redboxresearchdata.com.au\/"},{"key":"8_CR31","unstructured":"Spichkova, M.: Focus on processes. Technical report TUM-I1115, TU M\u00fcnchen (2011)"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Spichkova, M.: Design of formal languages and interfaces: \u201cformal\u201d does not mean \u201cunreadable\u201d. In: Blashki, K., Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2013)","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"key":"8_CR33","unstructured":"Spichkova, M.: Stream Processing Components: Isabelle\/HOL Formalisation and Case Studies. Archive of Formal Proofs (2013)"},{"key":"8_CR34","unstructured":"Spichkova, M.: Compositional properties of crypto-based components. Archive of Formal Proofs (2014)"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICPADS.2015.57"},{"key":"8_CR36","unstructured":"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)"},{"key":"8_CR37","unstructured":"Spichkova, M.: Formalisation and analysis of component dependencies. Archive of Formal Proofs (2014)"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Spichkova, M., Schmidt, H.: Reconciling a component and process view. In: 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 2015 (2015)","DOI":"10.1109\/MiSE.2015.8"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"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\u2013295 (2016)","DOI":"10.5220\/0005918302880295"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICPADS.2015.115"},{"issue":"1","key":"8_CR41","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1496091.1496100","volume":"39","author":"LM Vaquero","year":"2008","unstructured":"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\u201355 (2008)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"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\u2013130 (2013)","DOI":"10.1145\/2465449.2465467"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"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\u2013680 (2015)","DOI":"10.1109\/ICSE.2015.221"},{"key":"8_CR44","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.5220\/0005937403960402"},{"issue":"1","key":"8_CR45","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s13174-010-0007-6","volume":"1","author":"Q Zhang","year":"2010","unstructured":"Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. J. Internet Serv. Appl. 1(1), 7\u201318 (2010)","journal-title":"J. Internet Serv. Appl."},{"key":"8_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-29645-1_14","volume-title":"Models in Software Engineering","author":"S Zugal","year":"2012","unstructured":"Zugal, S., Pinggera, J., Weber, B., Mendling, J., Reijers, H.A.: Assessing the impact of hierarchy on model understandability \u2013 a cognitive perspective. In: Kienzle, J. (ed.) MODELS 2011. LNCS, vol. 7167, pp. 123\u2013133. Springer, Heidelberg (2012). doi:\n                  10.1007\/978-3-642-29645-1_14"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-56390-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:24:02Z","timestamp":1558394642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-56390-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319563893","9783319563909"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-56390-9_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ENASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation of Novel Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"enase2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.enase.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}