Latest Research

Home>Latest Research>Towards a Quantum Software Modeling Language

Towards a Quantum Software Modeling Language

Perez-Delgado C., Perez-Gonzalez H. G., 2020, Towards a Quantum Software Modeling Language, ICSEW’20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW’20). Association for Computing Machinery, New York, NY, USA, 442–444. DOI: https://doi.org/10.1145/3387940.3392183

We set down the principles behind a modeling language for quantum software. We present a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows it to effectively model quantum software. These extensions are separate and independent of UML as a whole. As such they can be used to extend any other software modeling language, or as a basis for a completely new language. We argue that these extensions are both necessary and sufficient to model, abstractly, any piece of quantum software. Finally, we provide a small set of examples that showcase the effectiveness of the extension set.

Important information

Thank you for your interest in the work of the Quantum Communications Hub (2014-2024). The project is now complete but you can still explore all our resources on this website. You can also download our legacy report through this link

Information on the Hub’s SPOQC quantum cubesat mission, scheduled to launch in 2025, can be accessed in this section, but please note that this website will no longer be updated with new content. Information around the launch of the mission will be publicised through press releases.