{"id":"https://openalex.org/W4411429966","doi":"https://doi.org/10.32604/cmc.2025.066190","title":"A Metamodeling Approach to Enforcing the No-Cloning Theorem in Quantum Software Engineering","display_name":"A Metamodeling Approach to Enforcing the No-Cloning Theorem in Quantum Software Engineering","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4411429966","doi":"https://doi.org/10.32604/cmc.2025.066190"},"language":"en","primary_location":{"id":"doi:10.32604/cmc.2025.066190","is_oa":true,"landing_page_url":"https://doi.org/10.32604/cmc.2025.066190","pdf_url":null,"source":{"id":"https://openalex.org/S4210191605","display_name":"Computers, materials & continua/Computers, materials & continua (Print)","issn_l":"1546-2218","issn":["1546-2218","1546-2226"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers, Materials & Continua","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.32604/cmc.2025.066190","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008335284","display_name":"Dae\u2010Kyoo Kim","orcid":"https://orcid.org/0000-0002-7133-9111"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dae-Kyoo Kim","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008335284"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07520618,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"84","issue":"2","first_page":"2549","last_page":"2572"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9480999708175659,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9480999708175659,"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"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9431999921798706,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9229999780654907,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.8667681813240051},{"id":"https://openalex.org/keywords/cloning","display_name":"Cloning (programming)","score":0.592418372631073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5054020881652832},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4729599356651306},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4727875888347626},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4503733217716217},{"id":"https://openalex.org/keywords/quantum-cloning","display_name":"Quantum cloning","score":0.4270179867744446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3544291853904724},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34179121255874634},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33087438344955444},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27989307045936584},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.23221200704574585},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.19025829434394836},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.18217048048973083},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1740063726902008},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.11417606472969055}],"concepts":[{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.8667681813240051},{"id":"https://openalex.org/C121050878","wikidata":"https://www.wikidata.org/wiki/Q5135020","display_name":"Cloning (programming)","level":2,"score":0.592418372631073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5054020881652832},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4729599356651306},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4727875888347626},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4503733217716217},{"id":"https://openalex.org/C2776887110","wikidata":"https://www.wikidata.org/wiki/Q7269018","display_name":"Quantum cloning","level":5,"score":0.4270179867744446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3544291853904724},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34179121255874634},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33087438344955444},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27989307045936584},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.23221200704574585},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.19025829434394836},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.18217048048973083},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1740063726902008},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.11417606472969055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.32604/cmc.2025.066190","is_oa":true,"landing_page_url":"https://doi.org/10.32604/cmc.2025.066190","pdf_url":null,"source":{"id":"https://openalex.org/S4210191605","display_name":"Computers, materials & continua/Computers, materials & continua (Print)","issn_l":"1546-2218","issn":["1546-2218","1546-2226"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers, Materials & Continua","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.32604/cmc.2025.066190","is_oa":true,"landing_page_url":"https://doi.org/10.32604/cmc.2025.066190","pdf_url":null,"source":{"id":"https://openalex.org/S4210191605","display_name":"Computers, materials & continua/Computers, materials & continua (Print)","issn_l":"1546-2218","issn":["1546-2218","1546-2226"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers, Materials & Continua","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2138203529","https://openalex.org/W3173149466","https://openalex.org/W4200288893","https://openalex.org/W4220897631","https://openalex.org/W4281827486","https://openalex.org/W4388098179","https://openalex.org/W4405352483"],"related_works":["https://openalex.org/W1993461124","https://openalex.org/W2310510976","https://openalex.org/W2003694878","https://openalex.org/W1987749534","https://openalex.org/W2112723541","https://openalex.org/W1985540967","https://openalex.org/W2007937610","https://openalex.org/W4301381449","https://openalex.org/W2951568242","https://openalex.org/W2033967965"],"abstract_inverted_index":{"Quantum":[0],"software":[1,70,116,251,275,302],"development":[2,297],"utilizes":[3],"quantum":[4,27,40,55,88,115,123,135,154,250,262,279,288,301],"phenomena":[5],"such":[6,60],"as":[7,125,173,189],"superposition":[8],"and":[9,42,50,85,100,101,109,127,153,197,294],"entanglement":[10,126],"to":[11,25,81,106,205,216,232,248,277],"address":[12,278],"problems":[13],"that":[14,132,162,169,192,202,272],"are":[15,170,180,214],"challenging":[16],"for":[17,46,66],"classical":[18],"systems.":[19,303],"However,":[20],"it":[21],"must":[22],"also":[23,238],"adhere":[24],"critical":[26,146],"constraints,":[28,61],"notably":[29],"the":[30,35,76,83,111,163,176,194,207,256,291,296],"no-cloning":[31,112,177,208],"theorem,":[32],"which":[33],"prohibits":[34],"exact":[36],"duplication":[37],"of":[38,87,175,225,258,298],"unknown":[39],"states":[41],"has":[43],"profound":[44],"implications":[45],"cryptography,":[47],"secure":[48],"communication,":[49],"error":[51],"correction.":[52],"While":[53],"existing":[54],"circuit":[56],"representations":[57],"implicitly":[58],"honor":[59],"they":[62],"lack":[63],"formal":[64,94,184],"mechanisms":[65],"early-stage":[67],"verification":[68],"in":[69,199],"design.":[71],"Addressing":[72],"this":[73,265],"constraint":[74],"at":[75,290],"design":[77,227],"phase":[78],"is":[79,141,237],"essential":[80],"ensure":[82],"correctness":[84,198,230,289],"reliability":[86],"software.":[89],"This":[90],"paper":[91],"presents":[92],"a":[93,268],"metamodeling":[95,259],"framework":[96],"using":[97],"UML-style":[98],"notation":[99],"Object":[102],"Constraint":[103],"Language":[104],"(OCL)":[105],"systematically":[107],"capture":[108,166],"enforce":[110],"theorem":[113,178,209],"within":[114],"models.":[117],"The":[118,138,220,234],"proposed":[119],"metamodel":[120,164],"formalizes":[121],"key":[122],"concepts\u2014such":[124],"teleportation\u2014and":[128],"encodes":[129],"enforceable":[130],"invariants":[131],"reflect":[133],"core":[134],"mechanical":[136,263],"laws.":[137],"framework\u2019s":[139,235],"effectiveness":[140],"validated":[142],"by":[143,240],"analyzing":[144],"two":[145],"edge":[147],"cases\u2014conditional":[148],"copying":[149],"with":[150,218,260],"CNOT":[151],"gates":[152],"teleportation\u2014through":[155],"instance":[156],"model":[157],"evaluations.":[158],"These":[159],"cases":[160],"demonstrate":[161,193],"can":[165],"nuanced":[167],"scenarios":[168],"often":[171],"mistaken":[172],"violations":[174],"but":[179],"proven":[181],"compliant":[182],"under":[183],"analysis.":[185],"Thus,":[186],"these":[187],"serve":[188],"constructive":[190],"validations":[191],"metamodel\u2019s":[195],"expressiveness":[196],"representing":[200],"operations":[201],"may":[203],"appear":[204],"challenge":[206],"but,":[210],"upon":[211],"rigorous":[212],"analysis,":[213],"shown":[215],"comply":[217],"it.":[219],"approach":[221,271],"supports":[222],"early":[223],"detection":[224],"conceptual":[226],"errors,":[228],"promoting":[229],"prior":[231],"implementation.":[233],"extensibility":[236],"demonstrated":[239],"modeling":[241,292],"projective":[242],"measurement,":[243],"further":[244],"reinforcing":[245],"its":[246],"applicability":[247],"broader":[249],"engineering":[252],"tasks.":[253],"By":[254],"integrating":[255],"rigor":[257],"fundamental":[261],"principles,":[264],"work":[266],"provides":[267],"structured,":[269],"model-driven":[270],"enables":[273],"traditional":[274],"engineers":[276],"computing":[280],"challenges.":[281],"It":[282],"offers":[283],"practical":[284],"insights":[285],"into":[286],"embedding":[287],"level":[293],"advances":[295],"reliable,":[299],"error-resilient":[300]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}