{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T05:00:56Z","timestamp":1773032456676,"version":"3.50.1"},"reference-count":35,"publisher":"Wiley","issue":"12","license":[{"start":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T00:00:00Z","timestamp":1758153600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"},{"start":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T00:00:00Z","timestamp":1758153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>ABSTRACT<\/jats:title>\n                  <jats:p>Quantum computing presents significant challenges for software engineers transitioning from classical to quantum paradigms. Traditional software engineering focuses on Boolean logic and procedural programming, while quantum computing requires understanding complex quantum mechanical principles such as quantum operations, superposition, and entanglement. This paper presents a metamodel\u2010based approach for formalizing the core principles of quantum gates, providing an accessible abstraction for software engineers. The metamodel captures two fundamental principles in quantum operations: The Euler decomposition principle for single\u2010qubit gates and the universality principle of multi\u2010qubit gates. It also represents quantum operation properties such as unitarity, linearity, reversibility, normality, and inner product preservation. The metamodel is validated through its instance models and their implementations in Qiskit, demonstrating both theoretical correctness and practical applicability. The evaluation focuses on the application of quantum gate principles through instance models of the metamodel for critical and complex gates like the Hadamard gate and the Toffoli gate, showing how they can be decomposed based on the Euler decomposition and universality principles while preserving quantum operation properties. This work provides a foundation for systematic quantum software development tools that bridge the gap between classical software engineering practices and quantum computing principles.<\/jats:p>","DOI":"10.1002\/spe.70023","type":"journal-article","created":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T08:27:04Z","timestamp":1758184024000},"page":"2024-2038","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Metamodel\u2010Based Approach for Describing Quantum Gates"],"prefix":"10.1002","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7133-9111","authenticated-orcid":false,"given":"Dae\u2010Kyoo","family":"Kim","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering Oakland University  Rochester Michigan USA"}]}],"member":"311","published-online":{"date-parts":[[2025,9,18]]},"reference":[{"key":"e_1_2_12_2_1","unstructured":"Qiskit Development Team \u201cQiskit: An Open\u2010source Framework for Quantum Computing \u201d(2021) https:\/\/www.ibm.com\/quantum\/qiskit."},{"key":"e_1_2_12_3_1","unstructured":"T. C. Developers Cirq Quantum AI Google \u201cOpen Source Software for Developing and Simulating Quantum Circuits \u201d(2023) https:\/\/quantumai.google\/cirq."},{"key":"e_1_2_12_4_1","unstructured":"R. Computing \u201cpyQuil Rigetti Computing \u201d(2023) https:\/\/pyquil\u2010docs.rigetti.com. Open Source Quantum Programming Library to Build Simulate and Execute Quantum Programs With Quil."},{"key":"e_1_2_12_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSW55613.2022.00019"},{"key":"e_1_2_12_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512340"},{"key":"e_1_2_12_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3402127.3402131"},{"key":"e_1_2_12_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3639478.3643059"},{"key":"e_1_2_12_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER-C62648.2024.00027"},{"key":"e_1_2_12_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_2_12_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_2_12_12_1","volume-title":"Proceedings of the 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution, Co\u2010located with: ESEC\/FSE","author":"Sabzevari M. T.","year":"2024"},{"key":"e_1_2_12_13_1","doi-asserted-by":"publisher","DOI":"10.3390\/app132111794"},{"key":"e_1_2_12_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3426"},{"key":"e_1_2_12_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3331"},{"key":"e_1_2_12_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3064"},{"key":"e_1_2_12_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSW59989.2023.00012"},{"key":"e_1_2_12_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-024-00434-z"},{"key":"e_1_2_12_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_4"},{"key":"e_1_2_12_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/app11135843"},{"key":"e_1_2_12_21_1","first-page":"63","volume-title":"Proceedings 2020 IEEE International Conference on Quantum Computing and Engineering (QCE)","author":"Thompson N.","year":"2020"},{"key":"e_1_2_12_22_1","doi-asserted-by":"publisher","DOI":"10.36561\/ING.27.19"},{"key":"e_1_2_12_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231152"},{"key":"e_1_2_12_24_1","first-page":"452","volume-title":"Proceedings 27th Annual International Computer Software and Applications Conference","author":"Kim D.\u2010K.","year":"2003"},{"key":"e_1_2_12_25_1","first-page":"1","volume-title":"Proceedings of the 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT)","author":"Kim D.\u2010K.","year":"2013"},{"key":"e_1_2_12_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRD.2013.2278848"},{"key":"e_1_2_12_27_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11860.001.0001"},{"key":"e_1_2_12_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-025-07047-7"},{"key":"e_1_2_12_29_1","volume-title":"How to Measure and Reset a Qubit in the Middle of a Circuit Execution","author":"Nation P.","year":"2021"},{"key":"e_1_2_12_30_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_2_12_31_1","doi-asserted-by":"publisher","DOI":"10.1038\/srep45353"},{"key":"e_1_2_12_32_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.87.167902"},{"key":"e_1_2_12_33_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"e_1_2_12_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_2_12_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.10380"},{"key":"e_1_2_12_36_1","doi-asserted-by":"publisher","DOI":"10.3390\/math13010090"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.70023","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/spe.70023","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.70023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T04:09:12Z","timestamp":1773029352000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.70023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,18]]},"references-count":35,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["10.1002\/spe.70023"],"URL":"https:\/\/doi.org\/10.1002\/spe.70023","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,18]]},"assertion":[{"value":"2025-01-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-07","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-18","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}