Seamless Development of Quantum Software with Stakeholder-Specific Views

Different computational models—discrete and continuous in time and space—may offer distinct advantages for various tasks. For instance, quantum chromodynamics (QCD) problems, such as charge dynamics in lattice gauge theories, can be addressed with both digital and analog quantum computers, each providing unique solutions. Recent research has explored both models for applications like simulating string-breaking dynamics in QCD and solving combinatorial optimization problems via Ising models.

Despite significant progress in quantum hardware, quantum software still lags behind, with a lack of high-level abstractions and well-defined transformations. Existing quantum programming tools are often problem-specific, and there is a gap in developing general abstractions, model transformations, and stakeholder-specific views. This proposal aims to bridge that gap by developing a model-based methodology for quantum software that incorporates input from both the quantum computing and software engineering communities.