Congresso Ibero-Americano em Engenharia de Software (CIbSE)
Quantum Services Engineering: development, quality, testing, and security (Q-SERV Project)
Enrique Moguel, José Manuel García-Alonso, Erik B. Terres-Escudero, Danel Arias, Pablo G. Bringas, Ana Díaz Muñoz, Moisés Rodríguez, Jesús Oviedo, Juan M. Murillo
The new and revolutionary quantum computation aims to advance in important fields such as AI, cybersecurity, and medicine. The development of this technology has encouraged several research centers and companies such as Amazon, IBM, Google or Microsoft to devote considerable efforts to the development of new technologies that bring quantum computing to the market. Currently, access to this technology is provided through the Infrastructure as a Service paradigm and with hybrid systems that combine classical and quantum computing. In order to create these systems, significant advances in serviceoriented quantum computing are required to enable developers to create and operate quantum services with the same level of quality and security as their classical counterparts. Therefore, the project presented in this paper is primarily aimed at providing techniques and methodologies for quantum software development by applying the lessons learned from classical software engineering.
The new and revolutionary quantum computation aims to advance in important fields such as AI, cybersecurity, and medicine. The development of this technology has encouraged several research centers and companies such as Amazon, IBM, Google or Microsoft to devote considerable efforts to the development of new technologies that bring quantum computing to the market. Currently, access to this technology is provided through the Infrastructure as a Service paradigm and with hybrid systems that combine classical and quantum computing. In order to create these systems, significant advances in serviceoriented quantum computing are required to enable developers to create and operate quantum services with the same level of quality and security as their classical counterparts. Therefore, the project presented in this paper is primarily aimed at providing techniques and methodologies for quantum software development by applying the lessons learned from classical software engineering.
Early advances in the field of quantum computing have provided new opportunities to tackle intricate problems in areas as diverse as mathematics, physics, or healthcare. However, the technology required to construct such systems where different pieces of quantum and classical software collaborate is currently lacking. For this reason, significant advancements in quantum service-oriented computing are necessary to enable developers to create and operate quantum services and microservices comparable to their classical counterparts. Therefore, the core objective of this work is to establish the necessary technological infrastructure that enables the application of the benefits and lessons learned from service-oriented computing to the domain of quantum software engineering. To this end, we propose a pipeline for the continuous deployment of services. Additionally, we have validated the proposal by making use of a modification of the OpenAPI specification, the GitHub Actions, and AWS.
This book is an analysis of quantum computing, covering everything from its foundational principles to practical applications in the development of quantum services. It offers a technical and complex overview to provide the necessary knowledge to any researcher, scientist or developer who wants to get into service-oriented quantum computing. The field of quantum computing has evolved rapidly in recent years, with the potential to revolutionize the way we approach complex problems in various fields. This comprehensive guide covers the fundamental principles of quantum computing and its practical applications in the development of quantum services. Beyond theoretical knowledge, the book goes on to explore some of the challenges that quantum software developers face in today’s landscape. It addresses issues related to low-level abstractions and the absence of integration, deployment and quality assurance mechanisms in quantum software engineering. Also, it explores the principles of service-oriented computing applied to quantum computing, revealing architectural patterns adapted to quantum computing and discussing standardization and accessibility in this field. It also provides insight into streamlining the deployment process through a DevOps approach for continuous deployment of quantum services. This book will serve as a guide for all researchers, scientists and developers by providing them with an understanding of the current limitations and problems in quantum computing-oriented software development, and how to address them with software engineering techniques and tools applied to quantum computing.
The quantum computing (QC) field is rapidly moving beyond the realm of pure science to become a commercially viable technology that may be able to overcome the drawbacks of traditional computing. Major technology tycoons have spent in building coding frameworks and hardware to create applications specifically designed for quantum computing over the last few years. The development of QC hardware is accelerating, however, the requirement for software-intensive methodology, approaches, procedures, instruments, roles and responsibilities for creating industrial-focused quantum software applications arises from operationalizing the QC. This paper outlines the concept of quantum software engineering (QSE) life cycle, which entails the engineering of quantum requirements, design, implementation, testing and maintenance of quantum software. This paper notably advocates for collaborative efforts between the industrial community and software engineering research to propose practical solutions to support the complete activities for the development of quantum software. The proposed vision makes it easier for researchers and practitioners to suggest new procedures, reference designs, cutting-edge equipment, and methods for utilizing quantum computers and creating the newest and most advanced quantum software.
Abstract Quantum computing represents a revolutionary computational paradigm with the potential to address challenges beyond classical computers’ capabilities. The development of robust quantum software is indispensable to unlock the full potential of quantum computing. Like classical software, quantum software is expected to be complex and extensive, needing the establishment of a specialized field known as Quantum Software Engineering. Recognizing the regional focus on Latin America within this special issue, we have boarded on an in-depth inquiry encompassing a systematic mapping study of existing literature and a comprehensive survey of experts in the field. This rigorous research effort aims to illuminate the current landscape of Quantum Software Engineering initiatives undertaken by universities, research institutes, and companies across Latin America. This exhaustive study aims to provide information on the progress, challenges, and opportunities in Quantum Software Engineering in the Latin American context. By promoting a more in-depth understanding of cutting-edge developments in this burgeoning field, our research aims to serve as a potential stimulus to initiate pioneering initiatives and encourage collaborative efforts among Latin American researchers.
Quantum systems have started to emerge as a disruptive technology and enabling platforms - exploiting the principles of quantum mechanics via programmable quantum bits (QuBits) - to achieve quantum supremacy in computing. Academic research, industrial projects (e.g., Amazon Braket, IBM Qiskit), and consortiums like 'Quantum Flagship' are striving to develop practically capable and commercially viable quantum computing (QC) systems and technologies. Quantum Computing as a Service (QCaaS) is viewed as a solution attuned to the philosophy of service-orientation that can offer QC resources and platforms, as utility computing, to individuals and organisations who do not own quantum computers. This research investigates a process-centric and architecture-driven approach to offer a software engineering perspective on enabling QCaaS - a.k.a quantum service-orientation. We employed a two-phase research method comprising (a) a systematic mapping study and (b) an architecture-based development, first to identify the phases of the quantum service development life cycle and subsequently to integrate these phases into a reference architecture that supports QCaaS. The SMS process retrieved a collection of potentially relevant research literature and based on a multi-step selection and qualitative assessment, we selected 41 peer-reviewed studies to answer three RQs. The RQs investigate (i) demographic details in terms of frequency, types, and trends of research, (ii) phases of quantum service development lifecycle to derive a reference architecture for conception, modeling, assembly, and deployment of services, and (iii) The results identify a 4-phased development lifecycle along with quantum significant requirements (QSRs), various modeling notations, catalogue of patterns, programming languages, and deployment platforms that can be integrated in a layered reference architecture to engineer QCaaS.
Abstract Quantum computing is advancing by leaps and bounds to become a commercial reality. This revolutionary new technology aims to improve essential areas such as cybersecurity, financial services, and medicine. The growth of this technology has encouraged different research centers and big companies such as IBM, Amazon, Microsoft, and Google to dedicate considerable efforts to the development of new technologies that bring quantum computing to the market. However, these technologies are not yet mature and create a major problem of vendor lock-in. Therefore, new techniques and tools are needed to facilitate access to this technology and to allow developers to increase the level of abstraction at which they work. In this chapter, we perform a technical comparison between different quantum computing service providers using a case study by performing empirical tests based on the Traveling Salesman Problem. This study highlights the differences between the major providers. To address these differences and reduce the vendor lock-in effect, we made three proposals: an extension of the Quantum API Gateway to support the different vendors; a code generator making use of a modification of the OpenAPI specification; and a workflow to automate the continuous deployment of these services making use of GitHub Actions. This would allow programmers to deploy quantum code without specific knowledge of the major vendors, which would facilitate access and simplify the development of quantum applications.