A Cross-Level Traceable Modeling for Hybrid Quantum–Classical Software
Hybrid quantum–classical software requires engineering approaches that connect stakeholder goals, variability decisions, and architecture under NISQ constraints. We present Quantum Variability Management (QVM), a lightweight requirements-driven modeling approach that integrates iStar, UVL, and Quantum-UML, through explicit cross-level traceability. QVM defines five rules that relate goals to features, constraints, component stereotypes, and configuration properties such as the provider and qubits. QVM focuses on the requirement-to-variability-to-architecture chain and on the auditable propagation of design changes. We assess the proposal through a scenario-based walkthrough in a logistics case, showing how changes in strategic intent, backend selection, and hardware quality assumptions can be propagated consistently across the three levels. The proposal provides a foundation for controlled reconfiguration in HQC systems, while broader user studies, multi-domain replications, and full tool integration remain future work.
Wed 13 MayDisplayed time zone: Eastern Time (US & Canada) change
12:30 - 14:00 | 1b Quantum Software & RAGCIbSE 2026 (Main Track) at Edificio 3, Aula 403 Chair(s): Jose Antonio Cruz-Lemus University of Castilla-La Mancha | ||
12:30 30mFull-paper | A Cross-Level Traceable Modeling for Hybrid Quantum–Classical Software CIbSE 2026 (Main Track) Samuel Sepúlveda Universidad de La Frontera - Chile, Claudio Navarro Universidad de La Frontera, Ania Cravero department of computer science and informatics, University of La Frontera, Enrique Moguel University of Extremadura | ||
13:00 15mPaper | Generation of Quantum Software From Truth Tables (JOURNAL FIRST) CIbSE 2026 (Main Track) Macario Polo University of Castilla-La Mancha, Ignacio García University of Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Mario Piattini University of Castilla-La Mancha, Spain | ||
13:15 15mResearch paper | ATHENA – Tecnologías Avanzadas para Entornos y Aplicaciones Híbridas Clásico–Cuánticas (R&D PROJECT) CIbSE 2026 (Main Track) Ignacio García University of Castilla-La Mancha, Moisés Rodrígez Monje UCLM | AQCLab, Ana Díaz Muñoz AQCLab Software Quality, Jose García-Alonso Universidad de Extremadura, Enrique Moguel University of Extremadura, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation, José Antonio Parejo Maestre Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville, Pablo García-Bringas University of DEUSTO, Iker Pastor University of DEUSTO | ||
13:30 30mFull-paper | Engineering Inferential Composition Control for Federated RAG in Data Spaces CIbSE 2026 (Main Track) Carlos Mario Braga Ortuño Universidad de Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Eduardo Fernandez-Medina Universidad de Castilla La Mancha | ||