Computing

Design of classical-quantum systems with UML

Ricardo Pérez‐Castillo, Mario G. Piattini

Published May 31, 2022• 40 citations

Abstract

Abstract Developers of the many promising quantum computing applications that currently exist are urging companies in many different sectors seriously consider integrating this new technology into their business. For these applications to function, not only are quantum computers required, but quantum software also. Accordingly, quantum software engineering has become an important research field, in that it attempts to apply or adapt existing methods and techniques (or propose new ones) for the analysis, design, coding, and testing of quantum software, as well as playing a key role in ensuring quality in large-scale productions. The design of quantum software nevertheless poses two main challenges: the modelling of software quantum elements must be done in high-level modelling languages; and the need to further develop so-called “hybrid information systems”, which combine quantum and classical software. To address these challenges, we first propose a quantum UML profile for analysing and designing hybrid information systems; we then demonstrate its applicability through various structural and behavioural diagrams such as use case, class, sequence, activity, and deployment. In comparison to certain other quantum domain-specific languages, this UML profile ensures compliance with a well-known international standard that is supported by many tools and is followed by an extensive community.

DOI: 10.1007/s00607-022-01091-4

Related papers

Modelling Quantum Circuits with UML

Ricardo Pérez‐Castillo, Luis Jiménez-Navajas, Mario G. Piattini

None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are, therefore, now demanding more systematic techniques and methods with which to produce software with sufficient quality. One of the challenges and lessons learned from classic software engineering is the need for high-level, abstract and technology-independent representations with which to design software before it is coded. This paper specifically addresses this challenge for quantum software design. Since UML is a well-proven modelling language that has been widely employed by industry for some time, we propose a UML extension for the representation of quantum algorithms. Our proposal comprises the definition of a UML profile based on various stereotypes that can be applied to the existing UML activity diagrams in order to represent quantum circuits. The advantage of this representation is that UML quantum circuits can be interrelated with other UML elements and diagrams, which will make it possible to represent various concerns and viewpoints of the so-called hybrid information systems. This will consequently enable classical and quantum aspects to be modelled together in integrated designs in a technological-agnostic manner that is already supported by a considerable number of existing software design tools.

arXiv:2103.16169IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE)Jun 1, 202136 citations

Transforming Quantum Programmes in KDM to Quantum Design Models in UML

Luis Jiménez-Navajas, Ricardo Pérez‐Castillo, Mario G. Piattini

Quantum computing has come to stay in our lives. Companies are investing billions of dollars in it because of the potential benefits that it can achieve, providing promising applications in almost every business sector. Although quantum computing is evolving at an exponential rate, the development of tools, techniques, or frameworks for the evolution of current information systems towards quantum software systems is still proving to be a challenge. This research contributes to the evolution of current information systems towards hybrid information systems (combining the classical and quantum computing paradigm). We propose a software modernization process, by following model-driven engineering principles, adapted to the quantum paradigm, based on modified versions of standards for reverse engineering of classical, quantum software assets, and for the design of the target system. In particular, this paper focuses on the restructuring transformation from KDM to UML models, where KDM models have been generated from Q# code. This proposal has been validated through a case study involving 17 programmes. The results obtained show optimistic values regarding the complexity of the UML models generated, their expressiveness and scalability. The main implication of this research is that UML models can indeed help the software evolution of/toward hybrid information systems.

InformaticaJan 1, 20250 citations

Generation of Classical-Quantum Code from UML models

Ricardo Pérez‐Castillo, Luis Jiménez-Navajas, Iván Ruiz Cantalejo +1 more

Quantum computing has gained a lot of interest in recent years, thanks to its ability to solve certain problems that classical computing cannot address. These applications will only be achieved through the development of quantum software. Thus, many organizations are starting projects to integrate this new software into their existing systems. Software modernization (as based on Model-Driven Engineering) can be used to migrate from/to the so-called hybrid software systems, which integrate classical and quantum software. In that process, reverse engineering and restructuring phases have already been addressed, but the forward engineering phase for hybrid software has not yet been addressed. This paper presents a preliminary code generation technique from extended UML design models. It proposes an EGL transformation to generate Python and Qiskit code by integrating classical and quantum code. The transformation has been preliminarily validated with an example of application with the design model of a hybrid system for a financial web application. The implication of this work is that the software modernization process for hybrid software systems is completed, which facilitates the adoption of this new paradigm in the industry.

