Towards a Quantum Software Modeling Language Conference Paper

•  
• Overview
•  
• Research
•  
• Identity
•  
• Additional Document Info
•  
• View All
•  

Overview

abstract

• 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. © 2020 ACM.

authors

• Pérez González Héctor Gerardo
• Pérez-Delgado C.A.

publication date

• 2020-01-01

funding provided via

• Engineering and Physical Sciences Research Council, EPSRC: EP/T001011/1  Grant

published in

• Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020  Proceedings

Research

keywords

• quantum computing; software engineering; UML Software engineering; Technical presentations; Extension sets; Set-down; Software modeling languages; Unified Modeling Language

Identity

Digital Object Identifier (DOI)

• 10.1145/3387940.3392183

Additional Document Info

start page

• 442

end page

• 444