Title :
Modeling MapReduce with CSP
Author :
Su, Wen ; Yang, Fan ; Zhu, Huibiao ; Li, Qin
Author_Institution :
Software Eng. Inst., East China Normal Univ., Shanghai, China
Abstract :
As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets. We use CSP framework to model MapReduce system through which the parallelization of the computation and the distribution of data across multiple machines can be reflected. Some properties of MapReduce can be verified based on the achieved model.
Keywords :
communicating sequential processes; distributed processing; pattern clustering; MapReduce system; computation parallelization; data distribution; distributed data sets clustering; formal modeling; programming model; Computer applications; Concurrent computing; Data engineering; Distributed computing; Erbium; File systems; Research and development; Software engineering; Usability; CSP; Formal Modeling; MapReduce;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.28
