Modeling MapReduce with CSP

摘要：

As a programming model, MapReduce is implied for eas ier processing and generating large cluster of distributed data sets. We use CSP framework to model MapRe duce system through which the parallelization of the compu tation and the distribution of data across multiple machines can be reflected. Some properties of MapReduce can be ver ified based on the achieved model.

关键词： MapReduce CSP Formal Modeling

作者: Wen Su Fan Yang Huibiao Zhu Qin Li

作者单位: Software Engineering Institute, East China Normal University 3663 Zhongshan Road (North), Shanghai, China, 200062

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 301-302

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）