DocumentCode
2880116
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
fYear
2009
fDate
29-31 July 2009
Firstpage
301
Lastpage
302
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TASE.2009.28
Filename
5198521
Link To Document