TY - JOUR 
A1 - Alonso Cáceres, Diego
AU - Sánchez Palma, Pedro
AU - Álvarez Torres, María Bárbara
T1 - A graph-based approach for modelling quantum circuits
Y1 - 2023
SN - 2076-3417
UR - http://hdl.handle.net/10317/12994
AB - A crucial task for the systematic application of model-driven engineering techniques in the development of quantum software is the definition of metamodels, as a first step towards automatic code generation and integration with other tools. The importance is even greater when considering recent work where the first extensions to UML for modelling quantum circuits are emerging and the characterisation of these extensions in terms of their suitability for a model-driven approach becomes unavoidable. After reviewing the related work, this article proposes a unified metamodel for modelling quantum circuits, together with five strategies for its use and some examples of its application. The article also provides a set of constraints for using the identified strategies, a set of procedures for transforming the models between the strategies, and an analysis of the suitability of each strategy for performing common tasks in a model-driven quantum software development environment. All of these resources will enable the quantum software community to speak the same language and use the same set of abstractions, which are key to furthering the development of tools to be built as part of future model-driven quantum software development frameworks.
KW - Lenguajes y Sistemas Informáticos
KW - modelling language
KW - metamodel
KW - quantum computing
KW - model-driven engineering
KW - unitary circuit model
KW - quantum software
KW - 3325 Tecnología de las Telecomunicaciones
LA - eng
PB - MDPI
ER -