一种管理工程量子系统模型的框架
A Framework for Managing the Models of Engineered Quantum Systems
AI总结：
针对工程量子系统现有同步方法不足的问题，提出QSysMM框架，该框架含四个关注点，基于SysML v2技术栈提出QSysML语言，还提议将同步核心发展为量子系统完整模型管理。
AI中文摘要：
量子技术正发展成为经典工程必须构建、验证和维护的系统。模型驱动社区已开始用支持量子的流程和语言做出回应，且其产生的领域模型必须与其他社区创建和拥有的异构模型同步。我们认为现有同步方法对工程量子系统不足。量子系统描述包含叠加和纠缠，模型转换可能在未被检测到的情况下消除它们，而所有结构检查却通过。为解决此问题，我们提出量子系统模型管理（QSysMM）框架，它指导量子系统模型的构建与同步，形成数字单一事实来源。该框架有本体、抽象、组合和公开四个关注点，都给予了工程量子系统所需的处理。在此框架内，我们在SysML v2技术栈上提出量子系统建模语言（QSysML），并以将此同步核心发展为量子系统完整模型管理的提议收尾。
英文摘要：
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.
