M. Wimmer: First Steps Towards Model-Driven Engineering for Quantum Computing, IEEE International Symposium on Quantum Software and Services (QSAS), September 8, 2021 virtual event. presentation

Quantum computing technologies are emerging. However, as a consequence, there is an increase in the complexity of software and its development, since the applications will be implemented using a mix of quantum and classical resources. Orthogonal to this progress, Model-Driven Engineering (MDE) is applied to reduce complexity and ease the development of software systems. MDE proposes to apply modeling techniques such as General Purpose Modeling Languages as well as Domain-Specific Modeling Languages, and generative techniques such as model transformation and code generation. In this talk, we argue for a dedicated research line which deals with the exploration of how MDE may be applied to quantum computing. For this purpose, we first outline the main principles behind MDE. Thereafter, we describe a particular case study, namely the problem of k-community detection and show how it can be solved with NISQ-devices utilizing hybrid quantum-classical approaches. Subsequently, this problem serves as a demonstration case for applying methods and techniques from MDE to develop quantum software as well as to derive research challenges. Although still in an early stage, we expect the combination of MDE with quantum computing to allow for efficiency increase in the development of quantum software and to open the door for domain experts to utilize this emerging technology.

First Steps Towards Model-Driven Engineering for Quantum Computing