{"id":"https://openalex.org/W4382998699","doi":"https://doi.org/10.1109/access.2023.3291412","title":"An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems","display_name":"An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4382998699","doi":"https://doi.org/10.1109/access.2023.3291412"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3291412","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3291412","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10171351.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":null,"license_id":null,"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/10171351.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090762147","display_name":"Faranak Nejati","orcid":"https://orcid.org/0000-0001-8871-6211"},"institutions":[{"id":"https://openalex.org/I931681460","display_name":"Universiti Tunku Abdul Rahman","ror":"https://ror.org/050pq4m56","country_code":"MY","type":"education","lineage":["https://openalex.org/I931681460"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Faranak Nejati","raw_affiliation_strings":["Department of Internet Engineering and Computer Science (DIECS), Lee Kong Chian Faculty of Engineering and Science (LKC FES), Universiti Tunku Abdul Rahman, Sungai Long, Selangor, Malaysia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Internet Engineering and Computer Science (DIECS), Lee Kong Chian Faculty of Engineering and Science (LKC FES), Universiti Tunku Abdul Rahman, Sungai Long, Selangor, Malaysia","institution_ids":["https://openalex.org/I931681460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020450057","display_name":"Nor Asilah Wati Abdul Hamid","orcid":"https://orcid.org/0000-0001-8095-7678"},"institutions":[{"id":"https://openalex.org/I130343225","display_name":"Universiti Putra Malaysia","ror":"https://ror.org/02e91jd64","country_code":"MY","type":"education","lineage":["https://openalex.org/I130343225"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Nor Asilah Wati Abdul Hamid","raw_affiliation_strings":["Faculty of Computer Science and Information Technology, Universiti Putra Malaysia (UPM), Serdang, Selangor, Malaysia","Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, UPM Serdang, Selangor Darul Ehsan, Malaysia","Institute for Mathematical Research, Universiti Putra Malaysia, Serdang, Selangor, Malaysia"],"raw_orcid":"https://orcid.org/0000-0001-8095-7678","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Information Technology, Universiti Putra Malaysia (UPM), Serdang, Selangor, Malaysia","institution_ids":["https://openalex.org/I130343225"]},{"raw_affiliation_string":"Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, UPM Serdang, Selangor Darul Ehsan, Malaysia","institution_ids":["https://openalex.org/I130343225"]},{"raw_affiliation_string":"Institute for Mathematical Research, Universiti Putra Malaysia, Serdang, Selangor, Malaysia","institution_ids":["https://openalex.org/I130343225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048609373","display_name":"Sina Zangbari Koohi","orcid":"https://orcid.org/0000-0002-7690-8950"},"institutions":[{"id":"https://openalex.org/I130343225","display_name":"Universiti Putra Malaysia","ror":"https://ror.org/02e91jd64","country_code":"MY","type":"education","lineage":["https://openalex.org/I130343225"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Sina Zangbari Koohi","raw_affiliation_strings":["Faculty of Computer Science and Information Technology, Universiti Putra Malaysia (UPM), Serdang, Selangor, Malaysia","Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, UPM Serdang, Selangor Darul Ehsan, Malaysia","Institute for Mathematical Research, Universiti Putra Malaysia, Serdang, Selangor, Malaysia"],"raw_orcid":"https://orcid.org/0000-0002-7690-8950","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Information Technology, Universiti Putra Malaysia (UPM), Serdang, Selangor, Malaysia","institution_ids":["https://openalex.org/I130343225"]},{"raw_affiliation_string":"Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, UPM Serdang, Selangor Darul Ehsan, Malaysia","institution_ids":["https://openalex.org/I130343225"]},{"raw_affiliation_string":"Institute for Mathematical Research, Universiti Putra Malaysia, Serdang, Selangor, Malaysia","institution_ids":["https://openalex.org/I130343225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111003038","display_name":"Zahra Rahmani Zadeh","orcid":null},"institutions":[{"id":"https://openalex.org/I170733385","display_name":"University of Applied Science and Technology","ror":"https://ror.org/04r58gt57","country_code":"IR","type":"education","lineage":["https://openalex.org/I170733385"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Zahra Rahmani Zadeh","raw_affiliation_strings":["Department of Software Engineering, University of Applied Sciences and Technology (UAST), Arak, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, University of Applied Sciences and Technology (UAST), Arak, Iran","institution_ids":["https://openalex.org/I170733385"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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":1.0957,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.86337662,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"11","issue":null,"first_page":"75748","last_page":"75760"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.64222651720047},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.5382786393165588},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5099107027053833},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4963398575782776},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4621959328651428},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.45887935161590576},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.45149585604667664},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4439970850944519},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.4422307014465332},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4297885596752167},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26535719633102417},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23711779713630676},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.13209927082061768}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.64222651720047},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.5382786393165588},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5099107027053833},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4963398575782776},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4621959328651428},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.45887935161590576},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.45149585604667664},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4439970850944519},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.4422307014465332},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4297885596752167},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26535719633102417},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23711779713630676},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.13209927082061768},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3291412","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3291412","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10171351.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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:c40eb7140f364ab4bfdfb4f43f390b19","is_oa":true,"landing_page_url":"https://doaj.org/article/c40eb7140f364ab4bfdfb4f43f390b19","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 75748-75760 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3291412","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3291412","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10171351.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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7900000214576721}],"awards":[{"id":"https://openalex.org/G3190877869","display_name":null,"funder_award_id":"GP/2020/9693400","funder_id":"https://openalex.org/F4320322714","funder_display_name":"Universiti Putra Malaysia"}],"funders":[{"id":"https://openalex.org/F4320322714","display_name":"Universiti Putra Malaysia","ror":"https://ror.org/02e91jd64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4382998699.pdf","grobid_xml":"https://content.openalex.org/works/W4382998699.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W117122404","https://openalex.org/W195082763","https://openalex.org/W1565059069","https://openalex.org/W1582842717","https://openalex.org/W1855354778","https://openalex.org/W1978660636","https://openalex.org/W2003442449","https://openalex.org/W2004029800","https://openalex.org/W2024495265","https://openalex.org/W2121963185","https://openalex.org/W2131966463","https://openalex.org/W2143560894","https://openalex.org/W2337802260","https://openalex.org/W2512379863","https://openalex.org/W2621271952","https://openalex.org/W2758792969","https://openalex.org/W2786360878","https://openalex.org/W2903353617","https://openalex.org/W2907134375","https://openalex.org/W2916997366","https://openalex.org/W2922501952","https://openalex.org/W2954171600","https://openalex.org/W2963762038","https://openalex.org/W2973405785","https://openalex.org/W2994099862","https://openalex.org/W3002091233","https://openalex.org/W3037724080","https://openalex.org/W3091457569","https://openalex.org/W3093575891","https://openalex.org/W3136712463","https://openalex.org/W3172134166","https://openalex.org/W3188410362","https://openalex.org/W3213279156","https://openalex.org/W4205177566","https://openalex.org/W4212769704","https://openalex.org/W4220667195","https://openalex.org/W4231640108","https://openalex.org/W4241678307","https://openalex.org/W4254030842","https://openalex.org/W4285805398","https://openalex.org/W4292745327","https://openalex.org/W4292836344","https://openalex.org/W4310673808","https://openalex.org/W4312253468","https://openalex.org/W6728761909","https://openalex.org/W6771644057","https://openalex.org/W6772510457","https://openalex.org/W6797627605"],"related_works":["https://openalex.org/W397120980","https://openalex.org/W1528537929","https://openalex.org/W3021060317","https://openalex.org/W2971368204","https://openalex.org/W2074817166","https://openalex.org/W2140937809","https://openalex.org/W4299824111","https://openalex.org/W2368915530","https://openalex.org/W2755303584","https://openalex.org/W2502647262"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"an":[3],"incremental":[4],"optimization":[5],"framework":[6,38],"for":[7,143],"verifying":[8,229],"graph":[9],"transformation":[10],"systems":[11],"to":[12,21,43,70,113,125],"overcome":[13],"the":[14,22,26,40,50,65,74,107,119,122,130,153,160,173],"state":[15,51,75,231,235],"space":[16,236],"explosion":[17,237],"(SSE).":[18],"SSE":[19,93],"refers":[20],"exponential":[23],"growth":[24],"of":[25,28,80,86,110,116,129,162,186,211,220],"number":[27],"possible":[29],"states":[30,81],"in":[31,60,89,118,152,165,184,209,228,238],"a":[32,44,83,114,139,239],"system":[33],"during":[34],"its":[35,226],"verification.":[36],"The":[37,53,192],"maps":[39],"verification":[41],"problem":[42,46],"search":[45,72,131],"and":[47,94,155,159,177,189,201,214,222],"incrementally":[48],"generates":[49],"space.":[52,76,132],"generated":[54],"increments":[55],"can":[56],"still":[57],"be":[58],"significant":[59],"size,":[61],"thus":[62],"we":[63,137,207],"use":[64],"Raccoon":[66],"Optimization":[67],"Algorithm":[68],"(ROA),":[69],"non-exhaustively":[71],"through":[73],"ROA":[77,111,147,200],"selects":[78],"sequences":[79],"with":[82,179,217],"higher":[84],"potential":[85],"having":[87],"deadlock":[88],"increments,":[90],"which":[91,149],"prevents":[92],"ensures":[95],"that":[96,106,196,206],"memory":[97,190,215],"capacity":[98],"is":[99,104,170],"not":[100],"exceeded.":[101],"However,":[102],"there":[103],"possibility":[105],"migration":[108,141],"method":[109,142],"lead":[112],"loss":[115],"diversity":[117,151],"population,":[120],"reducing":[121],"algorithm\u2019s":[123],"ability":[124],"explore":[126],"new":[127,140],"regions":[128],"To":[133],"address":[134],"this":[135],"issue,":[136],"propose":[138],"ROA,":[144],"called":[145],"Improved":[146],"(IROA),":[148],"preserves":[150],"population":[154],"reduces":[156],"execution":[157],"time":[158,188,213],"risk":[161],"getting":[163],"stuck":[164],"local":[166],"optima.":[167],"Our":[168],"approach":[169],"evaluated":[171],"using":[172],"Groove":[174],"simulation":[175],"tool":[176],"compared":[178,208],"other":[180,202],"relevant":[181,203],"meta-heuristic":[182,204],"algorithms":[183,205],"terms":[185,210],"computation":[187,212],"consumption.":[191],"experimental":[193],"results":[194],"show":[195],"IROA":[197],"outperforms":[198],"both":[199],"consumption,":[216],"total":[218],"efficiency":[219],"1.043":[221],"1.02,":[223],"respectively,":[224],"demonstrating":[225],"effectiveness":[227],"massive":[230],"spaces":[232],"without":[233],"facing":[234],"reasonable":[240],"time.":[241]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}