{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:38:03Z","timestamp":1740148683663,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"8-9","license":[{"start":{"date-parts":[[2017,11,21]],"date-time":"2017-11-21T00:00:00Z","timestamp":1511222400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Natural Science Foundation of China (CN)","award":["61572003"],"award-info":[{"award-number":["61572003"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572003","61370053"],"award-info":[{"award-number":["61572003","61370053"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s11265-017-1298-7","type":"journal-article","created":{"date-parts":[[2017,11,20]],"date-time":"2017-11-20T22:16:44Z","timestamp":1511216204000},"page":"1133-1150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Modeling Language for MapReduce Programing in a Storage System Perspective"],"prefix":"10.1007","volume":"90","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9766-5516","authenticated-orcid":false,"given":"Yuxin","family":"Jing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanpin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongzhi","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,21]]},"reference":[{"key":"1298_CR1","doi-asserted-by":"publisher","unstructured":"Dean, J., & Ghemawat, S. (2004). Mapreduce: Simplified data processing on large clusters. In 6th Symposium on Operating System Design and Implementation (OSDI 2004), San Francisco, California, USA (pp. 137\u2013150). \n                        https:\/\/doi.org\/10.1145\/1327452.1327492\n                        \n                    .","DOI":"10.1145\/1327452.1327492"},{"key":"1298_CR2","doi-asserted-by":"publisher","unstructured":"Ghemawat, S., Gobioff, H., Leung, S. (2003). The google file system. In Proc. 19th ACM Symposium on Operating Systems Principles 2003, (SOSP 2003), ACM, Bolton Landing, NY, USA (pp. 29\u201343). \n                        https:\/\/doi.org\/10.1145\/945445.945450\n                        \n                    .","DOI":"10.1145\/945445.945450"},{"issue":"1","key":"1298_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.2498\/cit.1001864","volume":"19","author":"F Hu","year":"2011","unstructured":"Hu, F., Qiu, M., Li, J., Grant, T., Tylor, D., McCaleb, S., Butler, L., Hamner, R. (2011). A review on cloud computing: Design challenges in architecture and security. CIT, 19(1), 25\u201355. \n                        http:\/\/cit.srce.hr\/index.php\/CIT\/article\/view\/1864\n                        \n                    .","journal-title":"CIT"},{"key":"1298_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jpdc.2016.12.008","volume":"103","author":"Y Jing","year":"2017","unstructured":"Jing, Y., Wang, H., Huang, Y., Zhang, L., Xu, J., & Cao, Y. (2017). A modeling language to describe massive data storage management in cyber-physical systems. J. Parallel Distrib. Comput., 103, 113\u2013120. \n                        https:\/\/doi.org\/10.1016\/j.jpdc.2016.12.008\n                        \n                    .","journal-title":"J. Parallel Distrib. Comput."},{"key":"1298_CR5","doi-asserted-by":"publisher","unstructured":"Reynolds, J.C. (2002). Separation logic: a logic for shared mutable data structures. In Proceedings 17th Annual IEEE Symp. Logic in Computer Science (pp. 55\u201374). \n                        https:\/\/doi.org\/10.1109\/LICS.2002.1029817\n                        \n                    .","DOI":"10.1109\/LICS.2002.1029817"},{"key":"1298_CR6","doi-asserted-by":"publisher","unstructured":"Su, W., Yang, F., Zhu, H., Li, Q. (2009). Modeling mapreduce with CSP. In Proceedings Third IEEE Int. Symp. Theoretical Aspects of Software Engineering (pp. 301\u2013302). \n                        https:\/\/doi.org\/10.1109\/TASE.2009.28\n                        \n                    .","DOI":"10.1109\/TASE.2009.28"},{"key":"1298_CR7","doi-asserted-by":"publisher","unstructured":"Yang, F., Su, W., Zhu, H., Li, Q. (2010). Formalizing mapreduce with CSP. In Proceedings 17th IEEE Int. Conf. and Workshops Engineering of Computer Based Systems (pp. 358\u2013367). \n                        https:\/\/doi.org\/10.1109\/ECBS.2010.50\n                        \n                    .","DOI":"10.1109\/ECBS.2010.50"},{"key":"1298_CR8","doi-asserted-by":"publisher","unstructured":"Pereverzeva, I., Butler, M.J., Fathabadi, A.S., Laibinis, L., Troubitsyna, E. (2014). Formal derivation of distributed mapreduce. In Proceedings 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France (pp. 238\u2013254). \n                        https:\/\/doi.org\/10.1007\/978-3-662-43652-3_21\n                        \n                    .","DOI":"10.1007\/978-3-662-43652-3_21"},{"key":"1298_CR9","unstructured":"Charalambidis, A., Papaspyrou, N., Rondogiannis, P. (2014). Tagged dataflow: a formal model for iterative map-reduce. In Proc. the Workshops of the EDBT\/ICDT 2014 Joint Conference (EDBT\/ICDT 2014), Athens, Greece (pp. 29\u201336)."},{"issue":"4","key":"1298_CR10","doi-asserted-by":"publisher","first-page":"66:1","DOI":"10.1145\/1824777.1824786","volume":"6","author":"J Feldman","year":"2010","unstructured":"Feldman, J., Muthukrishnan, S., Sidiropoulos, A., Stein, C., Svitkina, Z. (2010). On distributing symmetric streaming computations. ACM Trans. Algorithms, 6(4), 66:1\u201366:19. \n                        https:\/\/doi.org\/10.1145\/1824777.1824786\n                        \n                    .","journal-title":"ACM Trans. Algorithms"},{"key":"1298_CR11","doi-asserted-by":"publisher","unstructured":"Karloff, H., Suri, S., Vassilvitskii, S. (2010). A model of computation for mapreduce. In Proceedings the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, Philadelphia, PA, USA (pp. 938\u2013948). \n                        https:\/\/doi.org\/10.1137\/1.9781611973075.76\n                        \n                    .","DOI":"10.1137\/1.9781611973075.76"},{"key":"1298_CR12","unstructured":"Noia, T.D., Mongiello, M., Sciascio, E.D. (2014). A computational model for mapreduce job flow. In Proceedings 29th Italian Conference on Computational Logic, Torino, Italy (pp. 335\u2013 340)."},{"issue":"5","key":"1298_CR13","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1016\/j.jpdc.2012.02.002","volume":"72","author":"J Li","year":"2012","unstructured":"Li, J., Qiu, M., Ming, Z., Quan, G., Qin, X., Gu, Z. (2012). Online optimization for scheduling preemptable tasks on iaas cloud systems. J. Parallel Distrib. Comput., 72(5), 666\u2013677. \n                        https:\/\/doi.org\/10.1016\/j.jpdc.2012.02.002\n                        \n                    .","journal-title":"J. Parallel Distrib. Comput."},{"issue":"10-D","key":"1298_CR14","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.1016\/j.sysarc.2013.05.015","volume":"59","author":"Z Chen","year":"2013","unstructured":"Chen, Z., Qiu, M., Ming, Z., Yang, L.T., Zhu, Y. (2013). Clustering scheduling for hardware tasks in reconfigurable computing systems. Journal of Systems Architecture - Embedded Systems Design, 59(10-D), 1424\u20131432. \n                        https:\/\/doi.org\/10.1016\/j.sysarc.2013.05.015\n                        \n                    .","journal-title":"Journal of Systems Architecture - Embedded Systems Design"},{"key":"1298_CR15","doi-asserted-by":"publisher","unstructured":"Wieder, A., Bhatotia, P., Post, A., Rodrigues, R. (2010). Brief announcement: modelling mapreduce for optimal execution in the cloud. In Proceedings 29th Annual ACM Symposium on Principles of Distributed Computing, (PODC 2010), Zurich, Switzerland (pp. 408\u2013409). \n                        https:\/\/doi.org\/10.1145\/1835698.1835795\n                        \n                    .","DOI":"10.1145\/1835698.1835795"},{"issue":"2","key":"1298_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.jocs.2013.04.003","volume":"5","author":"A Nu\u00f1ez","year":"2014","unstructured":"Nu\u00f1ez, A., & Merayo, M.G. (2014). A formal framework to analyze cost and performance in map-reduce based applications. J. Comput. Science, 5(2), 106\u2013118. \n                        https:\/\/doi.org\/10.1016\/j.jocs.2013.04.003\n                        \n                    .","journal-title":"J. Comput. Science"},{"key":"1298_CR17","doi-asserted-by":"publisher","unstructured":"Ruiz, M.C., Calleja, J.L., Cazorla, D. (2015). Petri nets formalization of map\/reduce paradigm to optimise the performance-cost tradeoff. In Proceedings 2015 IEEE TrustCom\/BigDataSE\/ISPA, IEEE, Helsinki, Finland (pp. 92\u201399). \n                        https:\/\/doi.org\/10.1109\/Trustcom.2015.617\n                        \n                    .","DOI":"10.1109\/Trustcom.2015.617"},{"issue":"8","key":"1298_CR18","doi-asserted-by":"publisher","first-page":"3136","DOI":"10.1007\/s11227-015-1553-2","volume":"72","author":"MC Ruiz","year":"2016","unstructured":"Ruiz, M.C., Cazorla, D., Le\u00e1ndrez, D.P., Conejero, J. (2016). Formal performance evaluation of the map\/reduce framework within cloud computing. The Journal of Supercomputing, 72(8), 3136\u20133155. \n                        https:\/\/doi.org\/10.1007\/s11227-015-1553-2\n                        \n                    .","journal-title":"The Journal of Supercomputing"},{"key":"1298_CR19","doi-asserted-by":"publisher","unstructured":"Ono, K., Hirai, Y., Tanabe, Y., Noda, N., Hagiya, M. (2011). Using coq in specification and program extraction of hadoop mapreduce applications. In Proceedings SEFM 2011, Montevideo, Uruguay (pp. 350\u2013365). \n                        https:\/\/doi.org\/10.1007\/978-3-642-24690-6_24\n                        \n                    .","DOI":"10.1007\/978-3-642-24690-6_24"},{"key":"1298_CR20","doi-asserted-by":"publisher","unstructured":"Reddy, G.S., Feng, Y., Liu, Y., Dong, J.S., Sun, J., Kanagasabai, R. (2013). Towards formal modeling and verification of cloud architectures: A case study on hadoop. In Proceedings IEEE 9th World Congress on Services, (SERVICES 2013), Santa Clara, CA, USA (pp. 306\u2013311). \n                        https:\/\/doi.org\/10.1109\/SERVICES.2013.47\n                        \n                    .","DOI":"10.1109\/SERVICES.2013.47"},{"issue":"10","key":"1298_CR21","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R. (1969). An axiomatic basis for computer programming. Commun. ACM, 12(10), 576\u2013580. \n                        https:\/\/doi.org\/10.1145\/363235.363259\n                        \n                    .","journal-title":"Commun. ACM"},{"key":"1298_CR22","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W. (1968). Co-operating sequential processes. In The origin of concurrent programming, Springer (pp. 65\u2013138). \n                        https:\/\/doi.org\/10.1007\/978-1-4757-3472-0_2\n                        \n                    .","DOI":"10.1007\/978-1-4757-3472-0_2"},{"issue":"7","key":"1298_CR23","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"PB Hansen","year":"1972","unstructured":"Hansen, P.B. (1972). Structured multiprogramming. Commun. ACM, 15(7), 574\u2013578. \n                        https:\/\/doi.org\/10.1145\/361454.361473\n                        \n                    .","journal-title":"Commun. ACM"},{"key":"1298_CR24","doi-asserted-by":"publisher","unstructured":"Hoare, C.A.R. (1972). Towards a theory of parallel programming. In The origin of concurrent programming, Springer (pp. 231\u2013244). \n                        https:\/\/doi.org\/10.1007\/978-1-4757-3472-0_6\n                        \n                    .","DOI":"10.1007\/978-1-4757-3472-0_6"},{"issue":"8","key":"1298_CR25","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R. (1978). Communicating sequential processes. Commun. ACM, 21(8), 666\u2013677. \n                        https:\/\/doi.org\/10.1145\/359576.359585\n                        \n                    .","journal-title":"Commun. ACM"},{"key":"1298_CR26","doi-asserted-by":"publisher","unstructured":"Milner, R. (1980). A Calculus of Communicating Systems. In Vol. 92 of Lecture Notes in Computer Science, Springer. \n                        https:\/\/doi.org\/10.1007\/3-540-10235-3\n                        \n                    .","DOI":"10.1007\/3-540-10235-3"},{"key":"1298_CR27","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R. (1989). Communication and concurrency. Prentice Hall: PHI Series in computer science."},{"key":"1298_CR28","volume-title":"Petri nets for systems engineering - a guide to modeling, verification, and applications","author":"C Girault","year":"2003","unstructured":"Girault, C., & Valk, R. (2003). Petri nets for systems engineering - a guide to modeling, verification, and applications. Berlin: Springer."},{"issue":"5","key":"1298_CR29","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"SS Owicki","year":"1976","unstructured":"Owicki, S.S., & Gries, D. (1976). Verifying properties of parallel programs: An axiomatic approach. Commun. ACM, 19(5), 279\u2013285. \n                        https:\/\/doi.org\/10.1145\/360051.360224\n                        \n                    .","journal-title":"Commun. ACM"},{"key":"1298_CR30","doi-asserted-by":"publisher","unstructured":"Brookes, S.D. (1993). Full abstraction for a shared variable parallel language. In Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS \u201993), Montreal, Canada, June 19-23, 1993, IEEE Computer Society (pp. 98\u2013109). \n                        https:\/\/doi.org\/10.1109\/LICS.1993.287596\n                        \n                    .","DOI":"10.1109\/LICS.1993.287596"},{"key":"1298_CR31","doi-asserted-by":"publisher","unstructured":"Brookes, S.D. A semantics for concurrent separation logic. \n                        https:\/\/doi.org\/10.1007\/978-3-540-28644-8_2\n                        \n                    .","DOI":"10.1007\/978-3-540-28644-8_2"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-017-1298-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-017-1298-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-017-1298-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T00:25:23Z","timestamp":1529454323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-017-1298-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,21]]},"references-count":31,"journal-issue":{"issue":"8-9","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["1298"],"URL":"https:\/\/doi.org\/10.1007\/s11265-017-1298-7","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"type":"print","value":"1939-8018"},{"type":"electronic","value":"1939-8115"}],"subject":[],"published":{"date-parts":[[2017,11,21]]}}}