.png){kind=icon}
返回
Verifying Properties of MapReduce-Based Big Data Processing
.png){kind=icon}
PRE
AI
DOI：10.1109/TR.2020.2999441.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Big data techniques are widely used in various fields. To deal with large data sets efficiently, a new programming framework MapReduce has emerged. Thus, new verification challenges arise to improve the reliability of big data processing. In this article, MapReduce processes are implemented by modeling simulation and verification language programs. Then, several data properties such as data soundness, nonconflict, nonduplication, cooperation, and completeness are taken into account. Moreover, these properties are specified by propositional projection temporal logic formulas. To verify these properties, a runtime verification approach at code level based on unified model checking is employed. In addition, two case studies are conducted to demonstrate our approach: sparse matrix multiplication and tracking down suspected patients of an infectious disease.
Keyword:
Big Data
Reliability
Sparse matrices
Infectious diseases
Storms
Urban areas
Big data
formal verification
MapReduce
model checking
reliability
期刊
IF:
5.7
论文数:
2.7K
被引数:
8.5K
机构
引用论文
Solvent-mediated pathways to gelation and phase separation in suspensions of grafted nanoparticles.png)
Soft Matter
OAAI
Soft MatterIF0
OAAI分享收藏分享收藏Optimization of smartphone psychotherapy for depression and anxiety among patients with cancer using the multiphase optimization strategy (MOST) framework and decentralized clinical trial system (SMartphone Intervention to LEssen depression/Anxiety and GAIN resilience: SMILE AGAIN project): a protocol for a randomized controlled trialTrials
OAAI
TrialsIF0
OAAI分享收藏
查看更多内容