A Framework for Managing the Models of Engineered Quantum Systems
2026-07-11 • Software Engineering
Software Engineering
AI summaryⓘ
The authors explain that as quantum technologies grow, classical engineering needs new ways to build and manage these systems. They point out that current methods for keeping different models in sync don’t work well for quantum systems because they can miss important quantum details like superposition and entanglement. To fix this, the authors propose a framework called QSysMM that helps create and synchronize quantum system models accurately. They also suggest a new modeling language, QSysML, based on existing SysML technology to support this work.
quantum systemssuperpositionentanglementmodel synchronizationmodel-driven engineeringQSysMMQSysMLSysML v2digital twinmodel transformation
Authors
Siyuan Ji, Hayato Ishida, Amal Elsokary, Stephen Powley, Catherine White, Alexandre Zagoskin, Ran Wei, Maria Aslam, Michael J. de C. Henshaw
Abstract
Quantum technologies are maturing into systems that classical engineering must build, verify and maintain. The model-driven community has begun to respond with quantum-aware pipelines and languages, and the domain models these produce must be synchronised with the heterogeneous models created and owned by other communities. We argue that existing synchronisation approaches are insufficient for engineered quantum systems. A quantum system description captures superposition and entanglement, which a model transformation could remove undetected, while every structural check passes. To address this, we present the Quantum Systems Model Management (QSysMM) Framework, which guides the construction and synchronisation of the models of a quantum system into a digital single source of truth. The framework features four concerns: ontological, abstraction, composition and exposure, each given the treatment that engineered quantum systems require. Within this framework, we propose a Quantum Systems Modelling Language (QSysML) on the SysML v2 technology stack, and we close with a proposal that matures this synchronisation core into full model management for quantum systems.