{"id":"https://openalex.org/W3036637702","doi":"https://doi.org/10.1109/tr.2020.2999441","title":"Verifying Properties of MapReduce-Based Big Data Processing","display_name":"Verifying Properties of MapReduce-Based Big Data Processing","publication_year":2020,"publication_date":"2020-06-16","ids":{"openalex":"https://openalex.org/W3036637702","doi":"https://doi.org/10.1109/tr.2020.2999441","mag":"3036637702"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2020.2999441","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2020.2999441","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100331270","display_name":"Nan Zhang","orcid":"https://orcid.org/0000-0002-3870-2505"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Nan Zhang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100377243","display_name":"Meng Wang","orcid":"https://orcid.org/0000-0003-3582-9559"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071051896","display_name":"Zhenhua Duan","orcid":"https://orcid.org/0009-0007-6906-9881"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenhua Duan","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003990194","display_name":"Cong Tian","orcid":"https://orcid.org/0000-0002-5429-4580"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cong Tian","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’ an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100331270"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":1.0792,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.79057706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"71","issue":"1","first_page":"321","last_page":"338"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.841261625289917},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8221918940544128},{"id":"https://openalex.org/keywords/big-data","display_name":"Big data","score":0.6240071654319763},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5945100784301758},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4922579824924469},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4506606161594391},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.45019838213920593},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43569469451904297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42324337363243103},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.41913729906082153},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3163934051990509},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2870488464832306},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2114725112915039}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.841261625289917},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8221918940544128},{"id":"https://openalex.org/C75684735","wikidata":"https://www.wikidata.org/wiki/Q858810","display_name":"Big data","level":2,"score":0.6240071654319763},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5945100784301758},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4922579824924469},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4506606161594391},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.45019838213920593},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43569469451904297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42324337363243103},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.41913729906082153},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3163934051990509},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2870488464832306},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2114725112915039},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2020.2999441","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2020.2999441","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5400000214576721}],"awards":[{"id":"https://openalex.org/G3596336811","display_name":null,"funder_award_id":"61751207","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5115926484","display_name":null,"funder_award_id":"61732013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7874365056","display_name":null,"funder_award_id":"2019TD-001","funder_id":"https://openalex.org/F4320335802","funder_display_name":"Shaanxi Key Science and Technology Innovation Team Project"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335802","display_name":"Shaanxi Key Science and Technology Innovation Team Project","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W346741227","https://openalex.org/W1483150777","https://openalex.org/W1488107040","https://openalex.org/W1497559908","https://openalex.org/W1505837402","https://openalex.org/W1547556487","https://openalex.org/W1573087364","https://openalex.org/W1590315663","https://openalex.org/W1591672107","https://openalex.org/W1835747325","https://openalex.org/W1969761972","https://openalex.org/W1983572666","https://openalex.org/W2005541978","https://openalex.org/W2009442627","https://openalex.org/W2015688007","https://openalex.org/W2020639449","https://openalex.org/W2023808162","https://openalex.org/W2025472709","https://openalex.org/W2028909677","https://openalex.org/W2037296871","https://openalex.org/W2039875226","https://openalex.org/W2044936152","https://openalex.org/W2052419359","https://openalex.org/W2058410460","https://openalex.org/W2080063509","https://openalex.org/W2103497972","https://openalex.org/W2107710541","https://openalex.org/W2114349788","https://openalex.org/W2119738171","https://openalex.org/W2158254861","https://openalex.org/W2164700649","https://openalex.org/W2169940602","https://openalex.org/W2171332293","https://openalex.org/W2171365126","https://openalex.org/W2173213060","https://openalex.org/W2293634425","https://openalex.org/W2294578947","https://openalex.org/W2530261561","https://openalex.org/W2534983812","https://openalex.org/W2543296129","https://openalex.org/W2568712343","https://openalex.org/W2605161467","https://openalex.org/W2618805227","https://openalex.org/W2620922766","https://openalex.org/W2626124486","https://openalex.org/W2742794271","https://openalex.org/W2751226072","https://openalex.org/W2786418370","https://openalex.org/W2788402714","https://openalex.org/W2793303056","https://openalex.org/W2900584170","https://openalex.org/W2905458020","https://openalex.org/W2998781949","https://openalex.org/W3146259567","https://openalex.org/W4245179829","https://openalex.org/W4254299951","https://openalex.org/W4302802341","https://openalex.org/W6628739754","https://openalex.org/W6679898556","https://openalex.org/W6687322159","https://openalex.org/W6697477509"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W1994524667"],"abstract_inverted_index":{"Big":[0],"data":[1,13,34,52,56],"techniques":[2],"are":[3,41,63,70,101],"widely":[4],"used":[5],"in":[6],"various":[7],"fields.":[8],"To":[9,78],"deal":[10],"with":[11],"large":[12],"sets":[14],"efficiently,":[15],"a":[16,82],"new":[17,24],"programming":[18],"framework":[19],"MapReduce":[20,39],"has":[21],"emerged.":[22],"Thus,":[23],"verification":[25,47,84],"challenges":[26],"arise":[27],"to":[28,103],"improve":[29],"the":[30],"reliability":[31],"of":[32,115],"big":[33],"processing.":[35],"In":[36,96],"this":[37],"article,":[38],"processes":[40],"implemented":[42],"by":[43,72],"modeling":[44],"simulation":[45],"and":[46,61,110],"language":[48],"programs.":[49],"Then,":[50],"several":[51],"properties":[53,69],"such":[54],"as":[55],"soundness,":[57],"nonconflict,":[58],"nonduplication,":[59],"cooperation,":[60],"completeness":[62],"taken":[64],"into":[65],"account.":[66],"Moreover,":[67],"these":[68,80],"specified":[71],"propositional":[73],"projection":[74],"temporal":[75],"logic":[76],"formulas.":[77],"verify":[79],"properties,":[81],"runtime":[83],"approach":[85],"at":[86],"code":[87],"level":[88],"based":[89],"on":[90],"unified":[91],"model":[92],"checking":[93],"is":[94],"employed.":[95],"addition,":[97],"two":[98],"case":[99],"studies":[100],"conducted":[102],"demonstrate":[104],"our":[105],"approach:":[106],"sparse":[107],"matrix":[108],"multiplication":[109],"tracking":[111],"down":[112],"suspected":[113],"patients":[114],"an":[116],"infectious":[117],"disease.":[118]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}