IEEE International Conference on Quantum Computing and Engineering (QCE)Sep 17, 202311 citations

UML-based Modeling of Quantum Machine Learning Systems: A Software Engineering Approach

Kartik Sharma, VidhyaLakshmi. M, Kumaran K +1 more

Quantum Machine learning (QML) is the combination of computational power of quantum computing and machine learning, which forms a highly complex system design. The hybrid nature of quantum-classical interaction as well as hardware-specific constraints in the field of quantum computing, poses unique challenges in understanding and designing quantum machine learning systems. This Study presents a structured approach in designing and modeling quantum machine learning systems using widely used software engineering practices by utilizing the Unified Modeling Language (UML) diagrams. Different UML diagrams, including use case diagram, sequence diagram, and Class diagram, are incorporated in this study to capture essential components and workflows in the quantum machine learning system and their applications. A requirement engineering lifecycle diagram is also included in this study to incorporate and understand how software engineering practices are applied to quantum computing. Through various UML diagrams, this study aims to illustrate how these models enhance modularity and development planning. To ground the modeling approach, a disease prediction system is utilized as a demonstrative example in all the modelling diagrams. This work aims to provide a foundational framework that can help and assist researchers and developers to design, communicate, and evolve quantum machine learning systems effectively and with a better and clearer vision.

International Conference on Innovative Mechanisms for Industry ApplicationsSep 3, 20250 citations

Code generation for classical-quantum software systems modeled in UML

Luis Jiménez-Navajas, Ricardo Pérez‐Castillo, Mario G. Piattini

Abstract Quantum computing is gaining an increasing interest since it can solve certain problems exponentially faster than classical computing. Thus, many organizations are researching and launching investments for integrating quantum software into their existing systems. Software modernization (as based on Model-Driven Engineering) has been proposed to migrate from/to the so-called hybrid software systems, which integrate classical and quantum software. In that process, both, reverse engineering and restructuring phases, have already been investigated. However, forward engineering phase for generating hybrid source code from high-level design models has not yet been addressed. Thus, this research proposes a quantum code generation technique from extended UML design models. It consists of a set of Model-to-Text transformations (defined through Epsilon Generation Language) to generate both Python and Qiskit code, which, respectively, integrate classical and quantum code. The transformation has been validated through a multi-case study with 7 hybrid software systems modeled in UML, which demonstrated that the transformation is effective and efficient. The implication of this work is that the software modernization process for hybrid software systems can be completed by tackling forward engineering phase, and that Model-Driven Engineering can therefore globally facilitate industry adoption of quantum software.

Software & Systems ModelingJan 16, 20254 citations

Patterns for Quantum Software Engineering

Michał Bączyk, Ricardo Pérez‐Castillo, Mario G. Piattini

As quantum computing continues to advance, the development of reliable and scalable quantum software systems becomes increasingly crucial. However, designing and implementing hybrid (quantum-classical) software systems poses unique challenges that require novel approaches and best practices. This position paper argues for the importance of developing architectural and design patterns specific to Quantum Software Engineering (QSE). We provide an overview of existing quantum software design patterns (more focused on low-level, programming details) and highlight the lack of patterns addressing hybrid software systems and architectural patterns. We discuss the key challenges that architectural patterns should address, including quantum-classical integration, maintainability, efficiency, and security. We also discuss the implications for practitioners, providing guidance on how to think high-level about hybrid software development process. Finally, we outline future research directions and emphasize the need for collaboration between the quantum computing and software engineering communities to establish a comprehensive high-level patterns framework for QSE.

Jun 19, 20244 citations