{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:06Z","timestamp":1749334926584,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_39","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"482-496","source":"Crossref","is-referenced-by-count":7,"title":["Comparing AWS Deployments Using Model-Based Predictions"],"prefix":"10.1007","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia-Chun","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"39_CR1","unstructured":"Amazon EC2 FAQs. Q: What is an \u201cEC2 compute unit\u201d and why did you introduce it? https:\/\/aws.amazon.com\/ec2\/faqs\/#hardware-information . Accessed 27 April 2016"},{"key":"39_CR2","unstructured":"Amazon EC2 Instance Types. https:\/\/aws.amazon.com\/ec2\/instance-types\/?nc1=h_ls"},{"key":"39_CR3","unstructured":"Apache Hadoop. http:\/\/hadoop.apache.org\/"},{"issue":"4","key":"39_CR4","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"issue":"1","key":"39_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s11334-012-0184-5","volume":"9","author":"J Bj\u00f8rk","year":"2013","unstructured":"Bj\u00f8rk, J., de Boer, F.S., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: User-defined schedulers for real-time concurrent objects. Innovations Syst. Softw. Eng. 9(1), 29\u201343 (2013)","journal-title":"Innovations Syst. Softw. Eng."},{"key":"39_CR6","unstructured":"Bort, J.: Amazon still dominates the $16 billion cloud market. UK Business Insider, February 2015. http:\/\/uk.businessinsider.com\/synergy-research-amazon-dominates-16-billion-cloud-market-2015-2"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"39_CR8","unstructured":"enwiki. http:\/\/dumps.wikimedia.org\/enwiki\/"},{"key":"39_CR9","unstructured":"Garfinkel, S.L.: An evaluation of Amazon\u2019s grid computing services: EC2, S3, and SQS. Technical report TR-08-07, Center for Research on Computation and Society School for Engineering and Applied sciences, Harvard University, August 2007. https:\/\/dash.harvard.edu\/handle\/1\/24829568"},{"issue":"6","key":"39_CR10","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MC.2015.172","volume":"48","author":"R H\u00e4hnle","year":"2015","unstructured":"H\u00e4hnle, R., Johnsen, E.B.: Designing resource-aware cloud applications. IEEE Comput. 48(6), 72\u201375 (2015)","journal-title":"IEEE Comput."},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Hazelhurst, S.: Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud. In: Proceedings of the 2008 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on IT research in Developing Countries: Riding the Wave of Technology, SAICSIT 2008, pp. 94\u2013103. ACM (2008)","DOI":"10.1145\/1456659.1456671"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Jackson, K.R., Ramakrishnan, L., Muriki, K., Canon, S., Cholia, S., Shalf, J., Wasserman, H.J., Wright, N.J.: Performance analysis of high performance computing applications on the amazon web services cloud. In: 2nd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2010, pp. 159\u2013168. IEEE (2010)","DOI":"10.1109\/CloudCom.2010.69"},{"key":"39_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"issue":"1","key":"39_CR14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.jlamp.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Logical Algebraic Methods Programm. 84(1), 67\u201391 (2015)","journal-title":"J. Logical Algebraic Methods Programm."},{"key":"39_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-662-49665-7_4","volume-title":"Fundamental Approaches to Software Engineering","author":"J-C Lin","year":"2016","unstructured":"Lin, J.-C., Yu, I.C., Johnsen, E.B., Lee, M.-C.: ABS-YARN: a formal framework for modeling hadoop YARN clusters. In: Stevens, P., et al. (eds.) FASE 2016. LNCS, vol. 9633, pp. 49\u201365. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49665-7_4"},{"key":"39_CR16","volume-title":"Apache Hadoop YARN: Moving Beyond MapReduce and Batch Processing with Apache Hadoop 2","author":"A Murthy","year":"2014","unstructured":"Murthy, A., Vavilapalli, V., Eadline, D., Niemiec, J., Markham, J.: Apache Hadoop YARN: Moving Beyond MapReduce and Batch Processing with Apache Hadoop 2. Addison-Wesley Professional, Reading (2014)"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Napper, J., Bientinesi, P.: Can cloud computing reach the top 500? In: Proceedings of the Combined Workshops on UnConventional High Performance Computing Workshop Plus Memory Access Workshop, UCHPC-MAW 2009, pp. 17\u201320. ACM (2009)","DOI":"10.1145\/1531666.1531671"},{"key":"39_CR18","unstructured":"Ostermann, S., Iosup, A., Yigitbasi, N., Prodan, R., Fahringer, T., Epema, D.: An early performance analysis of cloud computing services for scientific computing. Technical report PDS-2008-006, Delft University of Technology, December 2008. http:\/\/www.ds.ewi.tudelft.nl\/reports\/2008\/PDS-2008-006.pdf"},{"key":"39_CR19","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, L., Jackson, K.R., Canon, S., Cholia, S., Shalf, J.: Defining future platform requirements for e-science clouds. In: Proceedings of the 1st ACM Symposium on Cloud Computing, SoCC 2010, pp. 101\u2013106. ACM (2010)","DOI":"10.1145\/1807128.1807145"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"Stantchev, V.: Performance evaluation of cloud computing offerings. In: 2009 Third International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009, pp. 187\u2013192. IEEE (2009)","DOI":"10.1109\/ADVCOMP.2009.36"},{"key":"39_CR21","doi-asserted-by":"crossref","unstructured":"Vavilapalli, V.K., Murthy, A.C., Douglas, C., Agarwal, S., Konar, M., Evans, R., Graves, T., Lowe, J., Shah, H., Seth, S., Saha, B., Curino, C., O\u2019Malley, O., Radia, S., Reed, B., Baldeschwieler, E.: Apache hadoop YARN: yet another resource negotiator. In: Lohman, G.M. (ed.) ACM Symposium on Cloud Computing (SOCC 2013), pp. 5:1\u20135:16 (2013)","DOI":"10.1145\/2523616.2523633"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:05Z","timestamp":1498335725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}