Towards Model-Driven Quantum Software Engineering

被引:14
|
作者
Gemeinhardt, Felix [1 ]
Garmendia, Antonio [1 ]
Wimmer, Manuel [1 ]
机构
[1] Johannes Kepler Univ Linz, Linz, Austria
基金
奥地利科学基金会;
关键词
D O I
10.1109/Q-SE52541.2021.00010
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Quantum technologies are emerging. Dedicated languages for programming Quantum machines are emerging as well and already used in different settings. Orthogonal to this development, Model-Driven Engineering (MDE) is explored to ease the development of software systems by applying modeling techniques such as Domain-Specific Modeling Languages and generative techniques such as code generation. In this position paper, we argue for a dedicated research line which deals with the exploration of how MDE may be applied for Quantum technologies. This combination would allow to speed-up the development of Quantum software, open the door for domain experts to utilize Quantum technologies, and may provide an additional abstraction layer over existing Quantum hardware architectures and programming languages. We outline several research challenges which we derived from a demonstration case of how to exploit domain-specific modeling for social network analysis on Quantum technologies.
引用
收藏
页码:13 / 15
页数:3
相关论文
共 50 条
  • [41] Opportunities in Robotic Process Automation by and for Model-Driven Software Engineering
    David, Istvan
    Sousa, Vasco
    Syriani, Eugene
    [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2023, EMMSAD 2023, 2023, 479 : 285 - 293
  • [42] Model-Driven Engineering of Self-Adaptive Software with EUREMA
    Vogel, Thomas
    Giese, Holger
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2014, 8 (04)
  • [43] A model-driven approach for engineering trust and reputation into software services
    Moyano, Francisco
    Fernandez-Gago, Carmen
    Lopez, Javier
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 69 : 134 - 151
  • [44] MEDAL: A CASE tool extension for model-driven software engineering
    Guelfi, N
    Ries, B
    Sterges, P
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE - SCIENCE, TECHNOLOGY & ENGINEERING, PROCEEDINGS, 2003, : 33 - 42
  • [45] Towards an interoperability framework for model-driven development of software systems
    Elvesæter, B
    Hahn, A
    Berre, AJ
    Neple, T
    [J]. INTEROPERABILITY OF ENTERPRISE SOFTWARE AND APPLICATIONS, 2006, : 409 - +
  • [46] Towards Integrated Model-Driven Engineering Approach to Business Intelligence
    Burnay, Corentin
    Giunta, Benito
    [J]. RESEARCH CHALLENGES IN INFORMATION SCIENCE, 2022, 446 : 635 - 643
  • [47] Towards method engineering of model-driven user interface development
    Sousa, Kenia
    Mendonca, Hildeberto
    Vanderdonckt, Jean
    [J]. TASK MODELS AND DIAGRAMS FOR USER INTERFACE DESIGN, PROCEEDINGS, 2007, 4849 : 112 - 125
  • [48] Towards the Effective Use of Traceability in Model-Driven Engineering Projects
    Santiago, Ivan
    Manuel Vara, Juan
    Valeria de Castro, Maria
    Marcos, Esperanza
    [J]. CONCEPTUAL MODELING, ER 2013, 2013, 8217 : 429 - 437
  • [49] Towards the Model-Driven Engineering of Security Requirements for Embedded Systems
    Roudier, Yves
    Idrees, Muhammad Sabir
    Apvrille, Ludovic
    [J]. 2013 3RD INTERNATIONAL WORKSHOP ON MODEL-DRIVEN REQUIREMENTS ENGINEERING (MODRE), 2013, : 55 - 64
  • [50] Model-driven software verification
    Holzmann, GJ
    Joshi, R
    [J]. MODEL CHECKING SOFTWARE, 2004, 2989 : 76 - 91