Problem
Research questions and friction points this paper is trying to address.
Hybrid Quantum-Classical Systems
NISQ Constraints
Service-Oriented Architecture
Design Trade-offs
Quantitative Guarantees
Architecting Hybrid Quantum-Classical Software Systems: Exploration of the Design Trade-off Space with Quantitative Guarantees
🤖 AI Summary
This work addresses the challenge of meeting user quality-of-service (QoS) requirements under the constraints of noisy intermediate-scale quantum (NISQ) devices by proposing a service-oriented architecture for hybrid quantum-classical systems. It pioneers the integration of service-oriented architecture (SOA) with quantum computing, employing formal architectural style modeling and QoS-driven design space exploration to delineate architectural decision boundaries. The approach dynamically selects optimal execution strategies at both structural and behavioral levels in response to varying QoS demands. Experimental results demonstrate that the proposed method can dynamically configure the system under realistic NISQ constraints to deliver quantifiable performance guarantees aligned with user-specified QoS requirements.
📝 Abstract
Addressing problems beyond classical computing limits is sparking an increasing interest in Quantum Computing. However, despite their adequacy to address specific problems, quantum algorithms cover a limited subset of the functionality required in real-world computing systems. Additionally, they require expensive specialized hardware. To overcome this issue, hybrid (quantum-classical) software systems are emerging as a promising way to integrate both computing paradigms by applying the principles of Service-Oriented Architectures (SOA). Still, the design and deployment of hybrid service-based systems faces unique challenges like the idiosyncrasies and constraints of NISQ computers (e.g., algorithms that can only run in specific machines, disparate quality attribute metrics), and the management of structural and behavioural properties of service-based applications. From the SOA perspective, architectural decisions need to be made by performing a trade-off analysis and providing quantitative guarantees of system configurations under prescribed levels of uncertainty. In this paper, a method to explore the design space of quantum-classical applications is provided by a formalization of an architectural style of hybrid applications. The obtained results demonstrate that the proposed method successfully identifies decision boundaries. It enables the dynamic selection of the most suitable hybrid or classical configuration based on the user's QoS criteria.
Innovation
Methods, ideas, or system contributions that make the work stand out.
Hybrid Quantum-Classical Systems
Service-Oriented Architecture
Design Trade-off Analysis
Quantitative Guarantees
NISQ Constraints
🔎 Similar Papers
No similar papers found.
