M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs

2025-10-19

AI Summary

The quantum computing domain lacks systematic application of Model-Driven Development (MDD) in systems engineering, and existing Quantum Programming Languages (QPLs) are mutually incompatible, resulting in low cross-platform development efficiency and poor semantic consistency. This paper proposes the first model-driven, multi-platform quantum program generation framework tailored for quantum systems engineering. It leverages a Domain-Specific Modeling Language (DSML) and bidirectional model transformation techniques to automatically generate executable code in multiple QPLs—including Qiskit, Cirq, and Quil—from a unified high-level system model. To our knowledge, this is the first systematic integration of MDD principles into quantum software engineering. The framework significantly improves development productivity and ensures semantic consistency across target platforms. Empirical validation across multiple real-world case studies confirms that the generated code executes correctly on leading quantum hardware platforms and simulators.

Technology Category

• Machine Learning: Quantum Machine Learning
• Knowledge Representation and Reasoning: Qualitative Reasoning
• Natural Language Processing: Code Generation / Program Synthesis from Natural Language

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Applied ML and AI for Web-based mobile applications
• Search and Retrieval-Augmented AI: Retrieval-Augmented Generation (RAG) and multi-modal RAG
• Graph Algorithms and Modeling for the Web: Foundation models and LLMs for Web-related graphs

Abstract

With the growing interest in quantum computing, the emergence of quantum supremacy has marked a pivotal milestone in the field. As a result, numerous quantum programming languages (QPLs) have been introduced to support the development of quantum algorithms. However, the application of Model-Driven Development (MDD) in quantum system engineering remains largely underexplored. This paper presents an MDD-based approach to support the structured design and implementation of quantum systems. Our framework enables the automatic generation of quantum code for multiple QPLs, thereby enhancing development efficiency and consistency across heterogeneous quantum platforms. The effectiveness and practicality of our approach have been demonstrated through multiple case studies.

Problem

• Automating quantum code generation for multiple programming languages
• Addressing underexplored model-driven development in quantum systems
• Enhancing cross-platform consistency in quantum software development

Innovation

• Model-driven framework for quantum program generation
• Automatic code generation for multiple quantum platforms
• Enhances development efficiency and platform consistency