Please use this identifier to cite or link to this item: https://doi.org/10.1109/SERVICES.2013.47
Title: Towards formal modeling and verification of cloud architectures: A case study on hadoop
Authors: Reddy, G.S.
Feng, Y.
Liu, Y.
Dong, J.S. 
Jun, S.
Kanagasabai, R.
Keywords: Formal Verification
Hadoop
Issue Date: 2013
Source: Reddy, G.S.,Feng, Y.,Liu, Y.,Dong, J.S.,Jun, S.,Kanagasabai, R. (2013). Towards formal modeling and verification of cloud architectures: A case study on hadoop. Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013 : 306-311. ScholarBank@NUS Repository. https://doi.org/10.1109/SERVICES.2013.47
Abstract: Hadoop is a popular open source implementation of MapReduce, that has a number of prominent users including Yahoo!, Facebook, and Twitter. Though several works have focused on deploying algorithms on Hadoop MapReduce, research efforts into applying formal methods to prove the correctness of hadoop systems are limited. In this paper we propose a holistic approach to verify the correctness of hadoop systems using model checking techniques. We model Hadoop's parallel architecture to constraint it to valid start up ordering and identify and prove the benefits of data locality, deadlock-freeness and non-termination among others. © 2013 IEEE.
Source Title: Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013
URI: http://scholarbank.nus.edu.sg/handle/10635/78401
ISBN: 9780768550244
DOI: 10.1109/SERVICES.2013.47
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

7
checked on Feb 20, 2018

Page view(s)

32
checked on Feb 16, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.