Formalizing mapreduce with CSP

17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010

Volumn , Issue , 2010, Pages 358-367

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

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DATA SETS; FORMAL FRAMEWORK; FORMAL MODEL; LARGE CLUSTERS; PROGRAMMING MODELS;

EID: 77953209591     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2010.50     Document Type: Conference Paper

References (23)

1. F. M. Aymerich, G. Fenu, and S. Surcis. An Approach to a Cloud Computing Network. In ICADIWT 2008: First International Conference on the Applications of Digital Information and Web Technologies, pages 113-118, Ostrava, August 2008.
2. M. Cafarella, E. Chang, A. Fikes, A. Halevy, W. Hsieh, and A. Lerner. Data Management Projects at Google. ACM SIGMOD Record, 37(1):34-38, 2008.
3. J. Dean. Experiences with MapReduce, an Abstraction for Large-Scale Computation. In PACT 2006: Proceedings of the 15th international conference on Parallel architectures and compilation techniques, pages 1-1, New York, 2006. ACM.
4. J. Dean and S. Ghemawat. MapReduce: Simplified Data Precessing on Large Clusters. Communications of the ACM, 51(1):107-113, 2008.
5. Formal Systems Ltd. Failures Divergence Refinement-User Manual and Tutorial. 1993.
6. J. Gibbons. An Introduction to the Bird-Meertens Formalism. In S. Reeves, editor, Proceedings of the First New Zealand Formal Program Development Colloquium, 1994.
7. Hadoop. http://hadoop.apache.org/core.
8. B. Hayes. Cloud computing. Communications of the ACM, 51(7):9-11, 2008.
9. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.
10. Hung-chih Yang, Ali Dasdan, Ruey-Lung Hsiao, and D. Stott Parker. Map-Reduce-Merge: Simplified Relational Data Processing on Large Clusters. In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data, pages 1029-1040, New York, NY, USA, 2007. ACM.
11. P. Lammel. Google's MapReduce Programming Model - Revisited . Science of Computer Programming, 68(3):208-237, 2007.
12. LTSA. http://www.doc.ic.ac.uk/ltsa.
13. C. Marth. Google MapReduce. In CS580 - Computational Science, Montana State University - Bozeman, 2005.
14. L. H. Nguyen and A. W. Roscoe. Authenticating Ad Hoc Networks by Comparison of Short Digests. Inf. Comput., 206(2-4):250-271, 2008.
15. A. W. Roscoe. Model-checking CSP. In A Classical Mind, Essays in Honour of C. A. R. Hoare. Prentice Hall, 1994.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
17. A. W. Roscoe and G. Lowe. Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Softw. Eng., 23(10):659-669, 1997.
18. A. W. Roscoe and Z. Wu. Verifying Statemate Statecharts Using CSP and FDR. In Lecture Notes in Computer Science: Formal Methods and Software Engineering, volume 4260 LNCS of 8th International Conference on Formal Engineering Methods, ICFEM 2006, pages 324-341, Oxford University, Computing Laboratory, 2006.
19. D. B. Skillicorn. Architecture-Independent Parallel Computation. Computer, 23(12):38-50, 1990.
20. D. B. Skillicorn. The Bird-Meertens Formalism as a Parallel Model. In Software for Parallel Computation, volume 106 of NATO ASI Series F, pages 120-133. Springer-Verlag, 1993.
21. L. M. Vaquero, L. R. Merino, J. Caceres, and M. Lindner. A Break in the Clouds: Towards a Cloud Definition . Communications of the ACM, 39(1):50-55, 2008.
22. F. Yang andW. Su. Analyzing MapReduce with CSP. Technical report, Software Engineering Institute, East China Normal University, December 2009.
23. M. Young. Google Maps Mashups with Google Mapplets. APress, 2008.