Modeling MapReduce with CSP

Su Wen; Yang Fan; Zhu Huibiao; Li Qin

doi:10.1109/TASE.2009.28

Modeling MapReduce with CSP

Su Wen^*, Yang Fan, Zhu Huibiao, Li Qin

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets [1, 3]. 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.

Original language	English
Title of host publication	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages	301-302
Number of pages	2
DOIs	https://doi.org/10.1109/TASE.2009.28
State	Published - 2009
Event	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China Duration: 29 Jul 2009 → 31 Jul 2009

Publication series

Name	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Conference

Conference	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Country/Territory	China
City	Tianjin
Period	29/07/09 → 31/07/09

Keywords

CSP
Formal modeling
MapReduce

Access to Document

10.1109/TASE.2009.28

Cite this

Wen, S., Fan, Y., Huibiao, Z., & Qin, L. (2009). Modeling MapReduce with CSP. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 (pp. 301-302). Article 5198521 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). https://doi.org/10.1109/TASE.2009.28

@inproceedings{f79297a4b44c4840acb74e680351d1d7,

title = "Modeling MapReduce with CSP",

abstract = "As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets [1, 3]. 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 = "CSP, Formal modeling, MapReduce",

author = "Su Wen and Yang Fan and Zhu Huibiao and Li Qin",

year = "2009",

doi = "10.1109/TASE.2009.28",

language = "英语",

isbn = "9780769537573",

series = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

pages = "301--302",

booktitle = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

note = "2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 ; Conference date: 29-07-2009 Through 31-07-2009",

}

Wen, S, Fan, Y, Huibiao, Z & Qin, L 2009, Modeling MapReduce with CSP. in Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009., 5198521, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, pp. 301-302, 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, Tianjin, China, 29/07/09. https://doi.org/10.1109/TASE.2009.28

Modeling MapReduce with CSP. / Wen, Su; Fan, Yang; Huibiao, Zhu et al.
Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. p. 301-302 5198521 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling MapReduce with CSP

AU - Wen, Su

AU - Fan, Yang

AU - Huibiao, Zhu

AU - Qin, Li

PY - 2009

Y1 - 2009

N2 - As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets [1, 3]. 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.

AB - As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets [1, 3]. 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.

KW - CSP

KW - Formal modeling

KW - MapReduce

UR - https://www.scopus.com/pages/publications/71049137174

U2 - 10.1109/TASE.2009.28

DO - 10.1109/TASE.2009.28

M3 - 会议稿件

AN - SCOPUS:71049137174

SN - 9780769537573

T3 - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

SP - 301

EP - 302

BT - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

T2 - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Y2 - 29 July 2009 through 31 July 2009

ER -

Modeling MapReduce with CSP

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this