{"id":"https://openalex.org/W4387682180","doi":"https://doi.org/10.1109/access.2023.3325060","title":"BlockASP: A Framework for AOP-Based Model Checking Blockchain System","display_name":"BlockASP: A Framework for AOP-Based Model Checking Blockchain System","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4387682180","doi":"https://doi.org/10.1109/access.2023.3325060"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3325060","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3325060","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10286488.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10286488.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018319301","display_name":"Anas Alsobeh","orcid":"https://orcid.org/0000-0002-1506-7924"},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]},{"id":"https://openalex.org/I85507684","display_name":"Yarmouk University","ror":"https://ror.org/004mbaj56","country_code":"JO","type":"education","lineage":["https://openalex.org/I85507684"]}],"countries":["JO","US"],"is_corresponding":false,"raw_author_name":"Anas M. R. AlSobeh","raw_affiliation_strings":["Department of Information Systems, Faculty of Information Technology and Computer Science, Yarmouk University, Irbid, Jordan","School of Computing, Information Technology (ITEC) Program, Southern Illinois University Carbondale, Carbondale, IL, USA"],"raw_orcid":"https://orcid.org/0000-0002-1506-7924","affiliations":[{"raw_affiliation_string":"Department of Information Systems, Faculty of Information Technology and Computer Science, Yarmouk University, Irbid, Jordan","institution_ids":["https://openalex.org/I85507684"]},{"raw_affiliation_string":"School of Computing, Information Technology (ITEC) Program, Southern Illinois University Carbondale, Carbondale, IL, USA","institution_ids":["https://openalex.org/I110378019"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070057072","display_name":"Aws A. Magableh","orcid":"https://orcid.org/0000-0003-4513-6430"},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]},{"id":"https://openalex.org/I85507684","display_name":"Yarmouk University","ror":"https://ror.org/004mbaj56","country_code":"JO","type":"education","lineage":["https://openalex.org/I85507684"]}],"countries":["JO","SA"],"is_corresponding":false,"raw_author_name":"Aws A. Magableh","raw_affiliation_strings":["Department of Information Systems, Faculty of Information Technology and Computer Science, Yarmouk University, Irbid, Jordan","Departments of Software Engineering, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0003-4513-6430","affiliations":[{"raw_affiliation_string":"Department of Information Systems, Faculty of Information Technology and Computer Science, Yarmouk University, Irbid, Jordan","institution_ids":["https://openalex.org/I85507684"]},{"raw_affiliation_string":"Departments of Software Engineering, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":15.5286,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.99023192,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"11","issue":null,"first_page":"115062","last_page":"115075"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9884999990463257,"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/T11424","display_name":"Security and Verification in Computing","score":0.9803000092506409,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8156753778457642},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.7629334330558777},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5880918502807617},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5731843113899231},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4543534815311432},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.4518061876296997},{"id":"https://openalex.org/keywords/immutability","display_name":"Immutability","score":0.4334769546985626},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4119686484336853},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36032527685165405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27389615774154663},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2516385316848755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8156753778457642},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.7629334330558777},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5880918502807617},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5731843113899231},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4543534815311432},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4518061876296997},{"id":"https://openalex.org/C2776126399","wikidata":"https://www.wikidata.org/wiki/Q3942906","display_name":"Immutability","level":3,"score":0.4334769546985626},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4119686484336853},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36032527685165405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27389615774154663},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2516385316848755},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3325060","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3325060","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10286488.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:f65d962461bd462798f8158c74f76915","is_oa":true,"landing_page_url":"https://doaj.org/article/f65d962461bd462798f8158c74f76915","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 115062-115075 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3325060","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3325060","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10286488.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387682180.pdf","grobid_xml":"https://content.openalex.org/works/W4387682180.grobid-xml"},"referenced_works_count":71,"referenced_works":["https://openalex.org/W34533724","https://openalex.org/W184064784","https://openalex.org/W1546692412","https://openalex.org/W1559035930","https://openalex.org/W1569942099","https://openalex.org/W1586480192","https://openalex.org/W1978966756","https://openalex.org/W1987513978","https://openalex.org/W2001290078","https://openalex.org/W2034533707","https://openalex.org/W2097572848","https://openalex.org/W2133727680","https://openalex.org/W2163990803","https://openalex.org/W2226815197","https://openalex.org/W2507908247","https://openalex.org/W2589660059","https://openalex.org/W2771703400","https://openalex.org/W2891594104","https://openalex.org/W2892030246","https://openalex.org/W2892267252","https://openalex.org/W2904204297","https://openalex.org/W2909768298","https://openalex.org/W2940781845","https://openalex.org/W2968986159","https://openalex.org/W2991830877","https://openalex.org/W3000462881","https://openalex.org/W3008914676","https://openalex.org/W3015251243","https://openalex.org/W3015725655","https://openalex.org/W3038945959","https://openalex.org/W3048697125","https://openalex.org/W3090506305","https://openalex.org/W3124573623","https://openalex.org/W3134816364","https://openalex.org/W4206066427","https://openalex.org/W4212899279","https://openalex.org/W4225388136","https://openalex.org/W4251973912","https://openalex.org/W4283367556","https://openalex.org/W4285172573","https://openalex.org/W4288057718","https://openalex.org/W4293799819","https://openalex.org/W4294723788","https://openalex.org/W4297539919","https://openalex.org/W4298867568","https://openalex.org/W4300904057","https://openalex.org/W4306832596","https://openalex.org/W4308846924","https://openalex.org/W4311925389","https://openalex.org/W4312625023","https://openalex.org/W4361987538","https://openalex.org/W4362659508","https://openalex.org/W4366088335","https://openalex.org/W4376505727","https://openalex.org/W4376622205","https://openalex.org/W4378420632","https://openalex.org/W4379409156","https://openalex.org/W6601382958","https://openalex.org/W6607445725","https://openalex.org/W6689142931","https://openalex.org/W6725113363","https://openalex.org/W6755008914","https://openalex.org/W6758227948","https://openalex.org/W6781839216","https://openalex.org/W6784544755","https://openalex.org/W6810874914","https://openalex.org/W6838441284","https://openalex.org/W6842592999","https://openalex.org/W6846648425","https://openalex.org/W6851223419","https://openalex.org/W6853094772"],"related_works":["https://openalex.org/W1517747134","https://openalex.org/W2802479602","https://openalex.org/W4386576376","https://openalex.org/W4210406818","https://openalex.org/W4306779889","https://openalex.org/W4386732777","https://openalex.org/W3130746757","https://openalex.org/W4380683080","https://openalex.org/W2360304673","https://openalex.org/W3090206925"],"abstract_inverted_index":{"Blockchain":[0],"systems":[1,126],"are":[2,190,201],"lauded":[3],"for":[4],"their":[5],"security":[6,55,180],"and":[7,56,98,103,118,155,171,181,198,208,225],"reliability.":[8,45,182],"Security":[9],"is":[10,113],"a":[11,39,49,135,144,218],"cornerstone,":[12],"as":[13,242],"they":[14,33],"employ":[15],"cryptographic":[16],"techniques":[17,131],"to":[18,28,85,114,128,153,178,192,221,238],"ensure":[19],"the":[20,36,54,69,91,160,167,175,210,215,223,229],"immutability":[21],"of":[22,38,42,58,93,110,121,159,169,231],"data,":[23],"making":[24],"it":[25],"extremely":[26],"resistant":[27],"tampering.":[29],"With":[30],"decentralized":[31],"networks,":[32],"also":[34],"reduce":[35],"risk":[37],"single":[40],"point":[41],"failure,":[43],"enhancing":[44],"Model":[46],"checking":[47,89,173],"plays":[48],"vital":[50],"role":[51],"in":[52,67,73,124,227],"ensuring":[53],"reliability":[57],"blockchain":[59,74,87,125,146,161,176,193,233],"systems.":[60,75],"However,":[61],"traditional":[62,239],"model-checking":[63,130],"approaches":[64,240],"face":[65],"challenges":[66],"handling":[68],"inherent":[70],"dynamism":[71],"exhibited":[72],"To":[76],"overcome":[77],"this":[78,111,137],"challenge,":[79],"Aspect-Oriented":[80],"programming":[81],"(AOP)":[82],"offers":[83],"capabilities":[84],"enhance":[86],"model":[88,147,172],"through":[90],"modularization":[92],"cross-cutting":[94],"concerns,":[95],"enabling":[96],"traceability":[97],"monitoring,":[99],"facilitating":[100,228],"dynamic":[101,122,157,232],"instrumentation,":[102],"supporting":[104],"fine-grained":[105],"property":[106],"specifications.":[107],"The":[108],"aim":[109],"research":[112,138,184,205,216],"enable":[115],"more":[116],"effective":[117],"efficient":[119],"verification":[120,148],"behaviors":[123],"compared":[127,237],"conventional":[129],"using":[132,195,202,235],"AOP.":[133,203],"As":[134],"result,":[136],"introduces":[139],"<italic":[140,163,211],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[141,164,212],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BlockASP</i>":[142,165,213],",":[143],"novel":[145],"method":[149],"that":[150,189,200],"leverages":[151],"AOP":[152,236],"analyze":[154],"monitor":[156],"behavior":[158,234],"system.":[162],"integrates":[166],"benefits":[168],"aspect-orientation":[170],"into":[174],"architecture":[177],"strengthen":[179],"This":[183],"has":[185,206],"examined":[186],"prior":[187],"arts":[188],"related":[191],"modeling":[194],"Object-oriented":[196],"(OO)":[197],"those":[199],"Our":[204],"proposed":[207],"discussed":[209],"technique,":[214],"provided":[217],"case":[219],"study":[220],"demonstrate":[222],"validity":[224],"superiority":[226],"monitoring":[230],"such":[241],"Model-Driven":[243],"Architecture":[244],"(MDA).":[245]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":16},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}