{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:01Z","timestamp":1749334921513,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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-662-49665-7_4","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"49-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters"],"prefix":"10.1007","author":[{"given":"Jia-Chun","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Chang","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computations in Distributed Systems","author":"GA Agha","year":"1986","unstructured":"Agha, G.A.: ACTORS: A Model of Concurrent Computations in Distributed Systems. The MIT Press, Cambridge (1986)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/978-3-642-54862-8_46","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Albert","year":"2014","unstructured":"Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., G\u00f3mez-Zamalloa, M., Martin-Martin, E., Puebla, G., Rom\u00e1n-D\u00edez, G.: SACO: static analyzer for concurrent objects. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 562\u2013567. Springer, Heidelberg (2014)"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., de Boer, F.S., H\u00e4hnle, R., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L., Wong, P.Y.H.: Formal modeling and analysis of resource management for cloud architectures: An industrial case study using Real-Time ABS. J. Serv. Oriented Comput. Appl. 8(4), 323\u2013339 (2014)","journal-title":"J. Serv. Oriented Comput. Appl."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 60\u201372. Springer, Heidelberg (2004)"},{"key":"4_CR5","unstructured":"Apache Hadoop. http:\/\/hadoop.apache.org\/"},{"issue":"4","key":"4_CR6","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., 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"},{"key":"4_CR7","volume-title":"Programming Erlang: Software for a Concurrent World","author":"J Armstrong","year":"2007","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, Raleigh (2007)"},{"issue":"9","key":"4_CR8","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1810891.1810912","volume":"53","author":"C Baier","year":"2010","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Performance evaluation and model checking join forces. Commun. ACM 53(9), 76\u201385 (2010)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"4_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.tcs.2006.11.017","volume":"373","author":"F Barbanera","year":"2007","unstructured":"Barbanera, F., Bugliesi, M., Dezani-Ciancaglini, M., Sassone, V.: Space-aware ambients and processes. Theor. Comput. Sci. 373(1\u20132), 41\u201369 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","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, S.L.: Tarifa.: User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1), 29\u201343 (2013)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"4_CR11","volume-title":"A Theory of Distributed Objects","author":"D Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, New York (2005)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"4_CR13","unstructured":"enwiki. http:\/\/dumps.wikimedia.org\/enwiki\/"},{"issue":"6","key":"4_CR14","doi-asserted-by":"publisher","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":"4_CR15","doi-asserted-by":"crossref","unstructured":"Hammoud, S., Li, M., Liu, Y., Alham, N.K., Liu, Z.: MRSim: A discrete event based MapReduce simulator. In: Seventh International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010, pp. 2993\u20132997. IEEE (2010)","DOI":"10.1109\/FSKD.2010.5569086"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) Formal Methods for Components and Objects. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-34281-3_8","volume-title":"Formal Methods and Software Engineering","author":"EB Johnsen","year":"2012","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Modeling resource-aware virtualized applications for the cloud in real-time ABS. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 71\u201386. Springer, Heidelberg (2012)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","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. Log. Algebraic Methods Program. 84(1), 67\u201391 (2015)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.parco.2013.02.001","volume":"39","author":"W Kolberg","year":"2013","unstructured":"Kolberg, W., Marcos, P.D.B., Anjos, J.C., Miyazaki, A.K., Geyer, C.R., Arantes, L.B.: MRSG - a MapReduce simulator over SimGrid. Parallel Comput. 39(4), 233\u2013244 (2013)","journal-title":"Parallel Comput."},{"key":"4_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68829-7","volume-title":"Theory of Probability and Random Processes","author":"LB Koralov","year":"2007","unstructured":"Koralov, L.B., Sinai, Y.G.: Theory of Probability and Random Processes. Springer-Verlag, Berling (2007)"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.future.2011.05.007","volume":"29","author":"Y Liu","year":"2013","unstructured":"Liu, Y., Li, M., Alham, N.K., Hammoud, S.: HSim: a MapReduce simulator in enabling cloud computing. Future Gener. Comput. Syst. 29(1), 300\u2013308 (2013)","journal-title":"Future Gener. Comput. Syst."},{"issue":"4","key":"4_CR22","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s11704-012-2118-7","volume":"6","author":"C Luo","year":"2012","unstructured":"Luo, C., Zhan, J., Jia, Z., Wang, L., Lu, G., Zhang, L., Xu, C.-Z., Sun, N.: Cloudrank-d: benchmarking and ranking cloud computing systems for data processing applications. Front. Comput. Sci. 6(4), 347\u2013362 (2012)","journal-title":"Front. Comput. Sci."},{"key":"4_CR23","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, San Francisco (2014)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Palanisamy, B., Singh, A., Liu, L., Bryan, L.: Cura: A cost-optimized model for MapReduce in a cloud. In: IEEE 27th International Symposium on Parallel and Distributed Processing, pp. 1275\u20131286. IEEE (2013)","DOI":"10.1109\/IPDPS.2013.20"},{"key":"4_CR25","unstructured":"Reiss, C., Tumanov, A., Ganger, G.R., Katz, R.H., Kozuch, M.A.: Towards understanding heterogeneous clouds at scale: Google traceanalysis.Technical Report ISTC-CC-TR-12-101, Intel Science and TechnologyCenter for Cloud Computing, Carnegie Mellon University, April 2012. http:\/\/www.pdl.cmu.edu\/PDL-FTP\/CloudComputing\/ISTC-CC-TR-12-101.pdf"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice petri nets. In: Proceedings of the Design Automation Conference, DAC 1999, pp. 805\u2013810. ACM (1999)","DOI":"10.1145\/309847.310073"},{"key":"4_CR27","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"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M Verhoef","year":"2006","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147\u2013162. Springer, Heidelberg (2006)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Wang, G., Butt, A.R., Pandey, P., Gupta, K.: A simulation approach to evaluating design decisions in MapReduce setups. In: IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2009, pp. 1\u201311. IEEE (2009)","DOI":"10.1109\/MASCOT.2009.5366973"},{"issue":"5","key":"4_CR30","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","volume":"14","author":"PYH Wong","year":"2012","unstructured":"Wong, P.Y.H., Albert, E., Muschevici, R., Proen\u00e7a, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. J. Softw. Tools Technol. Transf. 14(5), 567\u2013588 (2012)","journal-title":"J. Softw. Tools Technol. Transf."},{"key":"4_CR31","unstructured":"Yarn Scheduler Load Simulator (SLS). https:\/\/hadoop.apache.org\/docs\/r2.4.1\/hadoop-sls\/SchedulerLoadSimulator.html"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:29:21Z","timestamp":1748813361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}