PUMA publications for /group/simtech/postPrint%20simtech%20SimTechThu Apr 20 13:53:02 CEST 2023Proceedings of The 26th International Conference on Artificial Intelligence and Statistics11--29Proceedings of Machine Learning ResearchMeta-Uncertainty in Bayesian Model Comparison2062023postPrint graduateSchool SimTech graduateschool peerReviewed pn6 prePrint EXC2075 exc2075 Bayesian model comparison (BMC) offers a principled probabilistic approach to study and rank competing models. In standard BMC, we construct a discrete probability distribution over the set of possible models, conditional on the observed data of interest. These posterior model probabilities (PMPs) are measures of uncertainty, but—when derived from a finite number of observations—are also uncertain themselves. In this paper, we conceptualize distinct levels of uncertainty which arise in BMC. We explore a fully probabilistic framework for quantifying meta-uncertainty, resulting in an applied method to enhance any BMC workflow. Drawing on both Bayesian and frequentist techniques, we represent the uncertainty over the uncertain PMPs via meta-models which combine simulated and observed data into a predictive distribution for PMPs on new data. We demonstrate the utility of the proposed method in the context of conjugate Bayesian regression, likelihood-based inference with Markov chain Monte Carlo, and simulation-based inference with neural networks.Thu Feb 09 16:12:30 CET 2023Proceedings of the 12\textsuperscript{th} International Conference on Cloud Computing and Services Science (CLOSER 2022)0438--50{Analysis and Rewrite of Quantum Workflows: Improving the Execution of Hybrid Quantum Algorithms}2022myown simtech pn7 peerreviewed postprint exc2075 Thu Feb 09 16:10:22 CET 2023Quantum Software Engineering1061--83Quantum Software Development Lifecycle2022myown simtech pn7 peerreviewed postprint exc2075 Thu Feb 09 16:04:07 CET 2023{IET} Quantum Communication064171--181{QProv}: A provenance system for quantum computing22021myown simtech pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 2021Proceedings of the 14th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2020)1266--85The NISQ Analyzer: Automating the Selection of Quantum Computers for Quantum Algorithms2020myown simtech from:benjamin.weder pn7 postprint exc2075 Wed Dec 08 17:10:08 CET 2021Service-Oriented Computing -- ICSOC 2020 Workshops72--76SiDD: The Situation-Aware Distributed Deployment System2021simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 2021Electronics048Automated Quantum Hardware Selection for Quantum Workflows102021myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 20212020 IEEE International Conference on Cloud Engineering (IC2E)0483-94Data Flow Dependent Component Placement of Data Processing Cloud Applications2020myown postPrint simtech from:benjamin.weder pn7 peerreviewed exc2075 With the ongoing advances in the area of cloud computing, Internet of Things, Industry 4.0, and the increasing prevalence of cyber-physical systems and devices equipped with sensors, the amount of data generated every second is rising steadily. Thereby, the gathering of data and the creation of added value from this data is getting easier and easier. However, the increasing volume of data stored in the cloud leads to new challenges. Analytics software and scalable platforms are required to evaluate the data distributed all over the internet. But with distributed applications and large data sets to be handled, the network becomes a bottleneck. Therefore, in this work, we present an approach to automatically improve the deployment of such applications regarding the placement of data processing components dependent on the data flow of the application. To show the practical feasibility of our approach, we implemented a prototype based on the open-source ecosystem OpenTOSCA. Moreover, we evaluated our prototype using various scenarios.Wed Dec 08 17:10:08 CET 2021Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020)112--9The Quantum Software Lifecycle2020myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 2021Proceedings of the 15th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021)64-80Automating the Comparison of Quantum Compilers for Quantum Circuits2021myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 2021Proceedings of the 1st {ACM} {SIGSOFT} International Workshop on Architectures and Paradigms for Engineering Quantum Software11About a Criterion of Successfully Executing a Circuit in the NISQ Era: What $wd \ll 1/\epsilon_\text{eff}$ Really Means2020myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Wed Dec 08 17:10:08 CET 20212020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC)12279-291Integrating Quantum Computing into Workflow Modeling and Execution2020simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Quantum computing has the potential to significantly impact many application domains, as several quantum algorithms are promising to solve problems more efficiently than possible on classical computers. However, various complex pre- and post-processing tasks have to be performed when executing a quantum circuit, which require immense mathematical and technical knowledge. For example, calculations on today’s quantum computers are noisy and require an error mitigation task after the execution. Hence, integrating classical applications with quantum circuits is a difficult challenge. In this paper, we introduce a modeling extension for imperative workflow languages to enable the integration of quantum computations and ease the orchestration of classical applications and quantum circuits. Further, we show how the extension can be mapped to native modeling constructs of extended workflow languages to retain the portability of the workflows. We validate the practical feasibility of our approach by applying our proposed extension to BPMN and introduce Quantum4BPMN.Wed Dec 08 17:10:08 CET 20212019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC)10216-225Automated Generation of Management Workflows for Applications Based on Deployment Models2019myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 To automate the deployment of applications several deployment technologies have been developed. However, the management of deployed applications is only partially covered by existing approaches: While management functionalities such as scaling components or changing their configurations are covered directly by cloud providers or configuration management technologies such as Chef, holistic management processes that affect multiple components probably deployed in different environments cannot be automated using these approaches. For example, testing all deployed components and their communication or backing up the entire application state that is scattered across different components requires custom management logic that needs to be implemented manually, e. g., using scripts. However, a manual implementation of such management processes is errorprone, time-consuming, and requires immense technical expertise. Therefore, we propose an approach that enables automatically generating executable management workflows based on the declarative deployment model of an application. This significantly reduces the effort for automating holistic management processes as no manual implementation is required. We validate the practical feasibility of the approach by a prototypical implementation based on the TOSCA standard and the OpenTOSCA ecosystem.Wed Dec 08 17:10:08 CET 2021Proceedings of the 8\textsuperscript{th} European Conference on Service-Oriented and Cloud Computing (ESOCC 2020)0385--96Deployable Self-Contained Workflow Models2020myown simtech from:benjamin.weder pn7 peerreviewed postprint exc2075 Fri Nov 12 16:45:09 CET 20212021 IEEE International Conference on Web Services (ICWS)091-13Hybrid Quantum Applications Need Two Orchestrations in Superposition: A Software Architecture Perspective2021myown simtech pn7 peerreviewed postprint exc2075 Quantum applications are most often hybrid, i.e., they are not only made of implementations of pure quantum algorithms but also of classical programs as well as workflows and topologies as key artifacts, and data they process. Since workflows and topologies are referred to as “orchestrations” in modern terminology (but with very different meanings), two orchestrations that go hand-in-hand are required to realize quantum applications. We motivate this by means of a nontrivial example, sketch these orchestration technologies, and reveal the overall structure of non-trivial quantum applications. Furthermore, we discuss the implied architecture of a runtime environment for such quantum applications. To validate the introduced architecture, we present a prototypical implementation based on the Camunda workflow engine, its associated modeling tool, as well as the OpenTOSCA ecosystem.Mon Oct 18 11:02:00 CEST 2021Proceedings of the 15th Symposium and Summer School on Service-Oriented Computing (SummerSOC 2021)64-80Automating the Comparison of Quantum Compilers for Quantum Circuits2021myown simtech pn7 peerreviewed postprint exc2075 Mon Jun 07 11:57:13 CEST 2021Service-Oriented Computing -- ICSOC 2020 Workshops72--76SiDD: The Situation-Aware Distributed Deployment System2021myown simtech pn7 peerreviewed postprint exc2075 Wed Apr 21 10:26:25 CEST 2021Electronics048Automated Quantum Hardware Selection for Quantum Workflows102021myown simtech pn7 peerreviewed postprint exc2075 The execution of a quantum algorithm typically requires various classical pre- and post-processing tasks. Hence, workflows are a promising means to orchestrate these tasks, benefiting from their reliability, robustness, and features, such as transactional processing. However, the implementations of the tasks may be very heterogeneous and they depend on the quantum hardware used to execute the quantum circuits of the algorithm. Additionally, today’s quantum computers are still restricted, which limits the size of the quantum circuits that can be executed. As the circuit size often depends on the input data of the algorithm, the selection of quantum hardware to execute a quantum circuit must be done at workflow runtime. However, modeling all possible alternative tasks would clutter the workflow model and require its adaptation whenever a new quantum computer or software tool is released. To overcome this problem, we introduce an approach to automatically select suitable quantum hardware for the execution of quantum circuits in workflows. Furthermore, it enables the dynamic adaptation of the workflows, depending on the selection at runtime based on reusable workflow fragments. We validate our approach with a prototypical implementation and a case study demonstrating the hardware selection for Simon’s algorithm.Mon Jan 11 09:49:10 CET 20212020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC)12279-291Integrating Quantum Computing into Workflow Modeling and Execution2020simtech pn7 peerreviewed postprint exc2075 Quantum computing has the potential to significantly impact many application domains, as several quantum algorithms are promising to solve problems more efficiently than possible on classical computers. However, various complex pre- and post-processing tasks have to be performed when executing a quantum circuit, which require immense mathematical and technical knowledge. For example, calculations on today’s quantum computers are noisy and require an error mitigation task after the execution. Hence, integrating classical applications with quantum circuits is a difficult challenge. In this paper, we introduce a modeling extension for imperative workflow languages to enable the integration of quantum computations and ease the orchestration of classical applications and quantum circuits. Further, we show how the extension can be mapped to native modeling constructs of extended workflow languages to retain the portability of the workflows. We validate the practical feasibility of our approach by applying our proposed extension to BPMN and introduce Quantum4BPMN.Mon Dec 14 09:23:21 CET 2020Proceedings of the 1st {ACM} {SIGSOFT} International Workshop on Architectures and Paradigms for Engineering Quantum Software11About a Criterion of Successfully Executing a Circuit in the NISQ Era: What $wd \ll 1/\epsilon_\text{eff}$ Really Means2020myown simtech pn7 peerreviewed postprint exc2075