A Graph-Based Approach for Modelling Quantum Circuits

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...

Full description

Saved in:
Bibliographic Details
Published inApplied sciences Vol. 13; no. 21; p. 11794
Main Authors Alonso, Diego, Sánchez, Pedro, Álvarez, Bárbara
Format Journal Article
LanguageEnglish
Published Basel MDPI AG 01.11.2023
Subjects
Algorithms
Artificial intelligence
Circuits
Computer engineering
Computers
Integrated circuits
Language
metamodel
model-driven engineering
modelling language
Quantum computing
Quantum physics
quantum software
Semiconductor chips
Software development
Software engineering
unitary circuit model
Canada
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2076-3417
2076-3417
DOI:10.3390/app132111794