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...
| Authors: | , , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2023 |
| Country: | España |
| Institution: | Universidad Politécnica de Cartagena(UPCT) |
| Repository: | Repositorio Digital UPCT |
| OAI Identifier: | oai:repositorio.upct.es:10317/12994 |
| Online Access: | http://hdl.handle.net/10317/12994 https://www.mdpi.com/2076-3417/13/21/11794 |
| Access Level: | Open access |
| Keyword: | modelling language metamodel quantum computing model-driven engineering unitary circuit model quantum software Lenguajes y Sistemas Informáticos 3325 Tecnología de las Telecomunicaciones |
| 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. |
|---|