Modelling Quantum Software: An Annotated Bibliography

Luis Mariano Bibbo; Alejandro Fernandez; José Manuel Suarez; Oscar Pastor

doi:10.36561/ING.27.19

Autores

Luis Mariano Bibbo Universidad Nacional de La Plata, Argentina https://orcid.org/0000-0003-4950-3605
Alejandro Fernandez Universidad Nacional de La Plata, Argentina https://orcid.org/0000-0002-7968-6871
José Manuel Suarez Universidad Nacional de La Plata, Argentina https://orcid.org/0009-0001-1115-6225
Oscar Pastor Universitat Politècnica de València, España https://orcid.org/0000-0002-1320-8471

DOI:

https://doi.org/10.36561/ING.27.19

Palavras-chave:

Engenharia de Software Quântico, Computação Quântica, Modelagem Quântica, Design Quântico

Resumo

Esta bibliografia anotada se aprofunda no campo da computação quântica, focando especificamente nos recursos usados ao longo do ciclo de vida do software. Ela examina vários trabalhos publicados que analisam a modelagem quântica de software no contexto das várias fases do ciclo de vida, desde análise/requisitos até testes e manutenção. Cada anotação fornece uma análise dos recursos de engenharia de software aplicáveis ao desenvolvimento de software quântico e sua aplicabilidade a diferentes fases do processo de desenvolvimento de software. Ao sintetizar essas diversas perspectivas, esta bibliografia ilumina o cenário em evolução do desenvolvimento de software quântico e ressalta o papel crítico da modelagem no contexto da engenharia de software. O resultado fornece um ponto de partida valioso para pesquisadores e profissionais que desejam aprofundar a interação entre computação quântica e engenharia de software, promovendo inovação e avanços neste campo em evolução.

Downloads

Não há dados estatísticos.

Referências

B. Boehm W., “Software Engineering,” IEEE Transactions on Computers, vol. C-25, pp. 1226–1241, 12 1976.

W. F. Bauer and A. M. Rosenberg, “Software,” in Proceedings of the December 5-7, 1972, fall joint computer conference, part II on - AFIPS ’72 (Fall, part II), (New York, New York, USA), p. 993, ACM Press, 1972.

A. G. Kleppe, J. B. Warmer, and W. Bast, MDA explained : the model driven architecture : practice and promise. Addison-Wesley, 2003.

S. J. Mellor, MDA distilled : principles of model-driven architecture. Addison-Wesley, 2004.

O. Pastor and J. C. Molina, “Model-driven architecture in practice: A software production environment based on conceptual modeling,” Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling, pp. 1–302, 2007.

M. A. Nielsen and I. L. Chuang, “Quantum Computation and Quantum Information 10th Anniversary Edition,” Cambridge University Press, 2010.

E. Rieffel and W. Polak, “Quantum computing : a gentle introduction,” p. 372, 2011.

M. J. Everitt, M. J. C. Henshaw, and V. M. Dwyer, “Quantum Systems Engineering: A structured approach to accelerating the development of a quantum technology industry,” in International Conference on Transparent Optical Networks, vol. 2016-August, 2016.

S. P. Wang and E. Sakk, “Quantum algorithms: Overviews, foundations, and speedups,” 2021 IEEE 5th International Conference on Cryptography, Security and Privacy, CSP 2021, pp. 17–21, 1 2021.

M. Piattini, G. Peterssen, R. Perez-Castillo, J. L. Hevia, M. A. Serrano, G. Hernandez, I. G. R. de Guzm´ an, C. A. Paradela, M. Polo, E. Murina,´ L. Jimenez, J. C. Marque´ no, R. Gallego, J. Tura, F. Phillipson, J. M.˜ Murillo, A. Nino, and M. Rodr˜ ´ıguez, “The Talavera manifesto for quantum software engineering and programming,” in CEUR Workshop Proceedings, vol. 2561, 2020.

B. Kitchenham and O. Brereton, “Systematic literature reviews in software engineering–a systematic literature review,” Elsevier, 2009.

C. Pons, R. S. Giandini, and G. Perez,´ Desarrollo de software dirigido por modelos. Editorial de la Universidad Nacional de La Plata (EDULP) / McGraw-Hill Educacion, 2010.´

