|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Formalizing MapReduce with CSP
Oxford, England
March 22-March 26
ISBN: 978-0-7695-4005-4
| ASCII Text | x | ||
| Fan Yang, Wen Su, Huibiao Zhu, Qin Li, "Formalizing MapReduce with CSP," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 358-367, 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/ECBS.2010.50, author = {Fan Yang and Wen Su and Huibiao Zhu and Qin Li}, title = {Formalizing MapReduce with CSP}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2010}, isbn = {978-0-7695-4005-4}, pages = {358-367}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.50}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Formalizing MapReduce with CSP SN - 978-0-7695-4005-4 SP358 EP367 A1 - Fan Yang, A1 - Wen Su, A1 - Huibiao Zhu, A1 - Qin Li, PY - 2010 KW - CSP KW - MapReduce KW - Cloud Computing VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.50
As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets distributed on large amount of machines. With its widespread use, its validity and other major properties need to be analyzed in a formal framework. In this paper, a formal model is presented using CSP method. We focus on the dominant parts of MapReduce and formalize them in detail. Through this formal model, the processing and function of each component can be clearly reflected. Moreover, we illustrate this formal model by an example computation. The result reflects the validity of MapReduce in some appropriate applications.
Index Terms:
CSP, MapReduce, Cloud Computing
Citation:
Fan Yang, Wen Su, Huibiao Zhu, Qin Li, "Formalizing MapReduce with CSP," ecbs, pp.358-367, 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
Usage of this product signifies your acceptance of the Terms of Use.