• Home
  • Search
  • Modeling and Verification of MRSCAN Based on MapReduce Framework
  • https://doi.org/10.1109/tr.2025.3535754Copy DOI Icon

Modeling and Verification of MRSCAN Based on MapReduce Framework

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Network clustering (graph clustering) plays a crucial role in discovering the inherent structures within networks. MapReduce-based structural clustering algorithm for networks (MRSCANs) designed based on MapReduce's parallel computing model, efficiently handles large-scale data. However, MRSCAN can only be tested through experiments, and its correctness cannot be guaranteed. To address this issue, this article has achieved the first implementation of functional MRSCAN modeling and subjected it to rigorous mechanized verification in Isabelle. First, based on Google's MapReduce model type definition and higher-order generic functions, a general MapReduce-based algorithm functional modeling framework is constructed across the fundamental global phases of Map, Shuffle, and Reduce. Moreover, diverse strategies are devised during the Shuffle phases according to user requirements, enhancing the applicability and generality of the MapReduce functional modeling framework. Second, formalizing the definition of MRSCAN, is delineated into four key steps: similarity calculation, core calculation, dimension expansion, and structural clustering. Furthermore, the MapReduce functional modeling framework is applied to these four steps to achieve the functional modeling of MRSCAN, which improves efficiency compared to other structural clustering algorithm for networks (SCANs) algorithms. Lastly, a verification framework for MapReduce-based algorithms is proposed at both the global and shuffle stages. Based on this framework, the correctness and reliability of MRSCAN are ensured. The model framework and verification framework of MapReduce-based algorithms proposed in this article can not only address functional modeling and verification of MRSCAN but also provide a reference for a series of other MapReduce-based functional program designs and proofs.

Similar Papers
  • Conference Article
  • Citations1

MR-runner

  • Oct 23, 2013
  • Xinsheng Yang +4
  • PDF
  • Research Article
  • Citations3

Parallel MapReduce: Maximizing Cloud Resource Utilization and Performance Improvement Using Parallel Execution Strategies

  • Oct 17, 2018
  • BioMed Research International
  • Ahmed Abdulhakim Al-Absi +3
  • Research Article
  • Citations1

Cyber-attack Detection and Mitigation Process under Big Data Consideration: Improved Recursive Feature Elimination-based Feature Selection

  • Sep 20, 2024
  • Journal of Information & Knowledge Management
  • D Raghunath Kumar Babu +1
  • Research Article
  • Citations126

Adapting scientific computing problems to clouds using MapReduce

  • Jun 12, 2011
  • Future Generation Computer Systems
  • Satish Narayana Srirama +2
  • Research Article
  • Citations2

Monitoring and Notification System Based on Risk Analysis Using Map-Reduce Framework

  • Dec 01, 2015
  • International Journal of Computer Theory and Engineering
  • Yoondeuk Seo +1
  • Conference Article

Tree Structure for Expressive MapReduce Framework

  • Dec 28, 2017
  • Nathar Shah +1
  • Research Article
  • Citations37

A big-data oriented recommendation method based on multi-objective optimization

  • Apr 05, 2019
  • Knowledge-Based Systems
  • Chonghuan Xu
  • Research Article
  • Citations1

Topic Extraction of Crawled Documents Collection using Correlated Topic Model in Mapreduce Framework

  • Dec 31, 2019
  • International Journal on Natural Language Computing
  • Mi Khine Oo +1
  • Research Article
  • Citations55

An efficient approach to the map-reduce framework and genetic algorithm based whale optimization algorithm for task scheduling in cloud computing environment

  • Oct 14, 2020
  • Materials Today: Proceedings
  • M.S Sanaj +1
  • Research Article

Local Optima Avoidance in GA Biclustering using Map Reduce

  • Jan 01, 2016
  • International Journal of Knowledge Discovery in Bioinformatics
  • Gowri R +1
  • Research Article
  • Citations1

Pillar K-Means Clustering Algorithm Using MapReduce Framework

  • Apr 01, 2019
  • IOP Conference Series: Earth and Environmental Science
  • A L Ramdani +1
  • Research Article
  • Citations28

Student Psychology based optimized routing algorithm for big data clustering in IoT with MapReduce framework

  • Jan 30, 2023
  • Journal of Intelligent & Fuzzy Systems
  • Gowri Shanmugam +3
  • Conference Article
  • Citations749

Mars

  • Oct 25, 2008
  • Bingsheng He +4
  • Book Chapter
  • Citations2

Policy Driven Node Selection in MapReduce

  • Jan 01, 2015
  • Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  • Anna C Squicciarini +3
  • Research Article
  • Citations9

<i>k</i>-Dominant Skyline Query Computation in MapReduce Environment

  • Jan 01, 2015
  • IEICE Transactions on Information and Systems
  • Md Anisuzzaman Siddique +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.