F. Leymann, “Towards a Pattern Language for Quantum Algorithms,” 6 2019.

C. A. Perez-Delgado and H. G. Perez-Gonzalez, “Towards a Quantum´ Software Modeling Language,” Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, pp. 442–444, 6 2020.

R. Perez-Castillo and M. Piattini, “Design of classical-quantum systems´ with UML,” Computing, vol. 104, pp. 2375–2403, 11 2022.

M. A. Serrano, R. Perez-Castillo, and M. Piattini,´ Quantum Software Engineering. 2022.

L. S. Barbosa, “Software engineering for ’quantum advantage’,” Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, vol. 3, pp. 427–429, 6 2020.

L. Nallamothula, “Selection of quantum computing architecture using a decision tree approach,” Proceedings of the 3rd International Conference on Intelligent Sustainable Systems, ICISS 2020, pp. 644–649, 12 2020.

B. Weder, U. Breitenbucher, F. Leymann, and K. Wild, “Integrating quantum computing into workflow modeling and execution,” Proceedings - 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing, UCC 2020, pp. 279–291, 12 2020.

S. Ali and T. Yue, “Modeling Quantum programs: Challenges, initial results, and research directions,” APEQS 2020 - Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, Co-located with ESEC/FSE 2020, pp. 14–21, 11 2020.

F. Gemeinhardt, A. Garmendia, and M. Wimmer, “Towards ModelDriven Quantum Software Engineering,” in Proceedings - 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering, Q-SE 2021, 2021.

F. Gemeinhardt, A. Garmend´ıa, M. Wimmer, and R. Wille, “A ModelDriven Framework for Composition-Based Quantum Circuit Design,”

I. Exman and A. T. Shmilovich, “Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design,” Proceedings - 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering, Q-SE 2021, pp. 1–6, 3 2021.

A. A. Khan, A. Ahmad, M. Waseem, P. Liang, M. Fahmideh, T. Mikkonen, and P. Abrahamsson, “Software Architecture for Quantum Computing Systems – A Systematic Review,” Journal of Systems and Software, vol. 201, 2 2022.

F. Gemeinhardt, M. Eisenberg, S. Klikovits, and M. Wimmer, “ModelDriven Optimization for Quantum Program Synthesis with MOMoT,” in Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023, 2023.

D. Alonso, P. Sanchez, and B.´ Alvarez, “A Graph-Based Approach for´ Modelling Quantum Circuits,” Applied Sciences 2023, Vol. 13, Page 11794, vol. 13, p. 11794, 10 2023.

R. Juarez-Ram´ ´ırez, C. X. Navarro, S. Jimenez, A. Ramırez, V. TapiaIbarra, C. Guerra-Garc´ıa, H. G. Perez-Gonzalez, and C. Fernandez-y´ Fernandez, “A Taxonomic View of the Fundamental Concepts of Quan-´ tum Computing–A Software Engineering Perspective,” Programming and Computer Software, vol. 49, pp. 682–704, 12 2023.

J. Luo and J. Zhao, “Formalization of Quantum Intermediate Representations for Code Safety,” 2023.

T. Jin and J. Zhao, “ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold,” in Proceedings - 2023 IEEE International Conference on Quantum Software, QSW 2023, 2023.

Y. Peng, J. Young, P. Liu, and X. Wu, “SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation,” Proceedings of the ACM on Programming Languages, vol. 8, 2024.

M. Bandic, H. Zarein, E. Alarcon, and C. G. Almudever, “On Structured Design Space Exploration for Mapping of Quantum Algorithms,” 2020 35th Conference on Design of Circuits and Integrated Systems, DCIS 2020, 11 2020.

X. Zhou, S. Li, and Y. Feng, “Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, pp. 4683–4694, 8 2019.

D. Wecker and K. M. Svore, “LIQUi—¿: A Software Design Architecture and Domain-Specific Language for Quantum Computing,” 2 2014.

C. A. Perez-Delgado, “A quantum software modeling language,”´ Quantum Software Engineering, pp. 103–119, 10 2022.